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

About the Execution of 2020-gold for ASLink-PT-10b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8686.920 3600000.00 6618563.00 8962.40 TFFTF??FTFFFTTFF 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-162038005900083.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-10b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-tall-162038005900083
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 114K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 73K 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.9K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 1.4M 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-10b-ReachabilityCardinality-00
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-01
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-02
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-03
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-04
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-05
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-06
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-07
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-08
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-09
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-10
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-11
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-12
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-13
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-14
FORMULA_NAME ASLink-PT-10b-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1620418104149

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-07 20:08:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-07 20:08:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-07 20:08:25] [INFO ] Load time of PNML (sax parser for PT used): 204 ms
[2021-05-07 20:08:26] [INFO ] Transformed 4410 places.
[2021-05-07 20:08:26] [INFO ] Transformed 5405 transitions.
[2021-05-07 20:08:26] [INFO ] Found NUPN structural information;
[2021-05-07 20:08:26] [INFO ] Parsed PT model containing 4410 places and 5405 transitions in 345 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 223 ms.
Working with output stream class java.io.PrintStream
FORMULA ASLink-PT-10b-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10b-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10b-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10b-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10b-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10b-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 15 resets, run finished after 118 ms. (steps per millisecond=84 ) properties seen :[0, 1, 1, 1, 0, 0, 0, 1, 1, 1]
FORMULA ASLink-PT-10b-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-10b-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-10b-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-10b-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-10b-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-10b-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 10000 steps, including 0 resets, run finished after 32 ms. (steps per millisecond=312 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 20 ms. (steps per millisecond=500 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 5405 rows 4410 cols
[2021-05-07 20:08:27] [INFO ] Computed 433 place invariants in 548 ms
[2021-05-07 20:08:28] [INFO ] [Real]Absence check using 102 positive place invariants in 311 ms returned sat
[2021-05-07 20:08:28] [INFO ] [Real]Absence check using 102 positive and 331 generalized place invariants in 861 ms returned sat
[2021-05-07 20:08:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:08:32] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 20:08:32] [INFO ] [Real]Absence check using state equation in 3223 ms returned (error "Failed to check-sat")
[2021-05-07 20:08:33] [INFO ] [Real]Absence check using 102 positive place invariants in 298 ms returned sat
[2021-05-07 20:08:34] [INFO ] [Real]Absence check using 102 positive and 331 generalized place invariants in 972 ms returned sat
[2021-05-07 20:08:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:08:37] [INFO ] [Real]Absence check using state equation in 3105 ms returned (error "Solver has unexpectedly terminated")
[2021-05-07 20:08:38] [INFO ] [Real]Absence check using 102 positive place invariants in 316 ms returned sat
[2021-05-07 20:08:38] [INFO ] [Real]Absence check using 102 positive and 331 generalized place invariants in 834 ms returned sat
[2021-05-07 20:08:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:08:42] [INFO ] [Real]Absence check using state equation in 3208 ms returned (error "Failed to check-sat")
[2021-05-07 20:08:42] [INFO ] [Real]Absence check using 102 positive place invariants in 318 ms returned sat
[2021-05-07 20:08:43] [INFO ] [Real]Absence check using 102 positive and 331 generalized place invariants in 856 ms returned sat
[2021-05-07 20:08:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:08:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 20:08:47] [INFO ] [Real]Absence check using state equation in 3319 ms returned (error "Failed to check-sat")
Support contains 11 out of 4410 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4410/4410 places, 5405/5405 transitions.
Performed 1028 Post agglomeration using F-continuation condition.Transition count delta: 1028
Iterating post reduction 0 with 1028 rules applied. Total rules applied 1028 place count 4410 transition count 4377
Reduce places removed 1028 places and 0 transitions.
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Iterating post reduction 1 with 1074 rules applied. Total rules applied 2102 place count 3382 transition count 4331
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 2114 place count 3370 transition count 4331
Performed 1025 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1025 Pre rules applied. Total rules applied 2114 place count 3370 transition count 3306
Deduced a syphon composed of 1025 places in 10 ms
Ensure Unique test removed 103 places
Reduce places removed 1128 places and 0 transitions.
Iterating global reduction 3 with 2153 rules applied. Total rules applied 4267 place count 2242 transition count 3306
Discarding 10 places :
Implicit places reduction removed 10 places
Performed 64 Post agglomeration using F-continuation condition.Transition count delta: 64
Iterating post reduction 3 with 74 rules applied. Total rules applied 4341 place count 2232 transition count 3242
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 4 with 64 rules applied. Total rules applied 4405 place count 2168 transition count 3242
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 40 Pre rules applied. Total rules applied 4405 place count 2168 transition count 3202
Deduced a syphon composed of 40 places in 33 ms
Ensure Unique test removed 40 places
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 5 with 120 rules applied. Total rules applied 4525 place count 2088 transition count 3202
Performed 39 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 39 Pre rules applied. Total rules applied 4525 place count 2088 transition count 3163
Deduced a syphon composed of 39 places in 8 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 5 with 78 rules applied. Total rules applied 4603 place count 2049 transition count 3163
Symmetric choice reduction at 5 with 142 rule applications. Total rules 4745 place count 2049 transition count 3163
Deduced a syphon composed of 142 places in 30 ms
Reduce places removed 142 places and 142 transitions.
Iterating global reduction 5 with 284 rules applied. Total rules applied 5029 place count 1907 transition count 3021
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 5030 place count 1907 transition count 3020
Performed 46 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 46 Pre rules applied. Total rules applied 5030 place count 1907 transition count 2974
Deduced a syphon composed of 46 places in 13 ms
Ensure Unique test removed 1 places
Reduce places removed 47 places and 0 transitions.
Iterating global reduction 6 with 93 rules applied. Total rules applied 5123 place count 1860 transition count 2974
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 5123 place count 1860 transition count 2973
Deduced a syphon composed of 1 places in 8 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 3 rules applied. Total rules applied 5126 place count 1858 transition count 2973
Symmetric choice reduction at 6 with 11 rule applications. Total rules 5137 place count 1858 transition count 2973
Deduced a syphon composed of 11 places in 11 ms
Reduce places removed 11 places and 69 transitions.
Iterating global reduction 6 with 22 rules applied. Total rules applied 5159 place count 1847 transition count 2904
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 10 Pre rules applied. Total rules applied 5159 place count 1847 transition count 2894
Deduced a syphon composed of 10 places in 7 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 6 with 20 rules applied. Total rules applied 5179 place count 1837 transition count 2894
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5180 place count 1837 transition count 2894
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5182 place count 1836 transition count 2886
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5183 place count 1836 transition count 2886
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5185 place count 1835 transition count 2878
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5186 place count 1835 transition count 2878
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5188 place count 1834 transition count 2870
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5189 place count 1834 transition count 2870
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5191 place count 1833 transition count 2862
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5192 place count 1833 transition count 2862
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5194 place count 1832 transition count 2854
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5195 place count 1832 transition count 2854
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5197 place count 1831 transition count 2846
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5198 place count 1831 transition count 2846
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5200 place count 1830 transition count 2838
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5201 place count 1830 transition count 2838
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5203 place count 1829 transition count 2830
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5204 place count 1829 transition count 2830
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5206 place count 1828 transition count 2822
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5207 place count 1828 transition count 2822
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5209 place count 1827 transition count 2814
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5210 place count 1827 transition count 2814
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5212 place count 1826 transition count 2806
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5213 place count 1826 transition count 2806
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5215 place count 1825 transition count 2798
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5216 place count 1825 transition count 2798
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5218 place count 1824 transition count 2790
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5219 place count 1824 transition count 2790
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5221 place count 1823 transition count 2782
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5222 place count 1823 transition count 2782
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5224 place count 1822 transition count 2774
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5225 place count 1822 transition count 2774
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5227 place count 1821 transition count 2766
Performed 254 Post agglomeration using F-continuation condition.Transition count delta: 254
Deduced a syphon composed of 254 places in 6 ms
Reduce places removed 254 places and 0 transitions.
Iterating global reduction 6 with 508 rules applied. Total rules applied 5735 place count 1567 transition count 2512
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5736 place count 1567 transition count 2512
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5738 place count 1566 transition count 2511
Ensure Unique test removed 1 places
Iterating post reduction 6 with 1 rules applied. Total rules applied 5739 place count 1565 transition count 2511
Symmetric choice reduction at 7 with 1 rule applications. Total rules 5740 place count 1565 transition count 2511
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 5742 place count 1564 transition count 2510
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 7 with 2 rules applied. Total rules applied 5744 place count 1564 transition count 2508
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 5745 place count 1563 transition count 2508
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 5747 place count 1562 transition count 2517
Free-agglomeration rule applied 12 times.
Iterating global reduction 9 with 12 rules applied. Total rules applied 5759 place count 1562 transition count 2505
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 9 with 12 rules applied. Total rules applied 5771 place count 1550 transition count 2505
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 10 with 8 rules applied. Total rules applied 5779 place count 1550 transition count 2497
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 10 with 8 rules applied. Total rules applied 5787 place count 1542 transition count 2497
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 5788 place count 1541 transition count 2496
Reduce places removed 20 places and 0 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 11 with 30 rules applied. Total rules applied 5818 place count 1521 transition count 2486
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 5828 place count 1511 transition count 2486
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 30 Pre rules applied. Total rules applied 5828 place count 1511 transition count 2456
Deduced a syphon composed of 30 places in 7 ms
Ensure Unique test removed 1 places
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 13 with 61 rules applied. Total rules applied 5889 place count 1480 transition count 2456
Discarding 11 places :
Implicit places reduction removed 11 places
Iterating post reduction 13 with 11 rules applied. Total rules applied 5900 place count 1469 transition count 2456
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 1 Pre rules applied. Total rules applied 5900 place count 1469 transition count 2455
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 5902 place count 1468 transition count 2455
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 5 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 14 with 42 rules applied. Total rules applied 5944 place count 1447 transition count 2434
Symmetric choice reduction at 14 with 10 rule applications. Total rules 5954 place count 1447 transition count 2434
Deduced a syphon composed of 10 places in 6 ms
Reduce places removed 10 places and 10 transitions.
Iterating global reduction 14 with 20 rules applied. Total rules applied 5974 place count 1437 transition count 2424
Free-agglomeration rule applied 10 times.
Iterating global reduction 14 with 10 rules applied. Total rules applied 5984 place count 1437 transition count 2414
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 14 with 10 rules applied. Total rules applied 5994 place count 1427 transition count 2414
Applied a total of 5994 rules in 3663 ms. Remains 1427 /4410 variables (removed 2983) and now considering 2414/5405 (removed 2991) transitions.
Finished structural reductions, in 1 iterations. Remains : 1427/4410 places, 2414/5405 transitions.
Incomplete random walk after 1000000 steps, including 9324 resets, run finished after 5882 ms. (steps per millisecond=170 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 926 resets, run finished after 2037 ms. (steps per millisecond=490 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 927 resets, run finished after 2049 ms. (steps per millisecond=488 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 930 resets, run finished after 1939 ms. (steps per millisecond=515 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 913 resets, run finished after 2001 ms. (steps per millisecond=499 ) properties seen :[0, 0, 0, 0]
Interrupted probabilistic random walk after 2668554 steps, run timeout after 30001 ms. (steps per millisecond=88 ) properties seen :[0, 0, 0, 0]
Probabilistic random walk after 2668554 steps, saw 452178 distinct states, run finished after 30001 ms. (steps per millisecond=88 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 2414 rows 1427 cols
[2021-05-07 20:09:34] [INFO ] Computed 245 place invariants in 136 ms
[2021-05-07 20:09:35] [INFO ] [Real]Absence check using 67 positive place invariants in 80 ms returned sat
[2021-05-07 20:09:35] [INFO ] [Real]Absence check using 67 positive and 178 generalized place invariants in 146 ms returned sat
[2021-05-07 20:09:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:09:40] [INFO ] [Real]Absence check using state equation in 5676 ms returned sat
[2021-05-07 20:09:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:09:41] [INFO ] [Nat]Absence check using 67 positive place invariants in 77 ms returned sat
[2021-05-07 20:09:41] [INFO ] [Nat]Absence check using 67 positive and 178 generalized place invariants in 144 ms returned sat
[2021-05-07 20:09:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:09:47] [INFO ] [Nat]Absence check using state equation in 6025 ms returned sat
[2021-05-07 20:09:47] [INFO ] Computed and/alt/rep : 2368/25501/2368 causal constraints in 171 ms.
[2021-05-07 20:10:07] [INFO ] Added : 460 causal constraints over 92 iterations in 20124 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 98 ms.
[2021-05-07 20:10:08] [INFO ] [Real]Absence check using 67 positive place invariants in 79 ms returned sat
[2021-05-07 20:10:08] [INFO ] [Real]Absence check using 67 positive and 178 generalized place invariants in 159 ms returned sat
[2021-05-07 20:10:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:10:15] [INFO ] [Real]Absence check using state equation in 6887 ms returned sat
[2021-05-07 20:10:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:10:15] [INFO ] [Nat]Absence check using 67 positive place invariants in 76 ms returned sat
[2021-05-07 20:10:15] [INFO ] [Nat]Absence check using 67 positive and 178 generalized place invariants in 150 ms returned sat
[2021-05-07 20:10:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:10:22] [INFO ] [Nat]Absence check using state equation in 6499 ms returned sat
[2021-05-07 20:10:22] [INFO ] Computed and/alt/rep : 2368/25501/2368 causal constraints in 254 ms.
[2021-05-07 20:10:42] [INFO ] Added : 510 causal constraints over 102 iterations in 20225 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 102 ms.
[2021-05-07 20:10:43] [INFO ] [Real]Absence check using 67 positive place invariants in 75 ms returned sat
[2021-05-07 20:10:43] [INFO ] [Real]Absence check using 67 positive and 178 generalized place invariants in 157 ms returned sat
[2021-05-07 20:10:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:10:49] [INFO ] [Real]Absence check using state equation in 6573 ms returned sat
[2021-05-07 20:10:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:10:50] [INFO ] [Nat]Absence check using 67 positive place invariants in 70 ms returned sat
[2021-05-07 20:10:50] [INFO ] [Nat]Absence check using 67 positive and 178 generalized place invariants in 149 ms returned sat
[2021-05-07 20:10:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:10:56] [INFO ] [Nat]Absence check using state equation in 6036 ms returned sat
[2021-05-07 20:10:56] [INFO ] Computed and/alt/rep : 2368/25501/2368 causal constraints in 142 ms.
[2021-05-07 20:11:16] [INFO ] Added : 500 causal constraints over 100 iterations in 20540 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 97 ms.
[2021-05-07 20:11:17] [INFO ] [Real]Absence check using 67 positive place invariants in 72 ms returned sat
[2021-05-07 20:11:17] [INFO ] [Real]Absence check using 67 positive and 178 generalized place invariants in 151 ms returned sat
[2021-05-07 20:11:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:11:23] [INFO ] [Real]Absence check using state equation in 6298 ms returned sat
[2021-05-07 20:11:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:11:24] [INFO ] [Nat]Absence check using 67 positive place invariants in 69 ms returned sat
[2021-05-07 20:11:24] [INFO ] [Nat]Absence check using 67 positive and 178 generalized place invariants in 144 ms returned sat
[2021-05-07 20:11:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:11:30] [INFO ] [Nat]Absence check using state equation in 6228 ms returned sat
[2021-05-07 20:11:30] [INFO ] Computed and/alt/rep : 2368/25501/2368 causal constraints in 161 ms.
[2021-05-07 20:11:49] [INFO ] Added : 420 causal constraints over 84 iterations in 18434 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 233 ms.
Incomplete Parikh walk after 781100 steps, including 9642 resets, run finished after 5530 ms. (steps per millisecond=141 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1195300 steps, including 14513 resets, run finished after 8283 ms. (steps per millisecond=144 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1197400 steps, including 14446 resets, run finished after 8295 ms. (steps per millisecond=144 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 955200 steps, including 11625 resets, run finished after 6529 ms. (steps per millisecond=146 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Support contains 11 out of 1427 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1427/1427 places, 2414/2414 transitions.
Applied a total of 0 rules in 47 ms. Remains 1427 /1427 variables (removed 0) and now considering 2414/2414 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1427/1427 places, 2414/2414 transitions.
Starting structural reductions, iteration 0 : 1427/1427 places, 2414/2414 transitions.
Applied a total of 0 rules in 46 ms. Remains 1427 /1427 variables (removed 0) and now considering 2414/2414 (removed 0) transitions.
// Phase 1: matrix 2414 rows 1427 cols
[2021-05-07 20:12:18] [INFO ] Computed 245 place invariants in 173 ms
[2021-05-07 20:12:23] [INFO ] Implicit Places using invariants in 5706 ms returned [1, 18, 19, 31, 48, 66, 138, 142, 151, 152, 155, 172, 190, 260, 265, 278, 279, 281, 300, 318, 389, 393, 394, 406, 407, 409, 426, 444, 513, 517, 518, 529, 530, 532, 549, 567, 636, 640, 641, 652, 653, 655, 672, 690, 759, 763, 764, 775, 776, 778, 795, 813, 883, 887, 888, 899, 900, 902, 919, 937, 1006, 1010, 1011, 1022, 1023, 1025, 1042, 1060, 1129, 1133, 1134, 1145, 1146, 1148, 1165, 1183, 1253, 1257, 1258, 1261, 1272, 1273, 1274, 1292, 1294, 1298, 1316, 1317, 1318, 1319, 1331, 1337, 1343, 1349, 1355, 1361, 1367, 1373, 1379, 1385, 1391]
Discarding 101 places :
Implicit Place search using SMT only with invariants took 5710 ms to find 101 implicit places.
[2021-05-07 20:12:24] [INFO ] Redundant transitions in 220 ms returned []
// Phase 1: matrix 2414 rows 1326 cols
[2021-05-07 20:12:24] [INFO ] Computed 144 place invariants in 47 ms
[2021-05-07 20:12:33] [INFO ] Dead Transitions using invariants and state equation in 8851 ms returned []
Starting structural reductions, iteration 1 : 1326/1427 places, 2414/2414 transitions.
Performed 193 Post agglomeration using F-continuation condition.Transition count delta: 193
Iterating post reduction 0 with 193 rules applied. Total rules applied 193 place count 1326 transition count 2221
Reduce places removed 193 places and 0 transitions.
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 1 with 203 rules applied. Total rules applied 396 place count 1133 transition count 2211
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 396 place count 1133 transition count 2166
Deduced a syphon composed of 45 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 2 with 91 rules applied. Total rules applied 487 place count 1087 transition count 2166
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 499 place count 1083 transition count 2158
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 507 place count 1075 transition count 2158
Symmetric choice reduction at 4 with 15 rule applications. Total rules 522 place count 1075 transition count 2158
Deduced a syphon composed of 15 places in 4 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 552 place count 1060 transition count 2143
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 555 place count 1060 transition count 2140
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 555 place count 1060 transition count 2139
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 557 place count 1059 transition count 2139
Symmetric choice reduction at 5 with 3 rule applications. Total rules 560 place count 1059 transition count 2139
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 6 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 566 place count 1056 transition count 2133
Symmetric choice reduction at 5 with 1 rule applications. Total rules 567 place count 1056 transition count 2133
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 569 place count 1055 transition count 2132
Symmetric choice reduction at 5 with 1 rule applications. Total rules 570 place count 1055 transition count 2132
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 572 place count 1054 transition count 2130
Performed 66 Post agglomeration using F-continuation condition.Transition count delta: 66
Deduced a syphon composed of 66 places in 4 ms
Reduce places removed 66 places and 0 transitions.
Iterating global reduction 5 with 132 rules applied. Total rules applied 704 place count 988 transition count 2064
Symmetric choice reduction at 5 with 10 rule applications. Total rules 714 place count 988 transition count 2064
Deduced a syphon composed of 10 places in 3 ms
Reduce places removed 10 places and 10 transitions.
Iterating global reduction 5 with 20 rules applied. Total rules applied 734 place count 978 transition count 2054
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 744 place count 978 transition count 2044
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 748 place count 976 transition count 2045
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 6 with 20 rules applied. Total rules applied 768 place count 976 transition count 2025
Ensure Unique test removed 1 places
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 6 with 21 rules applied. Total rules applied 789 place count 955 transition count 2025
Partial Free-agglomeration rule applied 28 times.
Drop transitions removed 28 transitions
Iterating global reduction 7 with 28 rules applied. Total rules applied 817 place count 955 transition count 2025
Applied a total of 817 rules in 428 ms. Remains 955 /1326 variables (removed 371) and now considering 2025/2414 (removed 389) transitions.
// Phase 1: matrix 2025 rows 955 cols
[2021-05-07 20:12:33] [INFO ] Computed 138 place invariants in 25 ms
[2021-05-07 20:12:35] [INFO ] Implicit Places using invariants in 2543 ms returned [72, 89, 96, 102, 163, 180, 188, 191, 193, 200, 201, 255, 273, 279, 282, 284, 291, 343, 360, 366, 369, 371, 376, 377, 429, 446, 456, 458, 463, 464, 516, 533, 539, 542, 544, 549, 550, 602, 619, 630, 632, 637, 638, 690, 707, 713, 716, 718, 723, 724, 776, 793, 799, 802, 804, 809, 810, 862, 880, 886, 889, 891]
Discarding 62 places :
Implicit Place search using SMT only with invariants took 2552 ms to find 62 implicit places.
Starting structural reductions, iteration 2 : 893/1427 places, 2025/2414 transitions.
Symmetric choice reduction at 0 with 25 rule applications. Total rules 25 place count 893 transition count 2025
Deduced a syphon composed of 25 places in 4 ms
Reduce places removed 25 places and 25 transitions.
Iterating global reduction 0 with 50 rules applied. Total rules applied 75 place count 868 transition count 2000
Symmetric choice reduction at 0 with 7 rule applications. Total rules 82 place count 868 transition count 2000
Deduced a syphon composed of 7 places in 4 ms
Reduce places removed 7 places and 7 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 96 place count 861 transition count 1993
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Deduced a syphon composed of 20 places in 3 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 0 with 40 rules applied. Total rules applied 136 place count 841 transition count 1973
Free-agglomeration rule applied 28 times.
Iterating global reduction 0 with 28 rules applied. Total rules applied 164 place count 841 transition count 1945
Reduce places removed 28 places and 0 transitions.
Iterating post reduction 0 with 28 rules applied. Total rules applied 192 place count 813 transition count 1945
Free-agglomeration rule (complex) applied 10 times.
Iterating global reduction 1 with 10 rules applied. Total rules applied 202 place count 813 transition count 1935
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 212 place count 803 transition count 1935
Partial Post-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 2 with 9 rules applied. Total rules applied 221 place count 803 transition count 1935
Applied a total of 221 rules in 189 ms. Remains 803 /893 variables (removed 90) and now considering 1935/2025 (removed 90) transitions.
// Phase 1: matrix 1935 rows 803 cols
[2021-05-07 20:12:36] [INFO ] Computed 76 place invariants in 21 ms
[2021-05-07 20:12:38] [INFO ] Implicit Places using invariants in 1905 ms returned []
// Phase 1: matrix 1935 rows 803 cols
[2021-05-07 20:12:38] [INFO ] Computed 76 place invariants in 22 ms
[2021-05-07 20:12:39] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-07 20:12:48] [INFO ] Implicit Places using invariants and state equation in 10150 ms returned []
Implicit Place search using SMT with State Equation took 12056 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 803/1427 places, 1935/2414 transitions.
Incomplete random walk after 1000000 steps, including 15244 resets, run finished after 4395 ms. (steps per millisecond=227 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2052 resets, run finished after 1150 ms. (steps per millisecond=869 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2066 resets, run finished after 1269 ms. (steps per millisecond=788 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2051 resets, run finished after 1188 ms. (steps per millisecond=841 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1992 resets, run finished after 1174 ms. (steps per millisecond=851 ) properties seen :[0, 0, 0, 0]
Interrupted probabilistic random walk after 3881016 steps, run timeout after 30001 ms. (steps per millisecond=129 ) properties seen :[0, 0, 0, 0]
Probabilistic random walk after 3881016 steps, saw 783507 distinct states, run finished after 30001 ms. (steps per millisecond=129 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 1935 rows 803 cols
[2021-05-07 20:13:27] [INFO ] Computed 76 place invariants in 22 ms
[2021-05-07 20:13:27] [INFO ] [Real]Absence check using 15 positive place invariants in 27 ms returned sat
[2021-05-07 20:13:27] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 35 ms returned sat
[2021-05-07 20:13:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:13:30] [INFO ] [Real]Absence check using state equation in 2456 ms returned sat
[2021-05-07 20:13:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:13:30] [INFO ] [Nat]Absence check using 15 positive place invariants in 29 ms returned sat
[2021-05-07 20:13:30] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 36 ms returned sat
[2021-05-07 20:13:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:13:32] [INFO ] [Nat]Absence check using state equation in 2634 ms returned sat
[2021-05-07 20:13:32] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-07 20:13:32] [INFO ] [Nat]Added 1 Read/Feed constraints in 49 ms returned sat
[2021-05-07 20:13:33] [INFO ] Computed and/alt/rep : 1889/24487/1889 causal constraints in 115 ms.
[2021-05-07 20:13:53] [INFO ] Added : 455 causal constraints over 91 iterations in 20104 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 103 ms.
[2021-05-07 20:13:53] [INFO ] [Real]Absence check using 15 positive place invariants in 29 ms returned sat
[2021-05-07 20:13:53] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 43 ms returned sat
[2021-05-07 20:13:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:13:56] [INFO ] [Real]Absence check using state equation in 2576 ms returned sat
[2021-05-07 20:13:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:13:56] [INFO ] [Nat]Absence check using 15 positive place invariants in 27 ms returned sat
[2021-05-07 20:13:56] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 41 ms returned sat
[2021-05-07 20:13:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:13:58] [INFO ] [Nat]Absence check using state equation in 2650 ms returned sat
[2021-05-07 20:13:59] [INFO ] [Nat]Added 1 Read/Feed constraints in 374 ms returned sat
[2021-05-07 20:13:59] [INFO ] Computed and/alt/rep : 1889/24487/1889 causal constraints in 102 ms.
[2021-05-07 20:14:19] [INFO ] Added : 565 causal constraints over 113 iterations in 20254 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 138 ms.
[2021-05-07 20:14:19] [INFO ] [Real]Absence check using 15 positive place invariants in 27 ms returned sat
[2021-05-07 20:14:20] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 37 ms returned sat
[2021-05-07 20:14:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:14:22] [INFO ] [Real]Absence check using state equation in 2736 ms returned sat
[2021-05-07 20:14:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:14:22] [INFO ] [Nat]Absence check using 15 positive place invariants in 25 ms returned sat
[2021-05-07 20:14:22] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 51 ms returned sat
[2021-05-07 20:14:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:14:27] [INFO ] [Nat]Absence check using state equation in 4574 ms returned sat
[2021-05-07 20:14:27] [INFO ] [Nat]Added 1 Read/Feed constraints in 270 ms returned sat
[2021-05-07 20:14:27] [INFO ] Computed and/alt/rep : 1889/24487/1889 causal constraints in 127 ms.
[2021-05-07 20:14:48] [INFO ] Added : 510 causal constraints over 102 iterations in 20367 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 110 ms.
[2021-05-07 20:14:48] [INFO ] [Real]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-07 20:14:48] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 37 ms returned sat
[2021-05-07 20:14:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:14:51] [INFO ] [Real]Absence check using state equation in 2390 ms returned sat
[2021-05-07 20:14:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:14:51] [INFO ] [Nat]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-07 20:14:51] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 36 ms returned sat
[2021-05-07 20:14:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:14:59] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 20:15:02] [INFO ] [Nat]Absence check using state equation in 10762 ms returned unknown
Incomplete Parikh walk after 402500 steps, including 5408 resets, run finished after 1797 ms. (steps per millisecond=223 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 548900 steps, including 7181 resets, run finished after 2512 ms. (steps per millisecond=218 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 380100 steps, including 5192 resets, run finished after 1767 ms. (steps per millisecond=215 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Support contains 11 out of 803 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 803/803 places, 1935/1935 transitions.
Applied a total of 0 rules in 27 ms. Remains 803 /803 variables (removed 0) and now considering 1935/1935 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 803/803 places, 1935/1935 transitions.
Starting structural reductions, iteration 0 : 803/803 places, 1935/1935 transitions.
Applied a total of 0 rules in 28 ms. Remains 803 /803 variables (removed 0) and now considering 1935/1935 (removed 0) transitions.
// Phase 1: matrix 1935 rows 803 cols
[2021-05-07 20:15:08] [INFO ] Computed 76 place invariants in 22 ms
[2021-05-07 20:15:10] [INFO ] Implicit Places using invariants in 1985 ms returned []
// Phase 1: matrix 1935 rows 803 cols
[2021-05-07 20:15:10] [INFO ] Computed 76 place invariants in 26 ms
[2021-05-07 20:15:11] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-07 20:15:20] [INFO ] Implicit Places using invariants and state equation in 10272 ms returned []
Implicit Place search using SMT with State Equation took 12259 ms to find 0 implicit places.
[2021-05-07 20:15:20] [INFO ] Redundant transitions in 131 ms returned []
// Phase 1: matrix 1935 rows 803 cols
[2021-05-07 20:15:20] [INFO ] Computed 76 place invariants in 22 ms
[2021-05-07 20:15:24] [INFO ] Dead Transitions using invariants and state equation in 4216 ms returned []
Finished structural reductions, in 1 iterations. Remains : 803/803 places, 1935/1935 transitions.
Incomplete random walk after 100000 steps, including 1558 resets, run finished after 454 ms. (steps per millisecond=220 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 1935 rows 803 cols
[2021-05-07 20:15:25] [INFO ] Computed 76 place invariants in 21 ms
[2021-05-07 20:15:25] [INFO ] [Real]Absence check using 15 positive place invariants in 27 ms returned sat
[2021-05-07 20:15:25] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 36 ms returned sat
[2021-05-07 20:15:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:15:27] [INFO ] [Real]Absence check using state equation in 2468 ms returned sat
[2021-05-07 20:15:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:15:28] [INFO ] [Nat]Absence check using 15 positive place invariants in 28 ms returned sat
[2021-05-07 20:15:28] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 35 ms returned sat
[2021-05-07 20:15:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:15:30] [INFO ] [Nat]Absence check using state equation in 2612 ms returned sat
[2021-05-07 20:15:30] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-07 20:15:30] [INFO ] [Nat]Added 1 Read/Feed constraints in 47 ms returned sat
[2021-05-07 20:15:30] [INFO ] Computed and/alt/rep : 1889/24487/1889 causal constraints in 95 ms.
[2021-05-07 20:15:47] [INFO ] Added : 405 causal constraints over 81 iterations in 17132 ms. Result :unknown
[2021-05-07 20:15:48] [INFO ] [Real]Absence check using 15 positive place invariants in 27 ms returned sat
[2021-05-07 20:15:48] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 45 ms returned sat
[2021-05-07 20:15:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:15:50] [INFO ] [Real]Absence check using state equation in 2689 ms returned sat
[2021-05-07 20:15:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:15:50] [INFO ] [Nat]Absence check using 15 positive place invariants in 27 ms returned sat
[2021-05-07 20:15:51] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 42 ms returned sat
[2021-05-07 20:15:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:15:53] [INFO ] [Nat]Absence check using state equation in 2658 ms returned sat
[2021-05-07 20:15:54] [INFO ] [Nat]Added 1 Read/Feed constraints in 363 ms returned sat
[2021-05-07 20:15:54] [INFO ] Computed and/alt/rep : 1889/24487/1889 causal constraints in 104 ms.
[2021-05-07 20:16:10] [INFO ] Added : 495 causal constraints over 99 iterations in 16786 ms. Result :unknown
[2021-05-07 20:16:11] [INFO ] [Real]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-07 20:16:11] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 42 ms returned sat
[2021-05-07 20:16:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:16:13] [INFO ] [Real]Absence check using state equation in 2751 ms returned sat
[2021-05-07 20:16:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:16:13] [INFO ] [Nat]Absence check using 15 positive place invariants in 25 ms returned sat
[2021-05-07 20:16:14] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 44 ms returned sat
[2021-05-07 20:16:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:16:18] [INFO ] [Nat]Absence check using state equation in 4498 ms returned sat
[2021-05-07 20:16:18] [INFO ] [Nat]Added 1 Read/Feed constraints in 274 ms returned sat
[2021-05-07 20:16:18] [INFO ] Computed and/alt/rep : 1889/24487/1889 causal constraints in 103 ms.
[2021-05-07 20:16:33] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t321 0) (and (or (and (> t715 0) (< o715 o321)) (and (> t721 0) (< o721 o321)) (and (> t728 0) (< o728 o321)) (and (> t734 0) (< o734 o321)) (and (> t749 0) (< o749 o321)) (and (> t755 0) (< o755 o321)) (and (> t760 0) (< o760 o321)) (and (> t1736 0) (< o1736 o321))) (or (and (> t734 0) (< o734 o321)) (and (> t735 0) (< o735 o321)) (and (> t736 0) (< o736 o321)) (and (> t737 0) (< o737 o321)) (and (> t738 0) (< o738 o321)) (and (> t739 0) (< o739 o321)) (and (> t740 0) (< o740 o321)) (and (> t741 0) (< o741 o321)))))") while checking expression at index 2
[2021-05-07 20:16:34] [INFO ] [Real]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-07 20:16:34] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 36 ms returned sat
[2021-05-07 20:16:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:16:36] [INFO ] [Real]Absence check using state equation in 2367 ms returned sat
[2021-05-07 20:16:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:16:36] [INFO ] [Nat]Absence check using 15 positive place invariants in 25 ms returned sat
[2021-05-07 20:16:36] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 35 ms returned sat
[2021-05-07 20:16:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:16:44] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 20:16:47] [INFO ] [Nat]Absence check using state equation in 10692 ms returned unknown
Applied a total of 0 rules in 29 ms. Remains 803 /803 variables (removed 0) and now considering 1935/1935 (removed 0) transitions.
// Phase 1: matrix 1935 rows 803 cols
[2021-05-07 20:16:47] [INFO ] Computed 76 place invariants in 22 ms
[2021-05-07 20:16:47] [INFO ] [Real]Absence check using 15 positive place invariants in 42 ms returned sat
[2021-05-07 20:16:47] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 36 ms returned sat
[2021-05-07 20:16:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:16:50] [INFO ] [Real]Absence check using state equation in 2435 ms returned sat
[2021-05-07 20:16:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:16:50] [INFO ] [Nat]Absence check using 15 positive place invariants in 28 ms returned sat
[2021-05-07 20:16:50] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 35 ms returned sat
[2021-05-07 20:16:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:16:52] [INFO ] [Nat]Absence check using state equation in 2598 ms returned sat
[2021-05-07 20:16:53] [INFO ] Computed and/alt/rep : 1889/24472/1889 causal constraints in 111 ms.
[2021-05-07 20:17:13] [INFO ] Added : 440 causal constraints over 88 iterations in 20182 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 97 ms.
[2021-05-07 20:17:13] [INFO ] [Real]Absence check using 15 positive place invariants in 27 ms returned sat
[2021-05-07 20:17:13] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 42 ms returned sat
[2021-05-07 20:17:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:17:16] [INFO ] [Real]Absence check using state equation in 2555 ms returned sat
[2021-05-07 20:17:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:17:16] [INFO ] [Nat]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-07 20:17:16] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 43 ms returned sat
[2021-05-07 20:17:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:17:18] [INFO ] [Nat]Absence check using state equation in 2639 ms returned sat
[2021-05-07 20:17:19] [INFO ] Computed and/alt/rep : 1889/24472/1889 causal constraints in 103 ms.
[2021-05-07 20:17:39] [INFO ] Added : 505 causal constraints over 101 iterations in 20211 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 113 ms.
[2021-05-07 20:17:39] [INFO ] [Real]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-07 20:17:39] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 37 ms returned sat
[2021-05-07 20:17:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:17:42] [INFO ] [Real]Absence check using state equation in 2760 ms returned sat
[2021-05-07 20:17:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:17:42] [INFO ] [Nat]Absence check using 15 positive place invariants in 25 ms returned sat
[2021-05-07 20:17:42] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 35 ms returned sat
[2021-05-07 20:17:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:17:47] [INFO ] [Nat]Absence check using state equation in 4586 ms returned sat
[2021-05-07 20:17:47] [INFO ] Deduced a trap composed of 23 places in 146 ms
[2021-05-07 20:17:47] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 242 ms
[2021-05-07 20:17:47] [INFO ] Computed and/alt/rep : 1889/24472/1889 causal constraints in 106 ms.
[2021-05-07 20:18:10] [INFO ] Added : 500 causal constraints over 100 iterations in 23451 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 145 ms.
[2021-05-07 20:18:11] [INFO ] [Real]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-07 20:18:11] [INFO ] [Real]Absence check using 15 positive and 61 generalized place invariants in 38 ms returned sat
[2021-05-07 20:18:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 20:18:13] [INFO ] [Real]Absence check using state equation in 2372 ms returned sat
[2021-05-07 20:18:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 20:18:13] [INFO ] [Nat]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-07 20:18:13] [INFO ] [Nat]Absence check using 15 positive and 61 generalized place invariants in 35 ms returned sat
[2021-05-07 20:18:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 20:18:21] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 20:18:22] [INFO ] [Nat]Absence check using state equation in 9020 ms returned sat
[2021-05-07 20:18:22] [INFO ] Computed and/alt/rep : 1889/24472/1889 causal constraints in 104 ms.
[2021-05-07 20:18:42] [INFO ] Added : 470 causal constraints over 94 iterations in 19470 ms. Result :unknown
[2021-05-07 20:18:42] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 2 ms.
[2021-05-07 20:18:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 29 ms.
[2021-05-07 20:18:42] [INFO ] Flatten gal took : 252 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ ASLink-PT-10b @ 3569 seconds
check_solution: Constraint R1 = 6.93929931441e-310 is above its equality of -1
check_solution: Constraint R82 = 0 is above its equality of -1
check_solution: Constraint R133 = 0 is above its equality of -1
check_solution: Constraint R156 = 0 is above its equality of -1
check_solution: Constraint R205 = 0 is above its equality of -1
check_solution: Constraint R225 = 0 is above its equality of -1
check_solution: Constraint R274 = 0 is above its equality of -1
check_solution: Constraint R294 = 0 is above its equality of -1
check_solution: Constraint R300 = 0 is above its equality of -1
check_solution: Constraint R349 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)

FORMULA ASLink-PT-10b-ReachabilityCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-10b-ReachabilityCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 7503696 kB
After kill :
MemTotal: 16427332 kB
MemFree: 7625604 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-10b"
export BK_EXAMINATION="ReachabilityCardinality"
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-10b, examination is ReachabilityCardinality"
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-162038005900083"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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