fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r011-tall-162038005900072
Last Updated
Jun 28, 2021

About the Execution of 2020-gold for ASLink-PT-09a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16248.960 3600000.00 5903462.00 56725.60 TTFTT?F?TFTFFFTF normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r011-tall-162038005900072.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is ASLink-PT-09a, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-tall-162038005900072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.8K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 81K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 22 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 839K May 5 16:51 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 ASLink-PT-09a-ReachabilityFireability-00
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-01
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-02
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-03
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-04
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-05
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-06
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-07
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-08
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-09
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-10
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-11
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-12
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-13
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-14
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1620413750946

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-07 18:55:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-07 18:55:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-07 18:55:52] [INFO ] Load time of PNML (sax parser for PT used): 158 ms
[2021-05-07 18:55:52] [INFO ] Transformed 1991 places.
[2021-05-07 18:55:52] [INFO ] Transformed 2919 transitions.
[2021-05-07 18:55:52] [INFO ] Found NUPN structural information;
[2021-05-07 18:55:52] [INFO ] Parsed PT model containing 1991 places and 2919 transitions in 218 ms.
Ensure Unique test removed 31 transitions
Reduce redundant transitions removed 31 transitions.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 65 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 46 resets, run finished after 126 ms. (steps per millisecond=79 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]
FORMULA ASLink-PT-09a-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 46 ms. (steps per millisecond=217 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=344 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=344 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 30 ms. (steps per millisecond=333 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=250 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=303 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=357 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=400 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=158 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=256 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 47 ms. (steps per millisecond=212 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=322 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 46 ms. (steps per millisecond=217 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=357 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=322 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2888 rows 1991 cols
[2021-05-07 18:55:53] [INFO ] Computed 384 place invariants in 172 ms
[2021-05-07 18:55:54] [INFO ] [Real]Absence check using 93 positive place invariants in 142 ms returned sat
[2021-05-07 18:55:54] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 406 ms returned sat
[2021-05-07 18:55:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:55:58] [INFO ] [Real]Absence check using state equation in 4075 ms returned (error "Solver has unexpectedly terminated")
[2021-05-07 18:55:59] [INFO ] [Real]Absence check using 93 positive place invariants in 121 ms returned sat
[2021-05-07 18:55:59] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 344 ms returned sat
[2021-05-07 18:55:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:03] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:03] [INFO ] [Real]Absence check using state equation in 4292 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:04] [INFO ] [Real]Absence check using 93 positive place invariants in 122 ms returned sat
[2021-05-07 18:56:04] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 334 ms returned sat
[2021-05-07 18:56:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:08] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:08] [INFO ] [Real]Absence check using state equation in 4259 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:09] [INFO ] [Real]Absence check using 93 positive place invariants in 120 ms returned sat
[2021-05-07 18:56:09] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 352 ms returned sat
[2021-05-07 18:56:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:13] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:13] [INFO ] [Real]Absence check using state equation in 4292 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:14] [INFO ] [Real]Absence check using 93 positive place invariants in 121 ms returned sat
[2021-05-07 18:56:14] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 363 ms returned sat
[2021-05-07 18:56:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:18] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:18] [INFO ] [Real]Absence check using state equation in 4267 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:19] [INFO ] [Real]Absence check using 93 positive place invariants in 122 ms returned sat
[2021-05-07 18:56:19] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 396 ms returned sat
[2021-05-07 18:56:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:23] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:23] [INFO ] [Real]Absence check using state equation in 4252 ms returned unknown
[2021-05-07 18:56:24] [INFO ] [Real]Absence check using 93 positive place invariants in 123 ms returned sat
[2021-05-07 18:56:24] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 352 ms returned sat
[2021-05-07 18:56:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:28] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:28] [INFO ] [Real]Absence check using state equation in 4245 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:29] [INFO ] [Real]Absence check using 93 positive place invariants in 125 ms returned sat
[2021-05-07 18:56:29] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 340 ms returned sat
[2021-05-07 18:56:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:33] [INFO ] [Real]Absence check using state equation in 4308 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:34] [INFO ] [Real]Absence check using 93 positive place invariants in 122 ms returned sat
[2021-05-07 18:56:34] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 216 ms returned unsat
[2021-05-07 18:56:34] [INFO ] [Real]Absence check using 93 positive place invariants in 122 ms returned sat
[2021-05-07 18:56:35] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 249 ms returned unsat
[2021-05-07 18:56:35] [INFO ] [Real]Absence check using 93 positive place invariants in 120 ms returned sat
[2021-05-07 18:56:35] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 337 ms returned sat
[2021-05-07 18:56:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:40] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:40] [INFO ] [Real]Absence check using state equation in 4263 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:40] [INFO ] [Real]Absence check using 93 positive place invariants in 121 ms returned sat
[2021-05-07 18:56:40] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 377 ms returned sat
[2021-05-07 18:56:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:45] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:45] [INFO ] [Real]Absence check using state equation in 4226 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:45] [INFO ] [Real]Absence check using 93 positive place invariants in 118 ms returned sat
[2021-05-07 18:56:45] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 389 ms returned sat
[2021-05-07 18:56:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:56:50] [INFO ] [Real]Absence check using state equation in 4271 ms returned (error "Failed to check-sat")
[2021-05-07 18:56:50] [INFO ] [Real]Absence check using 93 positive place invariants in 121 ms returned sat
[2021-05-07 18:56:50] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 297 ms returned unsat
[2021-05-07 18:56:51] [INFO ] [Real]Absence check using 93 positive place invariants in 119 ms returned sat
[2021-05-07 18:56:51] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 334 ms returned sat
[2021-05-07 18:56:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:56:55] [INFO ] [Real]Absence check using state equation in 4311 ms returned (error "Solver has unexpectedly terminated")
FORMULA ASLink-PT-09a-ReachabilityFireability-14 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-09 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Support contains 71 out of 1991 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1991/1991 places, 2888/2888 transitions.
Ensure Unique test removed 36 places
Discarding 18 places :
Implicit places reduction removed 18 places
Performed 177 Post agglomeration using F-continuation condition.Transition count delta: 177
Iterating post reduction 0 with 231 rules applied. Total rules applied 231 place count 1937 transition count 2711
Reduce places removed 177 places and 0 transitions.
Iterating post reduction 1 with 177 rules applied. Total rules applied 408 place count 1760 transition count 2711
Performed 186 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 186 Pre rules applied. Total rules applied 408 place count 1760 transition count 2525
Deduced a syphon composed of 186 places in 9 ms
Ensure Unique test removed 73 places
Reduce places removed 259 places and 0 transitions.
Iterating global reduction 2 with 445 rules applied. Total rules applied 853 place count 1501 transition count 2525
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 854 place count 1501 transition count 2524
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 855 place count 1500 transition count 2524
Symmetric choice reduction at 4 with 9 rule applications. Total rules 864 place count 1500 transition count 2524
Deduced a syphon composed of 9 places in 11 ms
Reduce places removed 9 places and 47 transitions.
Iterating global reduction 4 with 18 rules applied. Total rules applied 882 place count 1491 transition count 2477
Ensure Unique test removed 1 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 4 with 7 rules applied. Total rules applied 889 place count 1489 transition count 2472
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 892 place count 1486 transition count 2472
Symmetric choice reduction at 6 with 1 rule applications. Total rules 893 place count 1486 transition count 2472
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 895 place count 1485 transition count 2464
Symmetric choice reduction at 6 with 1 rule applications. Total rules 896 place count 1485 transition count 2464
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 898 place count 1484 transition count 2456
Symmetric choice reduction at 6 with 1 rule applications. Total rules 899 place count 1484 transition count 2456
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 901 place count 1483 transition count 2448
Symmetric choice reduction at 6 with 1 rule applications. Total rules 902 place count 1483 transition count 2448
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 904 place count 1482 transition count 2440
Symmetric choice reduction at 6 with 1 rule applications. Total rules 905 place count 1482 transition count 2440
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 907 place count 1481 transition count 2432
Performed 57 Post agglomeration using F-continuation condition.Transition count delta: 57
Deduced a syphon composed of 57 places in 6 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 6 with 114 rules applied. Total rules applied 1021 place count 1424 transition count 2375
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 6 with 9 rules applied. Total rules applied 1030 place count 1424 transition count 2366
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 6 with 9 rules applied. Total rules applied 1039 place count 1415 transition count 2366
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 7 with 8 rules applied. Total rules applied 1047 place count 1415 transition count 2366
Partial Post-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 7 with 7 rules applied. Total rules applied 1054 place count 1415 transition count 2366
Applied a total of 1054 rules in 1188 ms. Remains 1415 /1991 variables (removed 576) and now considering 2366/2888 (removed 522) transitions.
Finished structural reductions, in 1 iterations. Remains : 1415/1991 places, 2366/2888 transitions.
Incomplete random walk after 1000000 steps, including 7681 resets, run finished after 6077 ms. (steps per millisecond=164 ) properties seen :[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
FORMULA ASLink-PT-09a-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 901 resets, run finished after 2639 ms. (steps per millisecond=378 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 901 resets, run finished after 2294 ms. (steps per millisecond=435 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 914 resets, run finished after 2284 ms. (steps per millisecond=437 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 888 resets, run finished after 2524 ms. (steps per millisecond=396 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 919 resets, run finished after 2448 ms. (steps per millisecond=408 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 906 resets, run finished after 2257 ms. (steps per millisecond=443 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 918 resets, run finished after 2256 ms. (steps per millisecond=443 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 907 resets, run finished after 2252 ms. (steps per millisecond=444 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 924 resets, run finished after 2478 ms. (steps per millisecond=403 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 913 resets, run finished after 2636 ms. (steps per millisecond=379 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 929 resets, run finished after 2245 ms. (steps per millisecond=445 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2366 rows 1415 cols
[2021-05-07 18:57:29] [INFO ] Computed 255 place invariants in 118 ms
[2021-05-07 18:57:29] [INFO ] [Real]Absence check using 72 positive place invariants in 76 ms returned sat
[2021-05-07 18:57:29] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 165 ms returned sat
[2021-05-07 18:57:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:57:36] [INFO ] [Real]Absence check using state equation in 6174 ms returned sat
[2021-05-07 18:57:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 18:57:36] [INFO ] [Nat]Absence check using 72 positive place invariants in 81 ms returned sat
[2021-05-07 18:57:36] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 173 ms returned sat
[2021-05-07 18:57:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 18:57:43] [INFO ] [Nat]Absence check using state equation in 6361 ms returned sat
[2021-05-07 18:57:43] [INFO ] State equation strengthened by 62 read => feed constraints.
[2021-05-07 18:57:43] [INFO ] [Nat]Added 62 Read/Feed constraints in 406 ms returned sat
[2021-05-07 18:57:43] [INFO ] Deduced a trap composed of 88 places in 251 ms
[2021-05-07 18:57:44] [INFO ] Deduced a trap composed of 84 places in 254 ms
[2021-05-07 18:57:44] [INFO ] Deduced a trap composed of 75 places in 248 ms
[2021-05-07 18:57:44] [INFO ] Deduced a trap composed of 69 places in 266 ms
[2021-05-07 18:57:44] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1453 ms
[2021-05-07 18:57:45] [INFO ] Computed and/alt/rep : 2365/29910/2365 causal constraints in 161 ms.
[2021-05-07 18:58:06] [INFO ] Added : 345 causal constraints over 69 iterations in 21164 ms.(timeout) Result :sat
[2021-05-07 18:58:06] [INFO ] Deduced a trap composed of 25 places in 103 ms
[2021-05-07 18:58:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 351 ms
Attempting to minimize the solution found.
Minimization took 91 ms.
[2021-05-07 18:58:06] [INFO ] [Real]Absence check using 72 positive place invariants in 77 ms returned sat
[2021-05-07 18:58:07] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 156 ms returned sat
[2021-05-07 18:58:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:58:13] [INFO ] [Real]Absence check using state equation in 6205 ms returned sat
[2021-05-07 18:58:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 18:58:13] [INFO ] [Nat]Absence check using 72 positive place invariants in 72 ms returned sat
[2021-05-07 18:58:13] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 150 ms returned sat
[2021-05-07 18:58:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 18:58:20] [INFO ] [Nat]Absence check using state equation in 6407 ms returned sat
[2021-05-07 18:58:20] [INFO ] [Nat]Added 62 Read/Feed constraints in 586 ms returned sat
[2021-05-07 18:58:20] [INFO ] Deduced a trap composed of 30 places in 68 ms
[2021-05-07 18:58:20] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 119 ms
[2021-05-07 18:58:21] [INFO ] [Real]Absence check using 72 positive place invariants in 74 ms returned sat
[2021-05-07 18:58:21] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 151 ms returned sat
[2021-05-07 18:58:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:58:27] [INFO ] [Real]Absence check using state equation in 5907 ms returned sat
[2021-05-07 18:58:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 18:58:27] [INFO ] [Nat]Absence check using 72 positive place invariants in 73 ms returned sat
[2021-05-07 18:58:27] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 152 ms returned sat
[2021-05-07 18:58:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 18:58:33] [INFO ] [Nat]Absence check using state equation in 6170 ms returned sat
[2021-05-07 18:58:34] [INFO ] [Nat]Added 62 Read/Feed constraints in 603 ms returned sat
[2021-05-07 18:58:34] [INFO ] Deduced a trap composed of 64 places in 244 ms
[2021-05-07 18:58:34] [INFO ] Deduced a trap composed of 62 places in 226 ms
[2021-05-07 18:58:35] [INFO ] Deduced a trap composed of 65 places in 221 ms
[2021-05-07 18:58:35] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 989 ms
[2021-05-07 18:58:35] [INFO ] Computed and/alt/rep : 2365/29910/2365 causal constraints in 138 ms.
[2021-05-07 18:58:59] [INFO ] Added : 350 causal constraints over 70 iterations in 24522 ms.(timeout) Result :unknown
[2021-05-07 18:59:00] [INFO ] [Real]Absence check using 72 positive place invariants in 77 ms returned sat
[2021-05-07 18:59:00] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 167 ms returned sat
[2021-05-07 18:59:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:59:06] [INFO ] [Real]Absence check using state equation in 6374 ms returned sat
[2021-05-07 18:59:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 18:59:06] [INFO ] [Nat]Absence check using 72 positive place invariants in 75 ms returned sat
[2021-05-07 18:59:07] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 171 ms returned sat
[2021-05-07 18:59:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 18:59:07] [INFO ] [Nat]Absence check using state equation in 792 ms returned unsat
[2021-05-07 18:59:08] [INFO ] [Real]Absence check using 72 positive place invariants in 76 ms returned sat
[2021-05-07 18:59:08] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 172 ms returned sat
[2021-05-07 18:59:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:59:14] [INFO ] [Real]Absence check using state equation in 6269 ms returned sat
[2021-05-07 18:59:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 18:59:14] [INFO ] [Nat]Absence check using 72 positive place invariants in 73 ms returned sat
[2021-05-07 18:59:15] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 173 ms returned sat
[2021-05-07 18:59:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 18:59:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 18:59:30] [INFO ] [Nat]Absence check using state equation in 15173 ms returned unknown
[2021-05-07 18:59:30] [INFO ] [Real]Absence check using 72 positive place invariants in 74 ms returned sat
[2021-05-07 18:59:30] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 152 ms returned sat
[2021-05-07 18:59:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:59:36] [INFO ] [Real]Absence check using state equation in 6235 ms returned sat
[2021-05-07 18:59:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 18:59:37] [INFO ] [Nat]Absence check using 72 positive place invariants in 71 ms returned sat
[2021-05-07 18:59:37] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 152 ms returned sat
[2021-05-07 18:59:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 18:59:39] [INFO ] [Nat]Absence check using state equation in 2355 ms returned unsat
[2021-05-07 18:59:39] [INFO ] [Real]Absence check using 72 positive place invariants in 74 ms returned sat
[2021-05-07 18:59:40] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 152 ms returned sat
[2021-05-07 18:59:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 18:59:46] [INFO ] [Real]Absence check using state equation in 6272 ms returned sat
[2021-05-07 18:59:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 18:59:46] [INFO ] [Nat]Absence check using 72 positive place invariants in 71 ms returned sat
[2021-05-07 18:59:46] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 151 ms returned sat
[2021-05-07 18:59:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 18:59:53] [INFO ] [Nat]Absence check using state equation in 6703 ms returned sat
[2021-05-07 18:59:53] [INFO ] [Nat]Added 62 Read/Feed constraints in 261 ms returned sat
[2021-05-07 18:59:53] [INFO ] Deduced a trap composed of 28 places in 72 ms
[2021-05-07 18:59:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 188 ms
[2021-05-07 18:59:54] [INFO ] Computed and/alt/rep : 2365/29910/2365 causal constraints in 156 ms.
[2021-05-07 19:00:05] [INFO ] Added : 215 causal constraints over 43 iterations in 11832 ms. Result :sat
[2021-05-07 19:00:06] [INFO ] Deduced a trap composed of 72 places in 282 ms
[2021-05-07 19:00:06] [INFO ] Deduced a trap composed of 25 places in 271 ms
[2021-05-07 19:00:06] [INFO ] Deduced a trap composed of 86 places in 203 ms
[2021-05-07 19:00:09] [INFO ] Deduced a trap composed of 68 places in 215 ms
[2021-05-07 19:00:09] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 3615 ms
Attempting to minimize the solution found.
Minimization took 61 ms.
[2021-05-07 19:00:09] [INFO ] [Real]Absence check using 72 positive place invariants in 74 ms returned sat
[2021-05-07 19:00:09] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 154 ms returned sat
[2021-05-07 19:00:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:00:16] [INFO ] [Real]Absence check using state equation in 6222 ms returned sat
[2021-05-07 19:00:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:00:16] [INFO ] [Nat]Absence check using 72 positive place invariants in 71 ms returned sat
[2021-05-07 19:00:16] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 152 ms returned sat
[2021-05-07 19:00:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:00:18] [INFO ] [Nat]Absence check using state equation in 1672 ms returned unsat
[2021-05-07 19:00:18] [INFO ] [Real]Absence check using 72 positive place invariants in 76 ms returned sat
[2021-05-07 19:00:18] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 161 ms returned sat
[2021-05-07 19:00:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:00:24] [INFO ] [Real]Absence check using state equation in 6304 ms returned sat
[2021-05-07 19:00:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:00:25] [INFO ] [Nat]Absence check using 72 positive place invariants in 73 ms returned sat
[2021-05-07 19:00:25] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 163 ms returned sat
[2021-05-07 19:00:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:00:27] [INFO ] [Nat]Absence check using state equation in 2190 ms returned unsat
[2021-05-07 19:00:27] [INFO ] [Real]Absence check using 72 positive place invariants in 75 ms returned sat
[2021-05-07 19:00:28] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 178 ms returned sat
[2021-05-07 19:00:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:00:34] [INFO ] [Real]Absence check using state equation in 6497 ms returned sat
[2021-05-07 19:00:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:00:34] [INFO ] [Nat]Absence check using 72 positive place invariants in 71 ms returned sat
[2021-05-07 19:00:34] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 186 ms returned sat
[2021-05-07 19:00:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:00:43] [INFO ] [Nat]Absence check using state equation in 8467 ms returned unsat
[2021-05-07 19:00:43] [INFO ] [Real]Absence check using 72 positive place invariants in 75 ms returned sat
[2021-05-07 19:00:43] [INFO ] [Real]Absence check using 72 positive and 183 generalized place invariants in 155 ms returned sat
[2021-05-07 19:00:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:00:50] [INFO ] [Real]Absence check using state equation in 6266 ms returned sat
[2021-05-07 19:00:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:00:50] [INFO ] [Nat]Absence check using 72 positive place invariants in 72 ms returned sat
[2021-05-07 19:00:50] [INFO ] [Nat]Absence check using 72 positive and 183 generalized place invariants in 152 ms returned sat
[2021-05-07 19:00:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:00:54] [INFO ] [Nat]Absence check using state equation in 4091 ms returned unsat
FORMULA ASLink-PT-09a-ReachabilityFireability-15 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-13 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-04 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-02 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Incomplete Parikh walk after 950400 steps, including 6738 resets, run finished after 5767 ms. (steps per millisecond=164 ) properties seen :[1, 0, 0, 0] could not realise parikh vector
FORMULA ASLink-PT-09a-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Incomplete Parikh walk after 1729100 steps, including 11769 resets, run finished after 10242 ms. (steps per millisecond=168 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 847200 steps, including 6115 resets, run finished after 5095 ms. (steps per millisecond=166 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 13 out of 1415 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1415/1415 places, 2366/2366 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 1415 transition count 2363
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 1412 transition count 2363
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 6 place count 1412 transition count 2361
Deduced a syphon composed of 2 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 5 rules applied. Total rules applied 11 place count 1409 transition count 2361
Symmetric choice reduction at 2 with 3 rule applications. Total rules 14 place count 1409 transition count 2361
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 20 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 20 place count 1406 transition count 2341
Symmetric choice reduction at 2 with 1 rule applications. Total rules 21 place count 1406 transition count 2341
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 23 place count 1405 transition count 2333
Symmetric choice reduction at 2 with 1 rule applications. Total rules 24 place count 1405 transition count 2333
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 26 place count 1404 transition count 2325
Symmetric choice reduction at 2 with 1 rule applications. Total rules 27 place count 1404 transition count 2325
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 29 place count 1403 transition count 2317
Symmetric choice reduction at 2 with 1 rule applications. Total rules 30 place count 1403 transition count 2317
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 32 place count 1402 transition count 2309
Symmetric choice reduction at 2 with 1 rule applications. Total rules 33 place count 1402 transition count 2309
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 35 place count 1401 transition count 2301
Symmetric choice reduction at 2 with 1 rule applications. Total rules 36 place count 1401 transition count 2301
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 38 place count 1400 transition count 2293
Symmetric choice reduction at 2 with 1 rule applications. Total rules 39 place count 1400 transition count 2293
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 41 place count 1399 transition count 2285
Symmetric choice reduction at 2 with 1 rule applications. Total rules 42 place count 1399 transition count 2285
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 44 place count 1398 transition count 2277
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 52 place count 1394 transition count 2273
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 53 place count 1394 transition count 2272
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 54 place count 1393 transition count 2272
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 55 place count 1393 transition count 2271
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 56 place count 1392 transition count 2271
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 4 with 2 rules applied. Total rules applied 58 place count 1392 transition count 2271
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 4 with 2 rules applied. Total rules applied 60 place count 1392 transition count 2271
Applied a total of 60 rules in 750 ms. Remains 1392 /1415 variables (removed 23) and now considering 2271/2366 (removed 95) transitions.
Finished structural reductions, in 1 iterations. Remains : 1392/1415 places, 2271/2366 transitions.
Incomplete random walk after 1000000 steps, including 8028 resets, run finished after 5084 ms. (steps per millisecond=196 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 927 resets, run finished after 2095 ms. (steps per millisecond=477 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 926 resets, run finished after 2284 ms. (steps per millisecond=437 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 923 resets, run finished after 2057 ms. (steps per millisecond=486 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 2239824 steps, run timeout after 30001 ms. (steps per millisecond=74 ) properties seen :[1, 0, 0]
Probabilistic random walk after 2239824 steps, saw 379044 distinct states, run finished after 30001 ms. (steps per millisecond=74 ) properties seen :[1, 0, 0]
FORMULA ASLink-PT-09a-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
// Phase 1: matrix 2271 rows 1392 cols
[2021-05-07 19:01:58] [INFO ] Computed 254 place invariants in 43 ms
[2021-05-07 19:01:58] [INFO ] [Real]Absence check using 69 positive place invariants in 75 ms returned sat
[2021-05-07 19:01:58] [INFO ] [Real]Absence check using 69 positive and 185 generalized place invariants in 163 ms returned sat
[2021-05-07 19:01:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:02:04] [INFO ] [Real]Absence check using state equation in 6190 ms returned sat
[2021-05-07 19:02:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:02:04] [INFO ] [Nat]Absence check using 69 positive place invariants in 74 ms returned sat
[2021-05-07 19:02:05] [INFO ] [Nat]Absence check using 69 positive and 185 generalized place invariants in 167 ms returned sat
[2021-05-07 19:02:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:02:16] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 19:02:19] [INFO ] [Nat]Absence check using state equation in 14553 ms returned unknown
[2021-05-07 19:02:19] [INFO ] [Real]Absence check using 69 positive place invariants in 72 ms returned sat
[2021-05-07 19:02:20] [INFO ] [Real]Absence check using 69 positive and 185 generalized place invariants in 153 ms returned sat
[2021-05-07 19:02:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:02:26] [INFO ] [Real]Absence check using state equation in 5961 ms returned sat
[2021-05-07 19:02:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:02:26] [INFO ] [Nat]Absence check using 69 positive place invariants in 71 ms returned sat
[2021-05-07 19:02:26] [INFO ] [Nat]Absence check using 69 positive and 185 generalized place invariants in 153 ms returned sat
[2021-05-07 19:02:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:02:35] [INFO ] [Nat]Absence check using state equation in 8572 ms returned sat
[2021-05-07 19:02:35] [INFO ] State equation strengthened by 66 read => feed constraints.
[2021-05-07 19:02:35] [INFO ] [Nat]Added 66 Read/Feed constraints in 611 ms returned sat
[2021-05-07 19:02:35] [INFO ] Computed and/alt/rep : 2270/27673/2270 causal constraints in 119 ms.
[2021-05-07 19:02:56] [INFO ] Added : 325 causal constraints over 65 iterations in 20581 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 91 ms.
Incomplete Parikh walk after 996800 steps, including 6046 resets, run finished after 5362 ms. (steps per millisecond=185 ) properties seen :[0, 0] could not realise parikh vector
Support contains 11 out of 1392 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1392/1392 places, 2271/2271 transitions.
Applied a total of 0 rules in 40 ms. Remains 1392 /1392 variables (removed 0) and now considering 2271/2271 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1392/1392 places, 2271/2271 transitions.
Incomplete random walk after 1000000 steps, including 7953 resets, run finished after 4981 ms. (steps per millisecond=200 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 919 resets, run finished after 2247 ms. (steps per millisecond=445 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 918 resets, run finished after 2059 ms. (steps per millisecond=485 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2239539 steps, run timeout after 30001 ms. (steps per millisecond=74 ) properties seen :[0, 0]
Probabilistic random walk after 2239539 steps, saw 378993 distinct states, run finished after 30001 ms. (steps per millisecond=74 ) properties seen :[0, 0]
// Phase 1: matrix 2271 rows 1392 cols
[2021-05-07 19:03:41] [INFO ] Computed 254 place invariants in 43 ms
[2021-05-07 19:03:41] [INFO ] [Real]Absence check using 69 positive place invariants in 74 ms returned sat
[2021-05-07 19:03:41] [INFO ] [Real]Absence check using 69 positive and 185 generalized place invariants in 164 ms returned sat
[2021-05-07 19:03:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:03:47] [INFO ] [Real]Absence check using state equation in 6281 ms returned sat
[2021-05-07 19:03:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:03:48] [INFO ] [Nat]Absence check using 69 positive place invariants in 72 ms returned sat
[2021-05-07 19:03:48] [INFO ] [Nat]Absence check using 69 positive and 185 generalized place invariants in 167 ms returned sat
[2021-05-07 19:03:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:03:59] [INFO ] [Nat]Absence check using state equation in 10673 ms returned sat
[2021-05-07 19:03:59] [INFO ] State equation strengthened by 66 read => feed constraints.
[2021-05-07 19:03:59] [INFO ] [Nat]Added 66 Read/Feed constraints in 160 ms returned sat
[2021-05-07 19:03:59] [INFO ] Computed and/alt/rep : 2270/27673/2270 causal constraints in 118 ms.
[2021-05-07 19:04:08] [INFO ] Added : 185 causal constraints over 37 iterations in 9686 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 55 ms.
[2021-05-07 19:04:09] [INFO ] [Real]Absence check using 69 positive place invariants in 83 ms returned sat
[2021-05-07 19:04:09] [INFO ] [Real]Absence check using 69 positive and 185 generalized place invariants in 157 ms returned sat
[2021-05-07 19:04:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:04:15] [INFO ] [Real]Absence check using state equation in 5873 ms returned sat
[2021-05-07 19:04:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:04:15] [INFO ] [Nat]Absence check using 69 positive place invariants in 71 ms returned sat
[2021-05-07 19:04:15] [INFO ] [Nat]Absence check using 69 positive and 185 generalized place invariants in 152 ms returned sat
[2021-05-07 19:04:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:04:24] [INFO ] [Nat]Absence check using state equation in 8316 ms returned sat
[2021-05-07 19:04:24] [INFO ] [Nat]Added 66 Read/Feed constraints in 611 ms returned sat
[2021-05-07 19:04:25] [INFO ] Computed and/alt/rep : 2270/27673/2270 causal constraints in 177 ms.
[2021-05-07 19:04:45] [INFO ] Added : 325 causal constraints over 65 iterations in 20347 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 90 ms.
Incomplete Parikh walk after 996800 steps, including 6007 resets, run finished after 5369 ms. (steps per millisecond=185 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 1120400 steps, including 6739 resets, run finished after 6024 ms. (steps per millisecond=185 ) properties seen :[0, 0] could not realise parikh vector
Support contains 11 out of 1392 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1392/1392 places, 2271/2271 transitions.
Applied a total of 0 rules in 43 ms. Remains 1392 /1392 variables (removed 0) and now considering 2271/2271 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1392/1392 places, 2271/2271 transitions.
Starting structural reductions, iteration 0 : 1392/1392 places, 2271/2271 transitions.
Applied a total of 0 rules in 42 ms. Remains 1392 /1392 variables (removed 0) and now considering 2271/2271 (removed 0) transitions.
// Phase 1: matrix 2271 rows 1392 cols
[2021-05-07 19:04:57] [INFO ] Computed 254 place invariants in 43 ms
[2021-05-07 19:05:02] [INFO ] Implicit Places using invariants in 5537 ms returned [1, 19, 20, 22, 32, 50, 68, 148, 161, 162, 163, 164, 184, 202, 241, 285, 298, 299, 300, 301, 302, 320, 338, 418, 431, 432, 433, 434, 435, 453, 471, 551, 564, 565, 566, 567, 568, 586, 604, 684, 697, 698, 699, 700, 701, 719, 737, 817, 830, 831, 832, 833, 834, 852, 870, 950, 965, 966, 967, 968, 969, 987, 1005, 1085, 1098, 1099, 1100, 1101, 1102, 1120, 1138, 1218, 1223, 1234, 1235, 1236, 1237, 1238, 1258, 1260, 1263, 1281, 1282, 1283, 1284, 1296, 1302, 1308, 1314, 1320, 1326, 1332, 1338, 1344, 1350, 1356]
Discarding 96 places :
Implicit Place search using SMT only with invariants took 5569 ms to find 96 implicit places.
[2021-05-07 19:05:02] [INFO ] Redundant transitions in 165 ms returned []
// Phase 1: matrix 2271 rows 1296 cols
[2021-05-07 19:05:02] [INFO ] Computed 158 place invariants in 28 ms
[2021-05-07 19:05:10] [INFO ] Dead Transitions using invariants and state equation in 7553 ms returned []
Starting structural reductions, iteration 1 : 1296/1392 places, 2271/2271 transitions.
Performed 152 Post agglomeration using F-continuation condition.Transition count delta: 152
Iterating post reduction 0 with 152 rules applied. Total rules applied 152 place count 1296 transition count 2119
Reduce places removed 152 places and 0 transitions.
Iterating post reduction 1 with 152 rules applied. Total rules applied 304 place count 1144 transition count 2119
Performed 71 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 71 Pre rules applied. Total rules applied 304 place count 1144 transition count 2048
Deduced a syphon composed of 71 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 2 with 143 rules applied. Total rules applied 447 place count 1072 transition count 2048
Discarding 22 places :
Implicit places reduction removed 22 places
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Iterating post reduction 2 with 47 rules applied. Total rules applied 494 place count 1050 transition count 2023
Reduce places removed 25 places and 0 transitions.
Iterating post reduction 3 with 25 rules applied. Total rules applied 519 place count 1025 transition count 2023
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 519 place count 1025 transition count 2022
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 521 place count 1024 transition count 2022
Symmetric choice reduction at 4 with 16 rule applications. Total rules 537 place count 1024 transition count 2022
Deduced a syphon composed of 16 places in 3 ms
Reduce places removed 16 places and 16 transitions.
Iterating global reduction 4 with 32 rules applied. Total rules applied 569 place count 1008 transition count 2006
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 572 place count 1008 transition count 2003
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 572 place count 1008 transition count 2002
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 574 place count 1007 transition count 2002
Symmetric choice reduction at 5 with 3 rule applications. Total rules 577 place count 1007 transition count 2002
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 583 place count 1004 transition count 1999
Symmetric choice reduction at 5 with 1 rule applications. Total rules 584 place count 1004 transition count 1999
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 586 place count 1003 transition count 1998
Symmetric choice reduction at 5 with 1 rule applications. Total rules 587 place count 1003 transition count 1998
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 589 place count 1002 transition count 1997
Performed 87 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 87 places in 2 ms
Reduce places removed 87 places and 0 transitions.
Iterating global reduction 5 with 174 rules applied. Total rules applied 763 place count 915 transition count 1909
Symmetric choice reduction at 5 with 8 rule applications. Total rules 771 place count 915 transition count 1909
Deduced a syphon composed of 8 places in 2 ms
Reduce places removed 8 places and 8 transitions.
Iterating global reduction 5 with 16 rules applied. Total rules applied 787 place count 907 transition count 1901
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 5 with 7 rules applied. Total rules applied 794 place count 907 transition count 1894
Free-agglomeration rule applied 8 times.
Iterating global reduction 6 with 8 rules applied. Total rules applied 802 place count 907 transition count 1886
Reduce places removed 8 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 6 with 15 rules applied. Total rules applied 817 place count 899 transition count 1879
Free-agglomeration rule (complex) applied 22 times.
Iterating global reduction 7 with 22 rules applied. Total rules applied 839 place count 899 transition count 1857
Ensure Unique test removed 1 places
Reduce places removed 23 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 25 rules applied. Total rules applied 864 place count 876 transition count 1855
Partial Free-agglomeration rule applied 24 times.
Drop transitions removed 24 transitions
Iterating global reduction 8 with 24 rules applied. Total rules applied 888 place count 876 transition count 1855
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 889 place count 876 transition count 1855
Applied a total of 889 rules in 328 ms. Remains 876 /1296 variables (removed 420) and now considering 1855/2271 (removed 416) transitions.
// Phase 1: matrix 1855 rows 876 cols
[2021-05-07 19:05:10] [INFO ] Computed 134 place invariants in 24 ms
[2021-05-07 19:05:12] [INFO ] Implicit Places using invariants in 2224 ms returned [73, 90, 96, 99, 101, 104, 105, 160, 183, 189, 192, 194, 195, 199, 204, 205, 257, 274, 280, 283, 285, 286, 291, 292, 344, 361, 367, 370, 372, 373, 378, 379, 431, 448, 454, 457, 459, 460, 465, 466, 518, 536, 542, 547, 548, 553, 555, 608, 625, 631, 634, 636, 637, 642, 643, 695, 712, 718, 721, 723, 724, 729, 730, 782, 799, 805, 808, 810, 811]
Discarding 69 places :
Implicit Place search using SMT only with invariants took 2226 ms to find 69 implicit places.
Starting structural reductions, iteration 2 : 807/1392 places, 1855/2271 transitions.
Symmetric choice reduction at 0 with 28 rule applications. Total rules 28 place count 807 transition count 1855
Deduced a syphon composed of 28 places in 2 ms
Reduce places removed 28 places and 28 transitions.
Iterating global reduction 0 with 56 rules applied. Total rules applied 84 place count 779 transition count 1827
Symmetric choice reduction at 0 with 9 rule applications. Total rules 93 place count 779 transition count 1827
Deduced a syphon composed of 9 places in 2 ms
Reduce places removed 9 places and 9 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 111 place count 770 transition count 1818
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 2 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 0 with 36 rules applied. Total rules applied 147 place count 752 transition count 1800
Symmetric choice reduction at 0 with 1 rule applications. Total rules 148 place count 752 transition count 1800
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 150 place count 751 transition count 1798
Free-agglomeration rule applied 28 times.
Iterating global reduction 0 with 28 rules applied. Total rules applied 178 place count 751 transition count 1770
Reduce places removed 28 places and 0 transitions.
Iterating post reduction 0 with 28 rules applied. Total rules applied 206 place count 723 transition count 1770
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 1 with 7 rules applied. Total rules applied 213 place count 723 transition count 1763
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 220 place count 716 transition count 1763
Partial Post-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 2 with 8 rules applied. Total rules applied 228 place count 716 transition count 1763
Applied a total of 228 rules in 133 ms. Remains 716 /807 variables (removed 91) and now considering 1763/1855 (removed 92) transitions.
// Phase 1: matrix 1763 rows 716 cols
[2021-05-07 19:05:13] [INFO ] Computed 65 place invariants in 19 ms
[2021-05-07 19:05:14] [INFO ] Implicit Places using invariants in 1586 ms returned []
// Phase 1: matrix 1763 rows 716 cols
[2021-05-07 19:05:14] [INFO ] Computed 65 place invariants in 20 ms
[2021-05-07 19:05:15] [INFO ] State equation strengthened by 8 read => feed constraints.
[2021-05-07 19:05:23] [INFO ] Implicit Places using invariants and state equation in 8689 ms returned []
Implicit Place search using SMT with State Equation took 10276 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 716/1392 places, 1763/2271 transitions.
Incomplete random walk after 1000000 steps, including 15949 resets, run finished after 3423 ms. (steps per millisecond=292 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2486 resets, run finished after 1188 ms. (steps per millisecond=841 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2484 resets, run finished after 1005 ms. (steps per millisecond=995 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2442944 steps, run timeout after 30001 ms. (steps per millisecond=81 ) properties seen :[0, 0]
Probabilistic random walk after 2442944 steps, saw 762148 distinct states, run finished after 30001 ms. (steps per millisecond=81 ) properties seen :[0, 0]
// Phase 1: matrix 1763 rows 716 cols
[2021-05-07 19:05:58] [INFO ] Computed 65 place invariants in 20 ms
[2021-05-07 19:05:59] [INFO ] [Real]Absence check using 14 positive place invariants in 25 ms returned sat
[2021-05-07 19:05:59] [INFO ] [Real]Absence check using 14 positive and 51 generalized place invariants in 34 ms returned sat
[2021-05-07 19:05:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:06:01] [INFO ] [Real]Absence check using state equation in 2172 ms returned sat
[2021-05-07 19:06:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:06:01] [INFO ] [Nat]Absence check using 14 positive place invariants in 29 ms returned sat
[2021-05-07 19:06:01] [INFO ] [Nat]Absence check using 14 positive and 51 generalized place invariants in 35 ms returned sat
[2021-05-07 19:06:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:06:07] [INFO ] [Nat]Absence check using state equation in 6395 ms returned sat
[2021-05-07 19:06:07] [INFO ] State equation strengthened by 8 read => feed constraints.
[2021-05-07 19:06:10] [INFO ] [Nat]Added 8 Read/Feed constraints in 2457 ms returned sat
[2021-05-07 19:06:10] [INFO ] Computed and/alt/rep : 1762/27334/1762 causal constraints in 94 ms.
[2021-05-07 19:06:28] [INFO ] Added : 355 causal constraints over 71 iterations in 18219 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 110 ms.
[2021-05-07 19:06:28] [INFO ] [Real]Absence check using 14 positive place invariants in 24 ms returned sat
[2021-05-07 19:06:28] [INFO ] [Real]Absence check using 14 positive and 51 generalized place invariants in 27 ms returned sat
[2021-05-07 19:06:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:06:30] [INFO ] [Real]Absence check using state equation in 2067 ms returned sat
[2021-05-07 19:06:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:06:31] [INFO ] [Nat]Absence check using 14 positive place invariants in 27 ms returned sat
[2021-05-07 19:06:31] [INFO ] [Nat]Absence check using 14 positive and 51 generalized place invariants in 27 ms returned sat
[2021-05-07 19:06:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:06:33] [INFO ] [Nat]Absence check using state equation in 2186 ms returned sat
[2021-05-07 19:06:33] [INFO ] [Nat]Added 8 Read/Feed constraints in 535 ms returned sat
[2021-05-07 19:06:33] [INFO ] Computed and/alt/rep : 1762/27334/1762 causal constraints in 91 ms.
[2021-05-07 19:06:54] [INFO ] Added : 335 causal constraints over 67 iterations in 20486 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 95 ms.
Incomplete Parikh walk after 970700 steps, including 11461 resets, run finished after 3935 ms. (steps per millisecond=246 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 890600 steps, including 10554 resets, run finished after 3705 ms. (steps per millisecond=240 ) properties seen :[0, 0] could not realise parikh vector
Support contains 11 out of 716 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 716/716 places, 1763/1763 transitions.
Applied a total of 0 rules in 21 ms. Remains 716 /716 variables (removed 0) and now considering 1763/1763 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 716/716 places, 1763/1763 transitions.
Starting structural reductions, iteration 0 : 716/716 places, 1763/1763 transitions.
Applied a total of 0 rules in 22 ms. Remains 716 /716 variables (removed 0) and now considering 1763/1763 (removed 0) transitions.
// Phase 1: matrix 1763 rows 716 cols
[2021-05-07 19:07:02] [INFO ] Computed 65 place invariants in 20 ms
[2021-05-07 19:07:03] [INFO ] Implicit Places using invariants in 1565 ms returned []
// Phase 1: matrix 1763 rows 716 cols
[2021-05-07 19:07:03] [INFO ] Computed 65 place invariants in 20 ms
[2021-05-07 19:07:05] [INFO ] State equation strengthened by 8 read => feed constraints.
[2021-05-07 19:07:12] [INFO ] Implicit Places using invariants and state equation in 8876 ms returned []
Implicit Place search using SMT with State Equation took 10443 ms to find 0 implicit places.
[2021-05-07 19:07:12] [INFO ] Redundant transitions in 109 ms returned []
// Phase 1: matrix 1763 rows 716 cols
[2021-05-07 19:07:12] [INFO ] Computed 65 place invariants in 19 ms
[2021-05-07 19:07:16] [INFO ] Dead Transitions using invariants and state equation in 3422 ms returned []
Finished structural reductions, in 1 iterations. Remains : 716/716 places, 1763/1763 transitions.
Incomplete random walk after 100000 steps, including 1645 resets, run finished after 356 ms. (steps per millisecond=280 ) properties seen :[0, 0]
// Phase 1: matrix 1763 rows 716 cols
[2021-05-07 19:07:16] [INFO ] Computed 65 place invariants in 19 ms
[2021-05-07 19:07:16] [INFO ] [Real]Absence check using 14 positive place invariants in 25 ms returned sat
[2021-05-07 19:07:16] [INFO ] [Real]Absence check using 14 positive and 51 generalized place invariants in 34 ms returned sat
[2021-05-07 19:07:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:07:18] [INFO ] [Real]Absence check using state equation in 2156 ms returned sat
[2021-05-07 19:07:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:07:19] [INFO ] [Nat]Absence check using 14 positive place invariants in 28 ms returned sat
[2021-05-07 19:07:19] [INFO ] [Nat]Absence check using 14 positive and 51 generalized place invariants in 34 ms returned sat
[2021-05-07 19:07:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:07:26] [INFO ] [Nat]Absence check using state equation in 6912 ms returned sat
[2021-05-07 19:07:26] [INFO ] State equation strengthened by 8 read => feed constraints.
[2021-05-07 19:07:26] [INFO ] [Nat]Added 8 Read/Feed constraints in 378 ms returned sat
[2021-05-07 19:07:26] [INFO ] Computed and/alt/rep : 1762/27334/1762 causal constraints in 90 ms.
[2021-05-07 19:07:38] [INFO ] Added : 330 causal constraints over 66 iterations in 12533 ms. Result :unknown
[2021-05-07 19:07:39] [INFO ] [Real]Absence check using 14 positive place invariants in 25 ms returned sat
[2021-05-07 19:07:39] [INFO ] [Real]Absence check using 14 positive and 51 generalized place invariants in 27 ms returned sat
[2021-05-07 19:07:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:07:41] [INFO ] [Real]Absence check using state equation in 2055 ms returned sat
[2021-05-07 19:07:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:07:41] [INFO ] [Nat]Absence check using 14 positive place invariants in 27 ms returned sat
[2021-05-07 19:07:41] [INFO ] [Nat]Absence check using 14 positive and 51 generalized place invariants in 27 ms returned sat
[2021-05-07 19:07:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:07:43] [INFO ] [Nat]Absence check using state equation in 2205 ms returned sat
[2021-05-07 19:07:44] [INFO ] [Nat]Added 8 Read/Feed constraints in 536 ms returned sat
[2021-05-07 19:07:44] [INFO ] Computed and/alt/rep : 1762/27334/1762 causal constraints in 113 ms.
[2021-05-07 19:08:01] [INFO ] Added : 335 causal constraints over 67 iterations in 17089 ms. Result :unknown
Applied a total of 0 rules in 19 ms. Remains 716 /716 variables (removed 0) and now considering 1763/1763 (removed 0) transitions.
// Phase 1: matrix 1763 rows 716 cols
[2021-05-07 19:08:01] [INFO ] Computed 65 place invariants in 19 ms
[2021-05-07 19:08:01] [INFO ] [Real]Absence check using 14 positive place invariants in 25 ms returned sat
[2021-05-07 19:08:01] [INFO ] [Real]Absence check using 14 positive and 51 generalized place invariants in 34 ms returned sat
[2021-05-07 19:08:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:08:03] [INFO ] [Real]Absence check using state equation in 2187 ms returned sat
[2021-05-07 19:08:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:08:03] [INFO ] [Nat]Absence check using 14 positive place invariants in 29 ms returned sat
[2021-05-07 19:08:03] [INFO ] [Nat]Absence check using 14 positive and 51 generalized place invariants in 34 ms returned sat
[2021-05-07 19:08:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:08:10] [INFO ] [Nat]Absence check using state equation in 6326 ms returned sat
[2021-05-07 19:08:10] [INFO ] Computed and/alt/rep : 1762/27214/1762 causal constraints in 93 ms.
[2021-05-07 19:08:25] [INFO ] Added : 340 causal constraints over 68 iterations in 15249 ms. Result :sat
[2021-05-07 19:08:25] [INFO ] Deduced a trap composed of 34 places in 58 ms
[2021-05-07 19:08:25] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 243 ms
Attempting to minimize the solution found.
Minimization took 91 ms.
[2021-05-07 19:08:25] [INFO ] [Real]Absence check using 14 positive place invariants in 24 ms returned sat
[2021-05-07 19:08:25] [INFO ] [Real]Absence check using 14 positive and 51 generalized place invariants in 28 ms returned sat
[2021-05-07 19:08:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 19:08:27] [INFO ] [Real]Absence check using state equation in 2121 ms returned sat
[2021-05-07 19:08:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 19:08:28] [INFO ] [Nat]Absence check using 14 positive place invariants in 27 ms returned sat
[2021-05-07 19:08:28] [INFO ] [Nat]Absence check using 14 positive and 51 generalized place invariants in 27 ms returned sat
[2021-05-07 19:08:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 19:08:30] [INFO ] [Nat]Absence check using state equation in 2253 ms returned sat
[2021-05-07 19:08:30] [INFO ] Computed and/alt/rep : 1762/27214/1762 causal constraints in 92 ms.
[2021-05-07 19:08:50] [INFO ] Added : 430 causal constraints over 86 iterations in 20414 ms.(timeout) Result :sat
[2021-05-07 19:08:51] [INFO ] Deduced a trap composed of 17 places in 126 ms
[2021-05-07 19:08:51] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 352 ms
Attempting to minimize the solution found.
Minimization took 126 ms.
[2021-05-07 19:08:51] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 3 ms.
[2021-05-07 19:08:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 12 ms.
[2021-05-07 19:08:51] [INFO ] Flatten gal took : 184 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityFireability @ ASLink-PT-09a @ 3570 seconds
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 149940 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16323044 kB

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

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="ASLink-PT-09a"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2020"
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-4028"
echo " Executing tool gold2020"
echo " Input is ASLink-PT-09a, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-tall-162038005900072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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