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

About the Execution of ITS-LoLa for ASLink-PT-04b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15742.850 3600000.00 3726478.00 9590.70 F?FF?FFFFFF?TFFF normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r166-smll-158987787200067.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ASLink-PT-04b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787200067
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 3.7K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 669K Mar 24 05:37 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-04b-CTLCardinality-00
FORMULA_NAME ASLink-PT-04b-CTLCardinality-01
FORMULA_NAME ASLink-PT-04b-CTLCardinality-02
FORMULA_NAME ASLink-PT-04b-CTLCardinality-03
FORMULA_NAME ASLink-PT-04b-CTLCardinality-04
FORMULA_NAME ASLink-PT-04b-CTLCardinality-05
FORMULA_NAME ASLink-PT-04b-CTLCardinality-06
FORMULA_NAME ASLink-PT-04b-CTLCardinality-07
FORMULA_NAME ASLink-PT-04b-CTLCardinality-08
FORMULA_NAME ASLink-PT-04b-CTLCardinality-09
FORMULA_NAME ASLink-PT-04b-CTLCardinality-10
FORMULA_NAME ASLink-PT-04b-CTLCardinality-11
FORMULA_NAME ASLink-PT-04b-CTLCardinality-12
FORMULA_NAME ASLink-PT-04b-CTLCardinality-13
FORMULA_NAME ASLink-PT-04b-CTLCardinality-14
FORMULA_NAME ASLink-PT-04b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591190943968

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 13:29:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 13:29:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 13:29:07] [INFO ] Load time of PNML (sax parser for PT used): 360 ms
[2020-06-03 13:29:07] [INFO ] Transformed 2034 places.
[2020-06-03 13:29:07] [INFO ] Transformed 2567 transitions.
[2020-06-03 13:29:07] [INFO ] Found NUPN structural information;
[2020-06-03 13:29:07] [INFO ] Parsed PT model containing 2034 places and 2567 transitions in 478 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 210 ms.
Incomplete random walk after 100000 steps, including 230 resets, run finished after 864 ms. (steps per millisecond=115 ) properties seen :[0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1]
// Phase 1: matrix 2567 rows 2034 cols
[2020-06-03 13:29:09] [INFO ] Computed 199 place invariants in 427 ms
[2020-06-03 13:29:10] [INFO ] [Real]Absence check using 48 positive place invariants in 167 ms returned sat
[2020-06-03 13:29:10] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 325 ms returned sat
[2020-06-03 13:29:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:29:27] [INFO ] [Real]Absence check using state equation in 17234 ms returned sat
[2020-06-03 13:29:27] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:29:28] [INFO ] [Nat]Absence check using 48 positive place invariants in 237 ms returned sat
[2020-06-03 13:29:29] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 379 ms returned sat
[2020-06-03 13:29:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 13:29:45] [INFO ] [Nat]Absence check using state equation in 16786 ms returned sat
[2020-06-03 13:29:46] [INFO ] Deduced a trap composed of 22 places in 957 ms
[2020-06-03 13:29:48] [INFO ] Deduced a trap composed of 21 places in 1129 ms
[2020-06-03 13:29:48] [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 (> (+ s0 s1 s2 s870 s871 s872 s873 s874 s1196 s1197 s1203 s1207 s1208 s1245 s1248 s1249 s1250 s1251 s1252 s1253 s1254) 0)") while checking expression at index 0
[2020-06-03 13:29:48] [INFO ] [Real]Absence check using 48 positive place invariants in 147 ms returned sat
[2020-06-03 13:29:49] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 405 ms returned sat
[2020-06-03 13:29:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:30:04] [INFO ] [Real]Absence check using state equation in 15147 ms returned sat
[2020-06-03 13:30:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:30:05] [INFO ] [Nat]Absence check using 48 positive place invariants in 456 ms returned sat
[2020-06-03 13:30:05] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 247 ms returned sat
[2020-06-03 13:30:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 13:30:21] [INFO ] [Nat]Absence check using state equation in 15518 ms returned sat
[2020-06-03 13:30:23] [INFO ] Deduced a trap composed of 276 places in 2578 ms
[2020-06-03 13:30:26] [INFO ] Deduced a trap composed of 23 places in 2833 ms
[2020-06-03 13:30:26] [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 (> (+ s0 s1 s2 s3 s475 s476 s477 s478 s819 s820 s821 s822 s833 s839 s1203 s1204 s1205 s1206 s1207 s1208 s1209 s1249 s1250) 0)") while checking expression at index 1
[2020-06-03 13:30:27] [INFO ] [Real]Absence check using 48 positive place invariants in 191 ms returned sat
[2020-06-03 13:30:27] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 396 ms returned sat
[2020-06-03 13:30:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:30:45] [INFO ] [Real]Absence check using state equation in 17628 ms returned sat
[2020-06-03 13:30:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:30:46] [INFO ] [Nat]Absence check using 48 positive place invariants in 700 ms returned sat
[2020-06-03 13:30:47] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 250 ms returned sat
[2020-06-03 13:30:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 13:31:02] [INFO ] [Nat]Absence check using state equation in 15833 ms returned sat
[2020-06-03 13:31:05] [INFO ] Deduced a trap composed of 17 places in 2129 ms
[2020-06-03 13:31:07] [INFO ] Deduced a trap composed of 60 places in 2460 ms
[2020-06-03 13:31:07] [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 (> (+ s0 s1 s2 s3 s89 s90 s91 s92 s93 s94 s95 s96 s97 s98 s99 s100 s101 s102 s103 s104 s105 s106 s107 s108 s109 s110 s111 s112 s113 s114 s115 s116 s117 s118 s119 s120 s121 s122 s123 s124 s125 s126 s127 s475 s476 s477 s478 s479 s480 s481 s552 s579 s1768 s1769 s1770 s1771 s1772 s1773 s1774 s1794) 0)") while checking expression at index 2
[2020-06-03 13:31:08] [INFO ] [Real]Absence check using 48 positive place invariants in 135 ms returned sat
[2020-06-03 13:31:08] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 425 ms returned sat
[2020-06-03 13:31:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:31:26] [INFO ] [Real]Absence check using state equation in 17459 ms returned sat
[2020-06-03 13:31:26] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:31:27] [INFO ] [Nat]Absence check using 48 positive place invariants in 560 ms returned sat
[2020-06-03 13:31:27] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 406 ms returned sat
[2020-06-03 13:31:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 13:31:45] [INFO ] [Nat]Absence check using state equation in 18049 ms returned sat
[2020-06-03 13:31:46] [INFO ] Deduced a trap composed of 17 places in 397 ms
[2020-06-03 13:31:46] [INFO ] Deduced a trap composed of 35 places in 424 ms
[2020-06-03 13:31:46] [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 (> (+ s0 s1 s2 s3 s4 s5 s8 s9 s10 s11 s15 s19 s23 s27 s31 s35 s39 s43 s54 s161 s162 s164 s165 s167 s168 s170 s171 s173 s174 s176 s177 s179 s180 s182 s183) 0)") while checking expression at index 3
[2020-06-03 13:31:47] [INFO ] [Real]Absence check using 48 positive place invariants in 140 ms returned sat
[2020-06-03 13:31:47] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 325 ms returned sat
[2020-06-03 13:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:32:04] [INFO ] [Real]Absence check using state equation in 16409 ms returned sat
[2020-06-03 13:32:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:32:05] [INFO ] [Nat]Absence check using 48 positive place invariants in 344 ms returned sat
[2020-06-03 13:32:05] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 216 ms returned unsat
[2020-06-03 13:32:05] [INFO ] [Real]Absence check using 48 positive place invariants in 194 ms returned sat
[2020-06-03 13:32:06] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 414 ms returned sat
[2020-06-03 13:32:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:32:22] [INFO ] [Real]Absence check using state equation in 15792 ms returned sat
[2020-06-03 13:32:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:32:23] [INFO ] [Nat]Absence check using 48 positive place invariants in 711 ms returned sat
[2020-06-03 13:32:23] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 255 ms returned sat
[2020-06-03 13:32:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 13:32:39] [INFO ] [Nat]Absence check using state equation in 15884 ms returned sat
[2020-06-03 13:32:41] [INFO ] Deduced a trap composed of 17 places in 1933 ms
[2020-06-03 13:32:43] [INFO ] Deduced a trap composed of 20 places in 1596 ms
[2020-06-03 13:32:43] [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 (> (+ s0 s1 s1265 s1266 s1267 s1268 s1269 s1598 s1602 s1603 s1605 s1606 s1640 s1641 s1642 s1643 s1646 s1647 s1648 s1649) 0)") while checking expression at index 5
[2020-06-03 13:32:44] [INFO ] [Real]Absence check using 48 positive place invariants in 225 ms returned sat
[2020-06-03 13:32:44] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 290 ms returned sat
[2020-06-03 13:32:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:32:59] [INFO ] [Real]Absence check using state equation in 15303 ms returned sat
[2020-06-03 13:32:59] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:33:00] [INFO ] [Nat]Absence check using 48 positive place invariants in 667 ms returned sat
[2020-06-03 13:33:01] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 256 ms returned sat
[2020-06-03 13:33:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 13:33:16] [INFO ] [Nat]Absence check using state equation in 15746 ms returned sat
[2020-06-03 13:33:18] [INFO ] Deduced a trap composed of 38 places in 1888 ms
[2020-06-03 13:33:20] [INFO ] Deduced a trap composed of 65 places in 1843 ms
[2020-06-03 13:33:20] [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 (> (+ s0 s1 s2 s3 s89 s92 s93 s94 s95 s96 s97 s98 s99 s100 s101 s102 s103 s104 s105 s106 s107 s108 s109 s110 s111 s112 s113 s114 s115 s116 s117 s118 s119 s120 s121 s122 s123 s124 s125 s126 s127 s200 s201 s211 s212 s221 s405 s420 s421 s456 s457 s458 s461 s462 s463 s464 s475 s476 s477 s478 s479 s480 s481 s552 s579) 0)") while checking expression at index 6
[2020-06-03 13:33:21] [INFO ] [Real]Absence check using 48 positive place invariants in 217 ms returned sat
[2020-06-03 13:33:21] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 243 ms returned sat
[2020-06-03 13:33:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:33:37] [INFO ] [Real]Absence check using state equation in 15698 ms returned sat
[2020-06-03 13:33:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:33:38] [INFO ] [Nat]Absence check using 48 positive place invariants in 710 ms returned sat
[2020-06-03 13:33:39] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 248 ms returned sat
[2020-06-03 13:33:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 13:33:55] [INFO ] [Nat]Absence check using state equation in 16107 ms returned sat
[2020-06-03 13:33:57] [INFO ] Deduced a trap composed of 94 places in 2456 ms
[2020-06-03 13:33:57] [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 (> (+ s0 s1 s2 s3 s4 s80 s81 s82 s83 s84 s85 s185 s188 s191 s194 s197 s198 s199 s221 s222 s223 s224 s225 s226 s227 s233 s295 s313 s331 s350 s365 s384 s391 s401 s402 s406 s407 s444 s450 s451 s455 s458 s459 s460 s461 s462 s463 s464 s467 s470 s471 s472 s473 s812 s817 s827 s1207 s1212 s1222 s1591 s1592 s1602 s1603 s1640 s1643 s1644 s1645 s1646 s1647 s1648 s1649 s1664 s1665 s1692 s1782 s1783 s1785 s1786 s1788 s1789 s1791 s1792 s1793 s1794 s1970 s1971 s1978 s1979 s1986 s1987 s2016 s2017 s2024 s2025) 0)") while checking expression at index 7
[2020-06-03 13:33:58] [INFO ] [Real]Absence check using 48 positive place invariants in 143 ms returned sat
[2020-06-03 13:33:58] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 268 ms returned sat
[2020-06-03 13:33:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 13:34:14] [INFO ] [Real]Absence check using state equation in 16082 ms returned sat
[2020-06-03 13:34:14] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 13:34:16] [INFO ] [Nat]Absence check using 48 positive place invariants in 660 ms returned sat
[2020-06-03 13:34:16] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 260 ms returned sat
[2020-06-03 13:34:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 13:34:31] [INFO ] [Nat]Absence check using state equation in 15035 ms returned sat
[2020-06-03 13:34:33] [INFO ] Deduced a trap composed of 20 places in 2382 ms
[2020-06-03 13:34:36] [INFO ] Deduced a trap composed of 64 places in 2331 ms
[2020-06-03 13:34:36] [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 (> (+ s0 s1 s2 s3 s475 s476 s477 s478 s479 s480 s580 s583 s586 s589 s592 s593 s594 s614 s615 s616 s617 s618 s619 s620 s621 s622 s628 s665 s689 s708 s726 s745 s760 s779 s786 s801 s802 s815 s816 s839 s845 s846 s850 s853 s856 s859 s1207 s1212 s1214 s1215 s1216 s1217 s1223 s1224 s1225 s1226 s1227 s1228 s1229 s1230 s1231 s1232 s1233 s1234) 0)") while checking expression at index 8
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-03 13:34:37] [INFO ] Initial state reduction rules for CTL removed 10 formulas.
[2020-06-03 13:34:37] [INFO ] Flatten gal took : 473 ms
[2020-06-03 13:34:37] [INFO ] Initial state reduction rules for CTL removed 10 formulas.
[2020-06-03 13:34:37] [INFO ] Flatten gal took : 192 ms
FORMULA ASLink-PT-04b-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 13:34:37] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-03 13:34:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 28 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ ASLink-PT-04b @ 3570 seconds
check_solution: Variable C3906 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.90183304823e-310 is above its equality of -1
check_solution: Constraint R4 = 1e+30 is above its equality of 0
check_solution: Constraint R5 = 1e+30 is above its equality of 0
check_solution: Constraint R6 = 1e+30 is above its equality of 0
check_solution: Constraint R7 = 1e+30 is above its equality of 0
check_solution: Constraint R8 = 1e+30 is above its equality of 0
check_solution: Constraint R9 = 1e+30 is above its equality of 0
check_solution: Constraint R10 = 1e+30 is above its equality of 0
check_solution: Constraint R11 = 1e+30 is above its equality of 0

Seriously low accuracy found ||*|| = 1e+30 (rel. error 5e+29)

FORMULA ASLink-PT-04b-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-CTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-CTLCardinality-08 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: 14637584 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16132412 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-04b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is ASLink-PT-04b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787200067"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-04b.tgz
mv ASLink-PT-04b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;