About the Execution of ITS-LoLa for ASLink-PT-08b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15741.980 | 3600000.00 | 1608586.00 | 3083.20 | TTFTFTTFFFFTTTFT | 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-158987787300134.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-08b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787300134
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.9K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 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.2K 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 1.9K 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.2K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 25 08:58 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 1.2M 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-08b-ReachabilityCardinality-00
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-01
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-02
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-03
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-04
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-05
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-06
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-07
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-08
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-09
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-10
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-11
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-12
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-13
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-14
FORMULA_NAME ASLink-PT-08b-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1591277310400
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 13:28:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 13:28:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 13:28:33] [INFO ] Load time of PNML (sax parser for PT used): 397 ms
[2020-06-04 13:28:33] [INFO ] Transformed 3618 places.
[2020-06-04 13:28:33] [INFO ] Transformed 4459 transitions.
[2020-06-04 13:28:33] [INFO ] Found NUPN structural information;
[2020-06-04 13:28:33] [INFO ] Parsed PT model containing 3618 places and 4459 transitions in 533 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 203 ms.
Working with output stream class java.io.PrintStream
FORMULA ASLink-PT-08b-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-08b-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-08b-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-08b-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 15 resets, run finished after 152 ms. (steps per millisecond=65 ) properties seen :[0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0]
FORMULA ASLink-PT-08b-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08b-ReachabilityCardinality-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08b-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 37 ms. (steps per millisecond=270 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 36 ms. (steps per millisecond=277 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 28 ms. (steps per millisecond=357 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 52 ms. (steps per millisecond=192 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 28 ms. (steps per millisecond=357 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 26 ms. (steps per millisecond=384 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 26 ms. (steps per millisecond=384 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 24 ms. (steps per millisecond=416 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 4459 rows 3618 cols
[2020-06-04 13:28:34] [INFO ] Computed 355 place invariants in 443 ms
[2020-06-04 13:28:35] [INFO ] [Real]Absence check using 83 positive place invariants in 395 ms returned sat
[2020-06-04 13:28:36] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 928 ms returned sat
[2020-06-04 13:28:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:28:39] [INFO ] [Real]Absence check using state equation in 2804 ms returned (error "Solver has unexpectedly terminated")
[2020-06-04 13:28:40] [INFO ] [Real]Absence check using 83 positive place invariants in 335 ms returned sat
[2020-06-04 13:28:41] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 886 ms returned sat
[2020-06-04 13:28:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:28:44] [INFO ] [Real]Absence check using state equation in 2829 ms returned (error "Solver has unexpectedly terminated")
[2020-06-04 13:28:46] [INFO ] [Real]Absence check using 83 positive place invariants in 553 ms returned sat
[2020-06-04 13:28:47] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 897 ms returned sat
[2020-06-04 13:28:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:28:49] [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: Broken pipe (= s214 (- (+ t4428 t4429) t1799))") while checking expression at index 2
[2020-06-04 13:28:50] [INFO ] [Real]Absence check using 83 positive place invariants in 341 ms returned sat
[2020-06-04 13:28:51] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 858 ms returned sat
[2020-06-04 13:28:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:28:54] [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 (= s272 (- t1902 t2155))") while checking expression at index 3
[2020-06-04 13:28:55] [INFO ] [Real]Absence check using 83 positive place invariants in 332 ms returned sat
[2020-06-04 13:28:57] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 1096 ms returned sat
[2020-06-04 13:28:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:28:59] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:28:59] [INFO ] [Real]Absence check using state equation in 2602 ms returned (error "Failed to check-sat")
[2020-06-04 13:29:00] [INFO ] [Real]Absence check using 83 positive place invariants in 326 ms returned sat
[2020-06-04 13:29:01] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 750 ms returned sat
[2020-06-04 13:29:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:29:04] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:29:04] [INFO ] [Real]Absence check using state equation in 2991 ms returned (error "Failed to check-sat")
[2020-06-04 13:29:05] [INFO ] [Real]Absence check using 83 positive place invariants in 333 ms returned sat
[2020-06-04 13:29:06] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 854 ms returned sat
[2020-06-04 13:29:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:29:09] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:29:09] [INFO ] [Real]Absence check using state equation in 2895 ms returned (error "Failed to check-sat")
[2020-06-04 13:29:10] [INFO ] [Real]Absence check using 83 positive place invariants in 328 ms returned sat
[2020-06-04 13:29:11] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 737 ms returned sat
[2020-06-04 13:29:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:29:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:29:14] [INFO ] [Real]Absence check using state equation in 3239 ms returned (error "Failed to check-sat")
[2020-06-04 13:29:16] [INFO ] [Real]Absence check using 83 positive place invariants in 467 ms returned sat
[2020-06-04 13:29:17] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 1080 ms returned sat
[2020-06-04 13:29:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:29:19] [INFO ] [Real]Absence check using state equation in 2508 ms returned (error "Solver has unexpectedly terminated")
Support contains 31 out of 3618 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3618/3618 places, 4459/4459 transitions.
Performed 832 Post agglomeration using F-continuation condition.Transition count delta: 832
Iterating post reduction 0 with 832 rules applied. Total rules applied 832 place count 3618 transition count 3627
Reduce places removed 832 places and 0 transitions.
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 1 with 870 rules applied. Total rules applied 1702 place count 2786 transition count 3589
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 1712 place count 2776 transition count 3589
Performed 826 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 826 Pre rules applied. Total rules applied 1712 place count 2776 transition count 2763
Deduced a syphon composed of 826 places in 31 ms
Ensure Unique test removed 77 places
Reduce places removed 903 places and 0 transitions.
Iterating global reduction 3 with 1729 rules applied. Total rules applied 3441 place count 1873 transition count 2763
Discarding 12 places :
Implicit places reduction removed 12 places
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Iterating post reduction 3 with 61 rules applied. Total rules applied 3502 place count 1861 transition count 2714
Reduce places removed 49 places and 0 transitions.
Iterating post reduction 4 with 49 rules applied. Total rules applied 3551 place count 1812 transition count 2714
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 30 Pre rules applied. Total rules applied 3551 place count 1812 transition count 2684
Deduced a syphon composed of 30 places in 31 ms
Ensure Unique test removed 29 places
Reduce places removed 59 places and 0 transitions.
Iterating global reduction 5 with 89 rules applied. Total rules applied 3640 place count 1753 transition count 2684
Performed 29 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 29 Pre rules applied. Total rules applied 3640 place count 1753 transition count 2655
Deduced a syphon composed of 29 places in 28 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 5 with 58 rules applied. Total rules applied 3698 place count 1724 transition count 2655
Symmetric choice reduction at 5 with 115 rule applications. Total rules 3813 place count 1724 transition count 2655
Deduced a syphon composed of 115 places in 9 ms
Reduce places removed 115 places and 115 transitions.
Iterating global reduction 5 with 230 rules applied. Total rules applied 4043 place count 1609 transition count 2540
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 4044 place count 1609 transition count 2539
Performed 37 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 37 Pre rules applied. Total rules applied 4044 place count 1609 transition count 2502
Deduced a syphon composed of 37 places in 8 ms
Ensure Unique test removed 1 places
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 6 with 75 rules applied. Total rules applied 4119 place count 1571 transition count 2502
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 4119 place count 1571 transition count 2501
Deduced a syphon composed of 1 places in 8 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 3 rules applied. Total rules applied 4122 place count 1569 transition count 2501
Symmetric choice reduction at 6 with 9 rule applications. Total rules 4131 place count 1569 transition count 2501
Deduced a syphon composed of 9 places in 8 ms
Reduce places removed 9 places and 57 transitions.
Iterating global reduction 6 with 18 rules applied. Total rules applied 4149 place count 1560 transition count 2444
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 8 Pre rules applied. Total rules applied 4149 place count 1560 transition count 2436
Deduced a syphon composed of 8 places in 8 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 6 with 16 rules applied. Total rules applied 4165 place count 1552 transition count 2436
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4166 place count 1552 transition count 2436
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4168 place count 1551 transition count 2428
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4169 place count 1551 transition count 2428
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4171 place count 1550 transition count 2420
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4172 place count 1550 transition count 2420
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4174 place count 1549 transition count 2412
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4175 place count 1549 transition count 2412
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4177 place count 1548 transition count 2404
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4178 place count 1548 transition count 2404
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4180 place count 1547 transition count 2396
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4181 place count 1547 transition count 2396
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4183 place count 1546 transition count 2388
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4184 place count 1546 transition count 2388
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4186 place count 1545 transition count 2380
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4187 place count 1545 transition count 2380
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4189 place count 1544 transition count 2372
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4190 place count 1544 transition count 2372
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4192 place count 1543 transition count 2364
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4193 place count 1543 transition count 2364
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4195 place count 1542 transition count 2356
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4196 place count 1542 transition count 2356
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4198 place count 1541 transition count 2348
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4199 place count 1541 transition count 2348
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4201 place count 1540 transition count 2340
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4202 place count 1540 transition count 2340
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4204 place count 1539 transition count 2332
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4205 place count 1539 transition count 2332
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4207 place count 1538 transition count 2324
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4208 place count 1538 transition count 2324
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4210 place count 1537 transition count 2316
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4211 place count 1537 transition count 2316
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4213 place count 1536 transition count 2308
Performed 212 Post agglomeration using F-continuation condition.Transition count delta: 212
Deduced a syphon composed of 212 places in 6 ms
Ensure Unique test removed 2 places
Reduce places removed 214 places and 0 transitions.
Iterating global reduction 6 with 426 rules applied. Total rules applied 4639 place count 1322 transition count 2096
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4640 place count 1322 transition count 2096
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4642 place count 1321 transition count 2095
Ensure Unique test removed 1 places
Iterating post reduction 6 with 1 rules applied. Total rules applied 4643 place count 1320 transition count 2095
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4644 place count 1320 transition count 2095
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 4646 place count 1319 transition count 2094
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 7 with 2 rules applied. Total rules applied 4648 place count 1319 transition count 2092
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 4649 place count 1318 transition count 2092
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 4651 place count 1317 transition count 2101
Free-agglomeration rule applied 11 times.
Iterating global reduction 9 with 11 rules applied. Total rules applied 4662 place count 1317 transition count 2090
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 9 with 11 rules applied. Total rules applied 4673 place count 1306 transition count 2090
Free-agglomeration rule (complex) applied 10 times.
Iterating global reduction 10 with 10 rules applied. Total rules applied 4683 place count 1306 transition count 2080
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 10 with 10 rules applied. Total rules applied 4693 place count 1296 transition count 2080
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 4694 place count 1295 transition count 2079
Reduce places removed 5 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 11 with 7 rules applied. Total rules applied 4701 place count 1290 transition count 2077
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 12 with 2 rules applied. Total rules applied 4703 place count 1288 transition count 2077
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 7 Pre rules applied. Total rules applied 4703 place count 1288 transition count 2070
Deduced a syphon composed of 7 places in 5 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 13 with 14 rules applied. Total rules applied 4717 place count 1281 transition count 2070
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 13 with 3 rules applied. Total rules applied 4720 place count 1278 transition count 2070
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 6 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 14 with 12 rules applied. Total rules applied 4732 place count 1272 transition count 2064
Symmetric choice reduction at 14 with 3 rule applications. Total rules 4735 place count 1272 transition count 2064
Deduced a syphon composed of 3 places in 5 ms
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 14 with 6 rules applied. Total rules applied 4741 place count 1269 transition count 2061
Free-agglomeration rule applied 3 times.
Iterating global reduction 14 with 3 rules applied. Total rules applied 4744 place count 1269 transition count 2058
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 14 with 3 rules applied. Total rules applied 4747 place count 1266 transition count 2058
Applied a total of 4747 rules in 4070 ms. Remains 1266 /3618 variables (removed 2352) and now considering 2058/4459 (removed 2401) transitions.
Finished structural reductions, in 1 iterations. Remains : 1266/3618 places, 2058/4459 transitions.
Incomplete random walk after 1000000 steps, including 9373 resets, run finished after 6218 ms. (steps per millisecond=160 ) properties seen :[0, 0, 1, 0, 0, 1, 0, 0, 0]
FORMULA ASLink-PT-08b-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08b-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 1336 resets, run finished after 2073 ms. (steps per millisecond=482 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1430 resets, run finished after 2243 ms. (steps per millisecond=445 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1311 resets, run finished after 2335 ms. (steps per millisecond=428 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1465 resets, run finished after 2065 ms. (steps per millisecond=484 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1363 resets, run finished after 2198 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1586 resets, run finished after 1803 ms. (steps per millisecond=554 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1470 resets, run finished after 2049 ms. (steps per millisecond=488 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2058 rows 1266 cols
[2020-06-04 13:29:45] [INFO ] Computed 224 place invariants in 299 ms
[2020-06-04 13:29:45] [INFO ] [Real]Absence check using 59 positive place invariants in 97 ms returned sat
[2020-06-04 13:29:45] [INFO ] [Real]Absence check using 59 positive and 165 generalized place invariants in 184 ms returned sat
[2020-06-04 13:29:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:29:52] [INFO ] [Real]Absence check using state equation in 6686 ms returned sat
[2020-06-04 13:29:52] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:29:52] [INFO ] [Nat]Absence check using 59 positive place invariants in 113 ms returned sat
[2020-06-04 13:29:52] [INFO ] [Nat]Absence check using 59 positive and 165 generalized place invariants in 165 ms returned sat
[2020-06-04 13:29:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:30:00] [INFO ] [Nat]Absence check using state equation in 7985 ms returned sat
[2020-06-04 13:30:00] [INFO ] State equation strengthened by 36 read => feed constraints.
[2020-06-04 13:30:01] [INFO ] [Nat]Added 36 Read/Feed constraints in 683 ms returned sat
[2020-06-04 13:30:02] [INFO ] Computed and/alt/rep : 2036/22884/2036 causal constraints in 320 ms.
[2020-06-04 13:30:21] [INFO ] Added : 410 causal constraints over 82 iterations in 20124 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 104 ms.
[2020-06-04 13:30:22] [INFO ] [Real]Absence check using 59 positive place invariants in 160 ms returned sat
[2020-06-04 13:30:23] [INFO ] [Real]Absence check using 59 positive and 165 generalized place invariants in 313 ms returned sat
[2020-06-04 13:30:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:30:32] [INFO ] [Real]Absence check using state equation in 8872 ms returned sat
[2020-06-04 13:30:32] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:30:32] [INFO ] [Nat]Absence check using 59 positive place invariants in 241 ms returned sat
[2020-06-04 13:30:33] [INFO ] [Nat]Absence check using 59 positive and 165 generalized place invariants in 270 ms returned unsat
[2020-06-04 13:30:33] [INFO ] [Real]Absence check using 59 positive place invariants in 164 ms returned sat
[2020-06-04 13:30:33] [INFO ] [Real]Absence check using 59 positive and 165 generalized place invariants in 302 ms returned sat
[2020-06-04 13:30:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:30:41] [INFO ] [Real]Absence check using state equation in 7827 ms returned sat
[2020-06-04 13:30:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:30:42] [INFO ] [Nat]Absence check using 59 positive place invariants in 251 ms returned sat
[2020-06-04 13:30:42] [INFO ] [Nat]Absence check using 59 positive and 165 generalized place invariants in 292 ms returned sat
[2020-06-04 13:30:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:30:50] [INFO ] [Nat]Absence check using state equation in 8050 ms returned sat
[2020-06-04 13:30:50] [INFO ] [Nat]Added 36 Read/Feed constraints in 338 ms returned sat
[2020-06-04 13:30:51] [INFO ] Computed and/alt/rep : 2036/22884/2036 causal constraints in 179 ms.
[2020-06-04 13:31:11] [INFO ] Added : 355 causal constraints over 71 iterations in 20230 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 71 ms.
[2020-06-04 13:31:11] [INFO ] [Real]Absence check using 59 positive place invariants in 106 ms returned sat
[2020-06-04 13:31:12] [INFO ] [Real]Absence check using 59 positive and 165 generalized place invariants in 299 ms returned sat
[2020-06-04 13:31:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:31:20] [INFO ] [Real]Absence check using state equation in 7912 ms returned sat
[2020-06-04 13:31:20] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:31:20] [INFO ] [Nat]Absence check using 59 positive place invariants in 243 ms returned sat
[2020-06-04 13:31:21] [INFO ] [Nat]Absence check using 59 positive and 165 generalized place invariants in 276 ms returned sat
[2020-06-04 13:31:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:31:28] [INFO ] [Nat]Absence check using state equation in 7679 ms returned sat
[2020-06-04 13:31:28] [INFO ] [Nat]Added 36 Read/Feed constraints in 225 ms returned sat
[2020-06-04 13:31:29] [INFO ] Computed and/alt/rep : 2036/22884/2036 causal constraints in 264 ms.
[2020-06-04 13:31:49] [INFO ] Added : 370 causal constraints over 74 iterations in 20149 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 83 ms.
[2020-06-04 13:31:49] [INFO ] [Real]Absence check using 59 positive place invariants in 95 ms returned sat
[2020-06-04 13:31:50] [INFO ] [Real]Absence check using 59 positive and 165 generalized place invariants in 197 ms returned sat
[2020-06-04 13:31:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:31:57] [INFO ] [Real]Absence check using state equation in 7239 ms returned sat
[2020-06-04 13:31:57] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:31:58] [INFO ] [Nat]Absence check using 59 positive place invariants in 243 ms returned sat
[2020-06-04 13:31:58] [INFO ] [Nat]Absence check using 59 positive and 165 generalized place invariants in 309 ms returned sat
[2020-06-04 13:31:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:32:05] [INFO ] [Nat]Absence check using state equation in 7098 ms returned sat
[2020-06-04 13:32:05] [INFO ] [Nat]Added 36 Read/Feed constraints in 283 ms returned sat
[2020-06-04 13:32:06] [INFO ] Computed and/alt/rep : 2036/22884/2036 causal constraints in 180 ms.
[2020-06-04 13:32:26] [INFO ] Added : 425 causal constraints over 85 iterations in 20897 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 115 ms.
[2020-06-04 13:32:27] [INFO ] [Real]Absence check using 59 positive place invariants in 92 ms returned sat
[2020-06-04 13:32:27] [INFO ] [Real]Absence check using 59 positive and 165 generalized place invariants in 187 ms returned sat
[2020-06-04 13:32:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:32:35] [INFO ] [Real]Absence check using state equation in 8043 ms returned sat
[2020-06-04 13:32:35] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:32:36] [INFO ] [Nat]Absence check using 59 positive place invariants in 151 ms returned sat
[2020-06-04 13:32:36] [INFO ] [Nat]Absence check using 59 positive and 165 generalized place invariants in 186 ms returned sat
[2020-06-04 13:32:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:32:42] [INFO ] [Nat]Absence check using state equation in 6525 ms returned sat
[2020-06-04 13:32:43] [INFO ] [Nat]Added 36 Read/Feed constraints in 357 ms returned sat
[2020-06-04 13:32:43] [INFO ] Computed and/alt/rep : 2036/22884/2036 causal constraints in 233 ms.
[2020-06-04 13:33:03] [INFO ] Added : 340 causal constraints over 68 iterations in 20387 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 75 ms.
[2020-06-04 13:33:04] [INFO ] [Real]Absence check using 59 positive place invariants in 144 ms returned sat
[2020-06-04 13:33:04] [INFO ] [Real]Absence check using 59 positive and 165 generalized place invariants in 285 ms returned sat
[2020-06-04 13:33:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:33:12] [INFO ] [Real]Absence check using state equation in 7441 ms returned sat
[2020-06-04 13:33:12] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:33:12] [INFO ] [Nat]Absence check using 59 positive place invariants in 244 ms returned sat
[2020-06-04 13:33:13] [INFO ] [Nat]Absence check using 59 positive and 165 generalized place invariants in 276 ms returned sat
[2020-06-04 13:33:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:33:20] [INFO ] [Nat]Absence check using state equation in 7098 ms returned sat
[2020-06-04 13:33:22] [INFO ] [Nat]Added 36 Read/Feed constraints in 2319 ms returned sat
[2020-06-04 13:33:22] [INFO ] Computed and/alt/rep : 2036/22884/2036 causal constraints in 257 ms.
[2020-06-04 13:33:42] [INFO ] Added : 390 causal constraints over 78 iterations in 20302 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 119 ms.
FORMULA ASLink-PT-08b-ReachabilityCardinality-01 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Incomplete Parikh walk after 971900 steps, including 12140 resets, run finished after 6295 ms. (steps per millisecond=154 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1321300 steps, including 16192 resets, run finished after 8330 ms. (steps per millisecond=158 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1457800 steps, including 17965 resets, run finished after 9185 ms. (steps per millisecond=158 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1388500 steps, including 17032 resets, run finished after 8845 ms. (steps per millisecond=156 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1110200 steps, including 13742 resets, run finished after 7604 ms. (steps per millisecond=146 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1942100 steps, including 23806 resets, run finished after 12357 ms. (steps per millisecond=157 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Support contains 22 out of 1266 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1266/1266 places, 2058/2058 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 1266 transition count 2054
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 1262 transition count 2054
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 8 place count 1262 transition count 2051
Deduced a syphon composed of 3 places in 5 ms
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 7 rules applied. Total rules applied 15 place count 1258 transition count 2051
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 19 place count 1256 transition count 2049
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 20 place count 1256 transition count 2049
Applied a total of 20 rules in 149 ms. Remains 1256 /1266 variables (removed 10) and now considering 2049/2058 (removed 9) transitions.
Finished structural reductions, in 1 iterations. Remains : 1256/1266 places, 2049/2058 transitions.
Incomplete random walk after 1000000 steps, including 9424 resets, run finished after 6229 ms. (steps per millisecond=160 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1347 resets, run finished after 2435 ms. (steps per millisecond=410 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1331 resets, run finished after 2699 ms. (steps per millisecond=370 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1472 resets, run finished after 2411 ms. (steps per millisecond=414 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1391 resets, run finished after 2191 ms. (steps per millisecond=456 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1587 resets, run finished after 1815 ms. (steps per millisecond=550 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1489 resets, run finished after 2394 ms. (steps per millisecond=417 ) properties seen :[0, 0, 0, 0, 0, 0]
Interrupted probabilistic random walk after 2145288 steps, run timeout after 30001 ms. (steps per millisecond=71 ) properties seen :[0, 0, 0, 0, 0, 0]
Probabilistic random walk after 2145288 steps, saw 364479 distinct states, run finished after 30001 ms. (steps per millisecond=71 ) properties seen :[0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2049 rows 1256 cols
[2020-06-04 13:35:26] [INFO ] Computed 223 place invariants in 170 ms
[2020-06-04 13:35:26] [INFO ] [Real]Absence check using 59 positive place invariants in 92 ms returned sat
[2020-06-04 13:35:26] [INFO ] [Real]Absence check using 59 positive and 164 generalized place invariants in 176 ms returned sat
[2020-06-04 13:35:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:35:33] [INFO ] [Real]Absence check using state equation in 6852 ms returned sat
[2020-06-04 13:35:33] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:35:34] [INFO ] [Nat]Absence check using 59 positive place invariants in 138 ms returned sat
[2020-06-04 13:35:34] [INFO ] [Nat]Absence check using 59 positive and 164 generalized place invariants in 185 ms returned sat
[2020-06-04 13:35:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:35:41] [INFO ] [Nat]Absence check using state equation in 7004 ms returned sat
[2020-06-04 13:35:41] [INFO ] State equation strengthened by 39 read => feed constraints.
[2020-06-04 13:35:41] [INFO ] [Nat]Added 39 Read/Feed constraints in 306 ms returned sat
[2020-06-04 13:35:42] [INFO ] Computed and/alt/rep : 2027/22924/2027 causal constraints in 226 ms.
[2020-06-04 13:36:02] [INFO ] Added : 415 causal constraints over 83 iterations in 20480 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 158 ms.
[2020-06-04 13:36:03] [INFO ] [Real]Absence check using 59 positive place invariants in 146 ms returned sat
[2020-06-04 13:36:03] [INFO ] [Real]Absence check using 59 positive and 164 generalized place invariants in 293 ms returned sat
[2020-06-04 13:36:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:36:11] [INFO ] [Real]Absence check using state equation in 7608 ms returned sat
[2020-06-04 13:36:11] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:36:11] [INFO ] [Nat]Absence check using 59 positive place invariants in 88 ms returned sat
[2020-06-04 13:36:11] [INFO ] [Nat]Absence check using 59 positive and 164 generalized place invariants in 188 ms returned sat
[2020-06-04 13:36:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:36:19] [INFO ] [Nat]Absence check using state equation in 7190 ms returned sat
[2020-06-04 13:36:19] [INFO ] [Nat]Added 39 Read/Feed constraints in 60 ms returned sat
[2020-06-04 13:36:19] [INFO ] Deduced a trap composed of 18 places in 136 ms
[2020-06-04 13:36:19] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 325 ms
[2020-06-04 13:36:19] [INFO ] Computed and/alt/rep : 2027/22924/2027 causal constraints in 234 ms.
[2020-06-04 13:36:39] [INFO ] Added : 370 causal constraints over 74 iterations in 20144 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 116 ms.
[2020-06-04 13:36:40] [INFO ] [Real]Absence check using 59 positive place invariants in 88 ms returned sat
[2020-06-04 13:36:40] [INFO ] [Real]Absence check using 59 positive and 164 generalized place invariants in 175 ms returned sat
[2020-06-04 13:36:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:36:47] [INFO ] [Real]Absence check using state equation in 7068 ms returned sat
[2020-06-04 13:36:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:36:47] [INFO ] [Nat]Absence check using 59 positive place invariants in 82 ms returned sat
[2020-06-04 13:36:48] [INFO ] [Nat]Absence check using 59 positive and 164 generalized place invariants in 179 ms returned sat
[2020-06-04 13:36:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:36:54] [INFO ] [Nat]Absence check using state equation in 6646 ms returned sat
[2020-06-04 13:36:55] [INFO ] [Nat]Added 39 Read/Feed constraints in 520 ms returned sat
[2020-06-04 13:36:55] [INFO ] Deduced a trap composed of 26 places in 199 ms
[2020-06-04 13:36:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 339 ms
[2020-06-04 13:36:55] [INFO ] Computed and/alt/rep : 2027/22924/2027 causal constraints in 151 ms.
[2020-06-04 13:37:16] [INFO ] Added : 380 causal constraints over 76 iterations in 20848 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 141 ms.
[2020-06-04 13:37:17] [INFO ] [Real]Absence check using 59 positive place invariants in 91 ms returned sat
[2020-06-04 13:37:17] [INFO ] [Real]Absence check using 59 positive and 164 generalized place invariants in 185 ms returned sat
[2020-06-04 13:37:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:37:24] [INFO ] [Real]Absence check using state equation in 6971 ms returned sat
[2020-06-04 13:37:24] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:37:24] [INFO ] [Nat]Absence check using 59 positive place invariants in 84 ms returned sat
[2020-06-04 13:37:25] [INFO ] [Nat]Absence check using 59 positive and 164 generalized place invariants in 190 ms returned sat
[2020-06-04 13:37:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:37:31] [INFO ] [Nat]Absence check using state equation in 6855 ms returned sat
[2020-06-04 13:37:32] [INFO ] [Nat]Added 39 Read/Feed constraints in 75 ms returned sat
[2020-06-04 13:37:32] [INFO ] Deduced a trap composed of 40 places in 660 ms
[2020-06-04 13:37:33] [INFO ] Deduced a trap composed of 36 places in 511 ms
[2020-06-04 13:37:33] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1464 ms
[2020-06-04 13:37:33] [INFO ] Computed and/alt/rep : 2027/22924/2027 causal constraints in 276 ms.
[2020-06-04 13:37:54] [INFO ] Added : 460 causal constraints over 92 iterations in 20568 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 103 ms.
[2020-06-04 13:37:54] [INFO ] [Real]Absence check using 59 positive place invariants in 90 ms returned sat
[2020-06-04 13:37:55] [INFO ] [Real]Absence check using 59 positive and 164 generalized place invariants in 181 ms returned sat
[2020-06-04 13:37:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:38:02] [INFO ] [Real]Absence check using state equation in 7310 ms returned sat
[2020-06-04 13:38:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:38:02] [INFO ] [Nat]Absence check using 59 positive place invariants in 83 ms returned sat
[2020-06-04 13:38:03] [INFO ] [Nat]Absence check using 59 positive and 164 generalized place invariants in 172 ms returned sat
[2020-06-04 13:38:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:38:10] [INFO ] [Nat]Absence check using state equation in 7079 ms returned sat
[2020-06-04 13:38:10] [INFO ] [Nat]Added 39 Read/Feed constraints in 324 ms returned sat
[2020-06-04 13:38:10] [INFO ] Deduced a trap composed of 39 places in 406 ms
[2020-06-04 13:38:11] [INFO ] Deduced a trap composed of 21 places in 418 ms
[2020-06-04 13:38:11] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1080 ms
[2020-06-04 13:38:11] [INFO ] Computed and/alt/rep : 2027/22924/2027 causal constraints in 225 ms.
[2020-06-04 13:38:31] [INFO ] Added : 350 causal constraints over 70 iterations in 20262 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 125 ms.
[2020-06-04 13:38:32] [INFO ] [Real]Absence check using 59 positive place invariants in 125 ms returned sat
[2020-06-04 13:38:32] [INFO ] [Real]Absence check using 59 positive and 164 generalized place invariants in 172 ms returned sat
[2020-06-04 13:38:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:38:39] [INFO ] [Real]Absence check using state equation in 6903 ms returned sat
[2020-06-04 13:38:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:38:40] [INFO ] [Nat]Absence check using 59 positive place invariants in 140 ms returned sat
[2020-06-04 13:38:40] [INFO ] [Nat]Absence check using 59 positive and 164 generalized place invariants in 249 ms returned sat
[2020-06-04 13:38:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:38:46] [INFO ] [Nat]Absence check using state equation in 6466 ms returned sat
[2020-06-04 13:38:47] [INFO ] [Nat]Added 39 Read/Feed constraints in 233 ms returned sat
[2020-06-04 13:38:47] [INFO ] Computed and/alt/rep : 2027/22924/2027 causal constraints in 240 ms.
[2020-06-04 13:39:08] [INFO ] Added : 415 causal constraints over 83 iterations in 21637 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 91 ms.
Incomplete Parikh walk after 1884500 steps, including 22940 resets, run finished after 12974 ms. (steps per millisecond=145 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1127400 steps, including 13962 resets, run finished after 7097 ms. (steps per millisecond=158 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1219900 steps, including 14954 resets, run finished after 8317 ms. (steps per millisecond=146 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 2037200 steps, including 24762 resets, run finished after 13560 ms. (steps per millisecond=150 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 2814900 steps, including 34057 resets, run finished after 17835 ms. (steps per millisecond=157 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1995200 steps, including 24346 resets, run finished after 12791 ms. (steps per millisecond=155 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Support contains 22 out of 1256 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1256/1256 places, 2049/2049 transitions.
Applied a total of 0 rules in 52 ms. Remains 1256 /1256 variables (removed 0) and now considering 2049/2049 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1256/1256 places, 2049/2049 transitions.
Starting structural reductions, iteration 0 : 1256/1256 places, 2049/2049 transitions.
Applied a total of 0 rules in 46 ms. Remains 1256 /1256 variables (removed 0) and now considering 2049/2049 (removed 0) transitions.
// Phase 1: matrix 2049 rows 1256 cols
[2020-06-04 13:40:22] [INFO ] Computed 223 place invariants in 53 ms
[2020-06-04 13:40:28] [INFO ] Implicit Places using invariants in 6728 ms returned [3, 20, 21, 24, 34, 51, 69, 106, 153, 166, 167, 168, 169, 171, 188, 207, 291, 304, 305, 306, 307, 309, 326, 344, 427, 440, 441, 442, 443, 445, 463, 481, 553, 567, 580, 582, 583, 585, 602, 620, 702, 715, 716, 717, 719, 739, 757, 832, 848, 849, 851, 868, 886, 957, 961, 962, 973, 974, 976, 994, 1012, 1081, 1085, 1086, 1089, 1100, 1102, 1103, 1121, 1123, 1127, 1145, 1146, 1147, 1148, 1160, 1166, 1172, 1178, 1184, 1190, 1196, 1202, 1208, 1214, 1220]
Discarding 86 places :
Implicit Place search using SMT only with invariants took 6735 ms to find 86 implicit places.
[2020-06-04 13:40:29] [INFO ] Redundant transitions in 338 ms returned []
// Phase 1: matrix 2049 rows 1170 cols
[2020-06-04 13:40:29] [INFO ] Computed 137 place invariants in 59 ms
[2020-06-04 13:40:38] [INFO ] Dead Transitions using invariants and state equation in 9515 ms returned []
Starting structural reductions, iteration 1 : 1170/1256 places, 2049/2049 transitions.
Performed 144 Post agglomeration using F-continuation condition.Transition count delta: 144
Iterating post reduction 0 with 144 rules applied. Total rules applied 144 place count 1170 transition count 1905
Reduce places removed 144 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 145 rules applied. Total rules applied 289 place count 1026 transition count 1904
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 51 Pre rules applied. Total rules applied 289 place count 1026 transition count 1853
Deduced a syphon composed of 51 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 52 places and 0 transitions.
Iterating global reduction 2 with 103 rules applied. Total rules applied 392 place count 974 transition count 1853
Discarding 14 places :
Implicit places reduction removed 14 places
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 2 with 30 rules applied. Total rules applied 422 place count 960 transition count 1837
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 3 with 16 rules applied. Total rules applied 438 place count 944 transition count 1837
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 438 place count 944 transition count 1836
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 440 place count 943 transition count 1836
Symmetric choice reduction at 4 with 15 rule applications. Total rules 455 place count 943 transition count 1836
Deduced a syphon composed of 15 places in 4 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 485 place count 928 transition count 1821
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 488 place count 928 transition count 1818
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 488 place count 928 transition count 1817
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 490 place count 927 transition count 1817
Symmetric choice reduction at 5 with 3 rule applications. Total rules 493 place count 927 transition count 1817
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 6 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 499 place count 924 transition count 1811
Symmetric choice reduction at 5 with 1 rule applications. Total rules 500 place count 924 transition count 1811
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 502 place count 923 transition count 1810
Symmetric choice reduction at 5 with 1 rule applications. Total rules 503 place count 923 transition count 1810
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 505 place count 922 transition count 1808
Performed 67 Post agglomeration using F-continuation condition.Transition count delta: 67
Deduced a syphon composed of 67 places in 4 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 5 with 134 rules applied. Total rules applied 639 place count 855 transition count 1741
Symmetric choice reduction at 5 with 6 rule applications. Total rules 645 place count 855 transition count 1741
Deduced a syphon composed of 6 places in 6 ms
Reduce places removed 6 places and 6 transitions.
Iterating global reduction 5 with 12 rules applied. Total rules applied 657 place count 849 transition count 1735
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 663 place count 849 transition count 1729
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 8 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 667 place count 847 transition count 1730
Free-agglomeration rule applied 5 times.
Iterating global reduction 6 with 5 rules applied. Total rules applied 672 place count 847 transition count 1725
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 680 place count 842 transition count 1722
Free-agglomeration rule (complex) applied 28 times.
Iterating global reduction 7 with 28 rules applied. Total rules applied 708 place count 842 transition count 1694
Ensure Unique test removed 1 places
Reduce places removed 29 places and 0 transitions.
Iterating post reduction 7 with 29 rules applied. Total rules applied 737 place count 813 transition count 1694
Partial Free-agglomeration rule applied 24 times.
Drop transitions removed 24 transitions
Iterating global reduction 8 with 24 rules applied. Total rules applied 761 place count 813 transition count 1694
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 762 place count 813 transition count 1694
Drop transitions removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 8 with 3 rules applied. Total rules applied 765 place count 813 transition count 1691
Applied a total of 765 rules in 937 ms. Remains 813 /1170 variables (removed 357) and now considering 1691/2049 (removed 358) transitions.
// Phase 1: matrix 1691 rows 813 cols
[2020-06-04 13:40:39] [INFO ] Computed 121 place invariants in 28 ms
[2020-06-04 13:40:43] [INFO ] Implicit Places using invariants in 3499 ms returned [74, 93, 99, 102, 104, 107, 108, 162, 180, 186, 189, 191, 192, 197, 198, 251, 269, 275, 278, 282, 287, 288, 358, 364, 367, 384, 385, 438, 456, 462, 465, 467, 468, 473, 474, 553, 560, 563, 566, 569, 577, 578, 632, 650, 656, 659, 661, 666, 667, 720, 737, 743, 746, 748]
Discarding 54 places :
Implicit Place search using SMT only with invariants took 3506 ms to find 54 implicit places.
Starting structural reductions, iteration 2 : 759/1256 places, 1691/2049 transitions.
Symmetric choice reduction at 0 with 23 rule applications. Total rules 23 place count 759 transition count 1691
Deduced a syphon composed of 23 places in 6 ms
Reduce places removed 23 places and 23 transitions.
Iterating global reduction 0 with 46 rules applied. Total rules applied 69 place count 736 transition count 1668
Symmetric choice reduction at 0 with 8 rule applications. Total rules 77 place count 736 transition count 1668
Deduced a syphon composed of 8 places in 6 ms
Reduce places removed 8 places and 8 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 93 place count 728 transition count 1660
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: 13
Deduced a syphon composed of 13 places in 6 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 0 with 26 rules applied. Total rules applied 119 place count 715 transition count 1647
Free-agglomeration rule applied 20 times.
Iterating global reduction 0 with 20 rules applied. Total rules applied 139 place count 715 transition count 1627
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 159 place count 695 transition count 1627
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 1 with 6 rules applied. Total rules applied 165 place count 695 transition count 1621
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 171 place count 689 transition count 1621
Partial Post-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 2 with 6 rules applied. Total rules applied 177 place count 689 transition count 1621
Applied a total of 177 rules in 251 ms. Remains 689 /759 variables (removed 70) and now considering 1621/1691 (removed 70) transitions.
// Phase 1: matrix 1621 rows 689 cols
[2020-06-04 13:40:43] [INFO ] Computed 67 place invariants in 37 ms
[2020-06-04 13:40:46] [INFO ] Implicit Places using invariants in 3127 ms returned []
// Phase 1: matrix 1621 rows 689 cols
[2020-06-04 13:40:46] [INFO ] Computed 67 place invariants in 22 ms
[2020-06-04 13:40:48] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 13:40:57] [INFO ] Implicit Places using invariants and state equation in 11286 ms returned []
Implicit Place search using SMT with State Equation took 14414 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 689/1256 places, 1621/2049 transitions.
Incomplete random walk after 1000000 steps, including 14423 resets, run finished after 4761 ms. (steps per millisecond=210 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2459 resets, run finished after 1267 ms. (steps per millisecond=789 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2598 resets, run finished after 1458 ms. (steps per millisecond=685 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 3071 resets, run finished after 1361 ms. (steps per millisecond=734 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2670 resets, run finished after 1411 ms. (steps per millisecond=708 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2820 resets, run finished after 1221 ms. (steps per millisecond=819 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 3089 resets, run finished after 1360 ms. (steps per millisecond=735 ) properties seen :[0, 0, 0, 0, 0, 0]
Interrupted probabilistic random walk after 2923807 steps, run timeout after 30001 ms. (steps per millisecond=97 ) properties seen :[0, 0, 0, 0, 1, 1]
Probabilistic random walk after 2923807 steps, saw 651266 distinct states, run finished after 30001 ms. (steps per millisecond=97 ) properties seen :[0, 0, 0, 0, 1, 1]
FORMULA ASLink-PT-08b-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA ASLink-PT-08b-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
// Phase 1: matrix 1621 rows 689 cols
[2020-06-04 13:41:40] [INFO ] Computed 67 place invariants in 22 ms
[2020-06-04 13:41:40] [INFO ] [Real]Absence check using 14 positive place invariants in 32 ms returned sat
[2020-06-04 13:41:40] [INFO ] [Real]Absence check using 14 positive and 53 generalized place invariants in 42 ms returned sat
[2020-06-04 13:41:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:41:43] [INFO ] [Real]Absence check using state equation in 2713 ms returned sat
[2020-06-04 13:41:43] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:41:43] [INFO ] [Nat]Absence check using 14 positive place invariants in 71 ms returned sat
[2020-06-04 13:41:43] [INFO ] [Nat]Absence check using 14 positive and 53 generalized place invariants in 66 ms returned sat
[2020-06-04 13:41:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:41:47] [INFO ] [Nat]Absence check using state equation in 3652 ms returned sat
[2020-06-04 13:41:47] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 13:41:48] [INFO ] [Nat]Added 7 Read/Feed constraints in 820 ms returned sat
[2020-06-04 13:41:48] [INFO ] Computed and/alt/rep : 1599/22334/1599 causal constraints in 137 ms.
[2020-06-04 13:41:58] [INFO ] Added : 145 causal constraints over 29 iterations in 10493 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 56 ms.
[2020-06-04 13:41:59] [INFO ] [Real]Absence check using 14 positive place invariants in 30 ms returned sat
[2020-06-04 13:41:59] [INFO ] [Real]Absence check using 14 positive and 53 generalized place invariants in 51 ms returned sat
[2020-06-04 13:41:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:42:02] [INFO ] [Real]Absence check using state equation in 2807 ms returned sat
[2020-06-04 13:42:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:42:02] [INFO ] [Nat]Absence check using 14 positive place invariants in 60 ms returned sat
[2020-06-04 13:42:02] [INFO ] [Nat]Absence check using 14 positive and 53 generalized place invariants in 73 ms returned sat
[2020-06-04 13:42:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:42:06] [INFO ] [Nat]Absence check using state equation in 4294 ms returned sat
[2020-06-04 13:42:07] [INFO ] [Nat]Added 7 Read/Feed constraints in 315 ms returned sat
[2020-06-04 13:42:07] [INFO ] Deduced a trap composed of 34 places in 110 ms
[2020-06-04 13:42:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 249 ms
[2020-06-04 13:42:07] [INFO ] Computed and/alt/rep : 1599/22334/1599 causal constraints in 178 ms.
[2020-06-04 13:42:32] [INFO ] Added : 465 causal constraints over 93 iterations in 24850 ms.(timeout) Result :unknown
[2020-06-04 13:42:32] [INFO ] [Real]Absence check using 14 positive place invariants in 31 ms returned sat
[2020-06-04 13:42:32] [INFO ] [Real]Absence check using 14 positive and 53 generalized place invariants in 41 ms returned sat
[2020-06-04 13:42:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:42:35] [INFO ] [Real]Absence check using state equation in 2704 ms returned sat
[2020-06-04 13:42:35] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:42:35] [INFO ] [Nat]Absence check using 14 positive place invariants in 58 ms returned sat
[2020-06-04 13:42:35] [INFO ] [Nat]Absence check using 14 positive and 53 generalized place invariants in 65 ms returned sat
[2020-06-04 13:42:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:42:39] [INFO ] [Nat]Absence check using state equation in 3580 ms returned sat
[2020-06-04 13:42:41] [INFO ] [Nat]Added 7 Read/Feed constraints in 2250 ms returned sat
[2020-06-04 13:42:41] [INFO ] Computed and/alt/rep : 1599/22334/1599 causal constraints in 168 ms.
[2020-06-04 13:43:01] [INFO ] Added : 285 causal constraints over 57 iterations in 20133 ms.(timeout) Result :sat
[2020-06-04 13:43:01] [INFO ] Deduced a trap composed of 46 places in 216 ms
[2020-06-04 13:43:01] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 465 ms
Attempting to minimize the solution found.
Minimization took 68 ms.
[2020-06-04 13:43:02] [INFO ] [Real]Absence check using 14 positive place invariants in 55 ms returned sat
[2020-06-04 13:43:02] [INFO ] [Real]Absence check using 14 positive and 53 generalized place invariants in 72 ms returned sat
[2020-06-04 13:43:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:43:04] [INFO ] [Real]Absence check using state equation in 2303 ms returned sat
[2020-06-04 13:43:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:43:05] [INFO ] [Nat]Absence check using 14 positive place invariants in 59 ms returned sat
[2020-06-04 13:43:05] [INFO ] [Nat]Absence check using 14 positive and 53 generalized place invariants in 75 ms returned sat
[2020-06-04 13:43:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:43:07] [INFO ] [Nat]Absence check using state equation in 2571 ms returned sat
[2020-06-04 13:43:08] [INFO ] [Nat]Added 7 Read/Feed constraints in 536 ms returned sat
[2020-06-04 13:43:08] [INFO ] Computed and/alt/rep : 1599/22334/1599 causal constraints in 183 ms.
[2020-06-04 13:43:28] [INFO ] Added : 475 causal constraints over 95 iterations in 20361 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 129 ms.
Incomplete Parikh walk after 779900 steps, including 14897 resets, run finished after 4152 ms. (steps per millisecond=187 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 701700 steps, including 13646 resets, run finished after 3456 ms. (steps per millisecond=203 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 810700 steps, including 15528 resets, run finished after 4015 ms. (steps per millisecond=201 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 1185500 steps, including 22445 resets, run finished after 5823 ms. (steps per millisecond=203 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Support contains 18 out of 689 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 689/689 places, 1621/1621 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 689 transition count 1620
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 688 transition count 1620
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 2 place count 688 transition count 1619
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 687 transition count 1619
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8 place count 685 transition count 1617
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 9 place count 684 transition count 1616
Applied a total of 9 rules in 88 ms. Remains 684 /689 variables (removed 5) and now considering 1616/1621 (removed 5) transitions.
Finished structural reductions, in 1 iterations. Remains : 684/689 places, 1616/1621 transitions.
Incomplete random walk after 1000000 steps, including 14976 resets, run finished after 5107 ms. (steps per millisecond=195 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1975 resets, run finished after 1358 ms. (steps per millisecond=736 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 2084 resets, run finished after 1375 ms. (steps per millisecond=727 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2370 resets, run finished after 1242 ms. (steps per millisecond=805 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2113 resets, run finished after 1339 ms. (steps per millisecond=746 ) properties seen :[0, 0, 0, 0]
Interrupted probabilistic random walk after 3377278 steps, run timeout after 30001 ms. (steps per millisecond=112 ) properties seen :[0, 0, 0, 0]
Probabilistic random walk after 3377278 steps, saw 645234 distinct states, run finished after 30001 ms. (steps per millisecond=112 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 1616 rows 684 cols
[2020-06-04 13:44:26] [INFO ] Computed 67 place invariants in 24 ms
[2020-06-04 13:44:27] [INFO ] [Real]Absence check using 17 positive place invariants in 40 ms returned sat
[2020-06-04 13:44:27] [INFO ] [Real]Absence check using 17 positive and 50 generalized place invariants in 40 ms returned sat
[2020-06-04 13:44:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:44:30] [INFO ] [Real]Absence check using state equation in 3310 ms returned sat
[2020-06-04 13:44:30] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:44:30] [INFO ] [Nat]Absence check using 17 positive place invariants in 37 ms returned sat
[2020-06-04 13:44:30] [INFO ] [Nat]Absence check using 17 positive and 50 generalized place invariants in 38 ms returned sat
[2020-06-04 13:44:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:44:33] [INFO ] [Nat]Absence check using state equation in 2980 ms returned sat
[2020-06-04 13:44:33] [INFO ] Computed and/alt/rep : 1575/19964/1575 causal constraints in 119 ms.
[2020-06-04 13:44:46] [INFO ] Added : 235 causal constraints over 47 iterations in 13129 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 80 ms.
[2020-06-04 13:44:47] [INFO ] [Real]Absence check using 17 positive place invariants in 33 ms returned sat
[2020-06-04 13:44:47] [INFO ] [Real]Absence check using 17 positive and 50 generalized place invariants in 44 ms returned sat
[2020-06-04 13:44:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:44:49] [INFO ] [Real]Absence check using state equation in 2578 ms returned sat
[2020-06-04 13:44:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:44:50] [INFO ] [Nat]Absence check using 17 positive place invariants in 55 ms returned sat
[2020-06-04 13:44:50] [INFO ] [Nat]Absence check using 17 positive and 50 generalized place invariants in 71 ms returned sat
[2020-06-04 13:44:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:44:53] [INFO ] [Nat]Absence check using state equation in 3583 ms returned sat
[2020-06-04 13:44:54] [INFO ] Computed and/alt/rep : 1575/19964/1575 causal constraints in 210 ms.
[2020-06-04 13:45:13] [INFO ] Added : 400 causal constraints over 80 iterations in 20138 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 207 ms.
[2020-06-04 13:45:14] [INFO ] [Real]Absence check using 17 positive place invariants in 55 ms returned sat
[2020-06-04 13:45:14] [INFO ] [Real]Absence check using 17 positive and 50 generalized place invariants in 62 ms returned sat
[2020-06-04 13:45:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:45:17] [INFO ] [Real]Absence check using state equation in 2531 ms returned sat
[2020-06-04 13:45:17] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:45:17] [INFO ] [Nat]Absence check using 17 positive place invariants in 54 ms returned sat
[2020-06-04 13:45:17] [INFO ] [Nat]Absence check using 17 positive and 50 generalized place invariants in 57 ms returned sat
[2020-06-04 13:45:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:45:20] [INFO ] [Nat]Absence check using state equation in 3544 ms returned sat
[2020-06-04 13:45:21] [INFO ] Computed and/alt/rep : 1575/19964/1575 causal constraints in 150 ms.
[2020-06-04 13:45:38] [INFO ] Added : 355 causal constraints over 71 iterations in 17232 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 159 ms.
[2020-06-04 13:45:38] [INFO ] [Real]Absence check using 17 positive place invariants in 54 ms returned sat
[2020-06-04 13:45:38] [INFO ] [Real]Absence check using 17 positive and 50 generalized place invariants in 73 ms returned sat
[2020-06-04 13:45:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:45:42] [INFO ] [Real]Absence check using state equation in 4025 ms returned sat
[2020-06-04 13:45:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:45:43] [INFO ] [Nat]Absence check using 17 positive place invariants in 47 ms returned sat
[2020-06-04 13:45:43] [INFO ] [Nat]Absence check using 17 positive and 50 generalized place invariants in 60 ms returned sat
[2020-06-04 13:45:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:45:47] [INFO ] [Nat]Absence check using state equation in 3845 ms returned sat
[2020-06-04 13:45:47] [INFO ] Computed and/alt/rep : 1575/19964/1575 causal constraints in 153 ms.
[2020-06-04 13:46:07] [INFO ] Added : 415 causal constraints over 83 iterations in 20248 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 129 ms.
Incomplete Parikh walk after 89600 steps, including 1617 resets, run finished after 430 ms. (steps per millisecond=208 ) properties seen :[0, 0, 0, 1] could not realise parikh vector
FORMULA ASLink-PT-08b-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Incomplete Parikh walk after 145400 steps, including 2345 resets, run finished after 693 ms. (steps per millisecond=209 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 149400 steps, including 2358 resets, run finished after 703 ms. (steps per millisecond=212 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 200000 steps, including 2913 resets, run finished after 937 ms. (steps per millisecond=213 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 12 out of 684 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 684/684 places, 1616/1616 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 684 transition count 1614
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 682 transition count 1614
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 4 place count 682 transition count 1610
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 12 place count 678 transition count 1610
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 15 place count 676 transition count 1609
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 19 place count 674 transition count 1607
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 21 place count 674 transition count 1605
Applied a total of 21 rules in 70 ms. Remains 674 /684 variables (removed 10) and now considering 1605/1616 (removed 11) transitions.
Finished structural reductions, in 1 iterations. Remains : 674/684 places, 1605/1616 transitions.
Incomplete random walk after 1000000 steps, including 15117 resets, run finished after 4538 ms. (steps per millisecond=220 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1988 resets, run finished after 1333 ms. (steps per millisecond=750 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2149 resets, run finished after 1356 ms. (steps per millisecond=737 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2449 resets, run finished after 1223 ms. (steps per millisecond=817 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 3225804 steps, run timeout after 30001 ms. (steps per millisecond=107 ) properties seen :[0, 0, 0]
Probabilistic random walk after 3225804 steps, saw 659919 distinct states, run finished after 30001 ms. (steps per millisecond=107 ) properties seen :[0, 0, 0]
// Phase 1: matrix 1605 rows 674 cols
[2020-06-04 13:46:48] [INFO ] Computed 66 place invariants in 22 ms
[2020-06-04 13:46:49] [INFO ] [Real]Absence check using 15 positive place invariants in 53 ms returned sat
[2020-06-04 13:46:49] [INFO ] [Real]Absence check using 15 positive and 51 generalized place invariants in 59 ms returned sat
[2020-06-04 13:46:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:46:52] [INFO ] [Real]Absence check using state equation in 3360 ms returned sat
[2020-06-04 13:46:52] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:46:52] [INFO ] [Nat]Absence check using 15 positive place invariants in 53 ms returned sat
[2020-06-04 13:46:53] [INFO ] [Nat]Absence check using 15 positive and 51 generalized place invariants in 60 ms returned sat
[2020-06-04 13:46:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:46:58] [INFO ] [Nat]Absence check using state equation in 5203 ms returned sat
[2020-06-04 13:46:58] [INFO ] Computed and/alt/rep : 1564/19943/1564 causal constraints in 178 ms.
[2020-06-04 13:47:18] [INFO ] Added : 355 causal constraints over 71 iterations in 20304 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 102 ms.
[2020-06-04 13:47:19] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2020-06-04 13:47:19] [INFO ] [Real]Absence check using 15 positive and 51 generalized place invariants in 47 ms returned sat
[2020-06-04 13:47:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:47:21] [INFO ] [Real]Absence check using state equation in 2757 ms returned sat
[2020-06-04 13:47:21] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:47:22] [INFO ] [Nat]Absence check using 15 positive place invariants in 31 ms returned sat
[2020-06-04 13:47:22] [INFO ] [Nat]Absence check using 15 positive and 51 generalized place invariants in 46 ms returned sat
[2020-06-04 13:47:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:47:25] [INFO ] [Nat]Absence check using state equation in 3434 ms returned sat
[2020-06-04 13:47:25] [INFO ] Computed and/alt/rep : 1564/19943/1564 causal constraints in 133 ms.
[2020-06-04 13:47:45] [INFO ] Added : 450 causal constraints over 90 iterations in 20173 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 139 ms.
[2020-06-04 13:47:46] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2020-06-04 13:47:46] [INFO ] [Real]Absence check using 15 positive and 51 generalized place invariants in 41 ms returned sat
[2020-06-04 13:47:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:47:48] [INFO ] [Real]Absence check using state equation in 2507 ms returned sat
[2020-06-04 13:47:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:47:49] [INFO ] [Nat]Absence check using 15 positive place invariants in 48 ms returned sat
[2020-06-04 13:47:49] [INFO ] [Nat]Absence check using 15 positive and 51 generalized place invariants in 59 ms returned sat
[2020-06-04 13:47:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:47:52] [INFO ] [Nat]Absence check using state equation in 3327 ms returned sat
[2020-06-04 13:47:52] [INFO ] Computed and/alt/rep : 1564/19943/1564 causal constraints in 150 ms.
[2020-06-04 13:48:13] [INFO ] Added : 390 causal constraints over 78 iterations in 20458 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 119 ms.
Incomplete Parikh walk after 143200 steps, including 2246 resets, run finished after 859 ms. (steps per millisecond=166 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 182100 steps, including 2657 resets, run finished after 1001 ms. (steps per millisecond=181 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 331500 steps, including 4262 resets, run finished after 1504 ms. (steps per millisecond=220 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 12 out of 674 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 674/674 places, 1605/1605 transitions.
Applied a total of 0 rules in 21 ms. Remains 674 /674 variables (removed 0) and now considering 1605/1605 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 674/674 places, 1605/1605 transitions.
Starting structural reductions, iteration 0 : 674/674 places, 1605/1605 transitions.
Applied a total of 0 rules in 21 ms. Remains 674 /674 variables (removed 0) and now considering 1605/1605 (removed 0) transitions.
// Phase 1: matrix 1605 rows 674 cols
[2020-06-04 13:48:16] [INFO ] Computed 66 place invariants in 23 ms
[2020-06-04 13:48:19] [INFO ] Implicit Places using invariants in 2698 ms returned [392, 444]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 2701 ms to find 2 implicit places.
[2020-06-04 13:48:19] [INFO ] Redundant transitions in 166 ms returned []
// Phase 1: matrix 1605 rows 672 cols
[2020-06-04 13:48:19] [INFO ] Computed 64 place invariants in 36 ms
[2020-06-04 13:48:24] [INFO ] Dead Transitions using invariants and state equation in 4964 ms returned []
Starting structural reductions, iteration 1 : 672/674 places, 1605/1605 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 672 transition count 1600
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 10 place count 667 transition count 1600
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 12 place count 666 transition count 1599
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 13 place count 666 transition count 1598
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 14 place count 665 transition count 1598
Applied a total of 14 rules in 58 ms. Remains 665 /672 variables (removed 7) and now considering 1598/1605 (removed 7) transitions.
// Phase 1: matrix 1598 rows 665 cols
[2020-06-04 13:48:24] [INFO ] Computed 64 place invariants in 23 ms
[2020-06-04 13:48:27] [INFO ] Implicit Places using invariants in 2979 ms returned []
// Phase 1: matrix 1598 rows 665 cols
[2020-06-04 13:48:27] [INFO ] Computed 64 place invariants in 33 ms
[2020-06-04 13:48:34] [INFO ] Implicit Places using invariants and state equation in 6837 ms returned []
Implicit Place search using SMT with State Equation took 9818 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 665/674 places, 1598/1605 transitions.
Incomplete random walk after 1000000 steps, including 15196 resets, run finished after 4512 ms. (steps per millisecond=221 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2075 resets, run finished after 1140 ms. (steps per millisecond=877 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2131 resets, run finished after 1345 ms. (steps per millisecond=743 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2435 resets, run finished after 1227 ms. (steps per millisecond=814 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 3201958 steps, run timeout after 30001 ms. (steps per millisecond=106 ) properties seen :[0, 0, 0]
Probabilistic random walk after 3201958 steps, saw 661303 distinct states, run finished after 30001 ms. (steps per millisecond=106 ) properties seen :[0, 0, 0]
// Phase 1: matrix 1598 rows 665 cols
[2020-06-04 13:49:12] [INFO ] Computed 64 place invariants in 21 ms
[2020-06-04 13:49:12] [INFO ] [Real]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 13:49:12] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 37 ms returned sat
[2020-06-04 13:49:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:49:15] [INFO ] [Real]Absence check using state equation in 2672 ms returned sat
[2020-06-04 13:49:15] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:49:15] [INFO ] [Nat]Absence check using 16 positive place invariants in 58 ms returned sat
[2020-06-04 13:49:15] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 55 ms returned sat
[2020-06-04 13:49:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:49:19] [INFO ] [Nat]Absence check using state equation in 3172 ms returned sat
[2020-06-04 13:49:19] [INFO ] Computed and/alt/rep : 1557/19941/1557 causal constraints in 174 ms.
[2020-06-04 13:49:38] [INFO ] Added : 380 causal constraints over 76 iterations in 19071 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 174 ms.
[2020-06-04 13:49:38] [INFO ] [Real]Absence check using 16 positive place invariants in 32 ms returned sat
[2020-06-04 13:49:38] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 44 ms returned sat
[2020-06-04 13:49:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:49:42] [INFO ] [Real]Absence check using state equation in 3293 ms returned sat
[2020-06-04 13:49:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:49:42] [INFO ] [Nat]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 13:49:42] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 46 ms returned sat
[2020-06-04 13:49:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:49:44] [INFO ] [Nat]Absence check using state equation in 2542 ms returned sat
[2020-06-04 13:49:45] [INFO ] Computed and/alt/rep : 1557/19941/1557 causal constraints in 178 ms.
[2020-06-04 13:50:06] [INFO ] Added : 415 causal constraints over 83 iterations in 21567 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 127 ms.
[2020-06-04 13:50:06] [INFO ] [Real]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 13:50:07] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 38 ms returned sat
[2020-06-04 13:50:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:50:09] [INFO ] [Real]Absence check using state equation in 2461 ms returned sat
[2020-06-04 13:50:09] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:50:09] [INFO ] [Nat]Absence check using 16 positive place invariants in 34 ms returned sat
[2020-06-04 13:50:09] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 39 ms returned sat
[2020-06-04 13:50:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:50:12] [INFO ] [Nat]Absence check using state equation in 2472 ms returned sat
[2020-06-04 13:50:12] [INFO ] Computed and/alt/rep : 1557/19941/1557 causal constraints in 178 ms.
[2020-06-04 13:50:33] [INFO ] Added : 340 causal constraints over 68 iterations in 21411 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 136 ms.
Incomplete Parikh walk after 150500 steps, including 2408 resets, run finished after 711 ms. (steps per millisecond=211 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 167000 steps, including 2528 resets, run finished after 786 ms. (steps per millisecond=212 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 205500 steps, including 2909 resets, run finished after 954 ms. (steps per millisecond=215 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 12 out of 665 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 665/665 places, 1598/1598 transitions.
Applied a total of 0 rules in 29 ms. Remains 665 /665 variables (removed 0) and now considering 1598/1598 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 665/665 places, 1598/1598 transitions.
Starting structural reductions, iteration 0 : 665/665 places, 1598/1598 transitions.
Applied a total of 0 rules in 23 ms. Remains 665 /665 variables (removed 0) and now considering 1598/1598 (removed 0) transitions.
// Phase 1: matrix 1598 rows 665 cols
[2020-06-04 13:50:36] [INFO ] Computed 64 place invariants in 22 ms
[2020-06-04 13:50:39] [INFO ] Implicit Places using invariants in 3103 ms returned []
// Phase 1: matrix 1598 rows 665 cols
[2020-06-04 13:50:39] [INFO ] Computed 64 place invariants in 23 ms
[2020-06-04 13:50:46] [INFO ] Implicit Places using invariants and state equation in 6715 ms returned []
Implicit Place search using SMT with State Equation took 9828 ms to find 0 implicit places.
[2020-06-04 13:50:46] [INFO ] Redundant transitions in 31 ms returned []
// Phase 1: matrix 1598 rows 665 cols
[2020-06-04 13:50:46] [INFO ] Computed 64 place invariants in 22 ms
[2020-06-04 13:50:52] [INFO ] Dead Transitions using invariants and state equation in 5730 ms returned []
Finished structural reductions, in 1 iterations. Remains : 665/665 places, 1598/1598 transitions.
Incomplete random walk after 100000 steps, including 1536 resets, run finished after 700 ms. (steps per millisecond=142 ) properties seen :[0, 0, 0]
// Phase 1: matrix 1598 rows 665 cols
[2020-06-04 13:50:52] [INFO ] Computed 64 place invariants in 32 ms
[2020-06-04 13:50:53] [INFO ] [Real]Absence check using 16 positive place invariants in 34 ms returned sat
[2020-06-04 13:50:53] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 39 ms returned sat
[2020-06-04 13:50:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:50:55] [INFO ] [Real]Absence check using state equation in 2669 ms returned sat
[2020-06-04 13:50:55] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:50:56] [INFO ] [Nat]Absence check using 16 positive place invariants in 36 ms returned sat
[2020-06-04 13:50:56] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 37 ms returned sat
[2020-06-04 13:50:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:50:58] [INFO ] [Nat]Absence check using state equation in 2738 ms returned sat
[2020-06-04 13:50:59] [INFO ] Computed and/alt/rep : 1557/19941/1557 causal constraints in 180 ms.
[2020-06-04 13:51:15] [INFO ] Added : 380 causal constraints over 76 iterations in 16946 ms. Result :unknown
[2020-06-04 13:51:16] [INFO ] [Real]Absence check using 16 positive place invariants in 51 ms returned sat
[2020-06-04 13:51:16] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 74 ms returned sat
[2020-06-04 13:51:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:51:19] [INFO ] [Real]Absence check using state equation in 3189 ms returned sat
[2020-06-04 13:51:19] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:51:19] [INFO ] [Nat]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 13:51:19] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 42 ms returned sat
[2020-06-04 13:51:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:51:21] [INFO ] [Nat]Absence check using state equation in 2455 ms returned sat
[2020-06-04 13:51:22] [INFO ] Computed and/alt/rep : 1557/19941/1557 causal constraints in 179 ms.
[2020-06-04 13:51:39] [INFO ] Added : 395 causal constraints over 79 iterations in 17298 ms. Result :unknown
[2020-06-04 13:51:39] [INFO ] [Real]Absence check using 16 positive place invariants in 32 ms returned sat
[2020-06-04 13:51:39] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 37 ms returned sat
[2020-06-04 13:51:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:51:42] [INFO ] [Real]Absence check using state equation in 2490 ms returned sat
[2020-06-04 13:51:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:51:42] [INFO ] [Nat]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 13:51:42] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 38 ms returned sat
[2020-06-04 13:51:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:51:44] [INFO ] [Nat]Absence check using state equation in 2471 ms returned sat
[2020-06-04 13:51:45] [INFO ] Computed and/alt/rep : 1557/19941/1557 causal constraints in 178 ms.
[2020-06-04 13:52:02] [INFO ] Added : 335 causal constraints over 67 iterations in 17225 ms. Result :unknown
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 665 transition count 1597
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 664 transition count 1597
Applied a total of 2 rules in 30 ms. Remains 664 /665 variables (removed 1) and now considering 1597/1598 (removed 1) transitions.
// Phase 1: matrix 1597 rows 664 cols
[2020-06-04 13:52:02] [INFO ] Computed 64 place invariants in 21 ms
[2020-06-04 13:52:02] [INFO ] [Real]Absence check using 18 positive place invariants in 56 ms returned sat
[2020-06-04 13:52:02] [INFO ] [Real]Absence check using 18 positive and 46 generalized place invariants in 54 ms returned sat
[2020-06-04 13:52:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:52:05] [INFO ] [Real]Absence check using state equation in 2769 ms returned sat
[2020-06-04 13:52:05] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:52:05] [INFO ] [Nat]Absence check using 18 positive place invariants in 62 ms returned sat
[2020-06-04 13:52:05] [INFO ] [Nat]Absence check using 18 positive and 46 generalized place invariants in 52 ms returned sat
[2020-06-04 13:52:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:52:08] [INFO ] [Nat]Absence check using state equation in 2952 ms returned sat
[2020-06-04 13:52:08] [INFO ] Computed and/alt/rep : 1556/20120/1556 causal constraints in 177 ms.
[2020-06-04 13:52:27] [INFO ] Added : 370 causal constraints over 74 iterations in 18815 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 110 ms.
[2020-06-04 13:52:27] [INFO ] [Real]Absence check using 18 positive place invariants in 34 ms returned sat
[2020-06-04 13:52:27] [INFO ] [Real]Absence check using 18 positive and 46 generalized place invariants in 41 ms returned sat
[2020-06-04 13:52:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:52:30] [INFO ] [Real]Absence check using state equation in 2280 ms returned sat
[2020-06-04 13:52:30] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:52:30] [INFO ] [Nat]Absence check using 18 positive place invariants in 38 ms returned sat
[2020-06-04 13:52:30] [INFO ] [Nat]Absence check using 18 positive and 46 generalized place invariants in 39 ms returned sat
[2020-06-04 13:52:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:52:33] [INFO ] [Nat]Absence check using state equation in 2760 ms returned sat
[2020-06-04 13:52:33] [INFO ] Computed and/alt/rep : 1556/20120/1556 causal constraints in 182 ms.
[2020-06-04 13:52:53] [INFO ] Added : 425 causal constraints over 85 iterations in 20293 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 131 ms.
[2020-06-04 13:52:54] [INFO ] [Real]Absence check using 18 positive place invariants in 53 ms returned sat
[2020-06-04 13:52:54] [INFO ] [Real]Absence check using 18 positive and 46 generalized place invariants in 56 ms returned sat
[2020-06-04 13:52:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:52:57] [INFO ] [Real]Absence check using state equation in 2909 ms returned sat
[2020-06-04 13:52:57] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:52:57] [INFO ] [Nat]Absence check using 18 positive place invariants in 38 ms returned sat
[2020-06-04 13:52:57] [INFO ] [Nat]Absence check using 18 positive and 46 generalized place invariants in 34 ms returned sat
[2020-06-04 13:52:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:53:00] [INFO ] [Nat]Absence check using state equation in 3237 ms returned sat
[2020-06-04 13:53:00] [INFO ] Computed and/alt/rep : 1556/20120/1556 causal constraints in 155 ms.
[2020-06-04 13:53:21] [INFO ] Added : 455 causal constraints over 91 iterations in 21167 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 140 ms.
[2020-06-04 13:53:22] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 3 ms.
[2020-06-04 13:53:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 19 ms.
[2020-06-04 13:53:22] [INFO ] Flatten gal took : 282 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ ASLink-PT-08b @ 3570 seconds
check_solution: Constraint R1 = 6.95188891387e-310 is above its equality of -1
check_solution: Constraint R51 = 0 is above its equality of -1
check_solution: Constraint R70 = 0 is above its equality of -1
check_solution: Constraint R72 = 0 is above its equality of -1
check_solution: Constraint R123 = 0 is above its equality of -1
check_solution: Constraint R146 = 0 is above its equality of -1
check_solution: Constraint R148 = 0 is above its equality of -1
check_solution: Constraint R200 = 0 is above its equality of -1
check_solution: Constraint R232 = 0 is above its equality of -1
check_solution: Constraint R281 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 1 (rel. error 1)
FORMULA ASLink-PT-08b-ReachabilityCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-08b-ReachabilityCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-08b-ReachabilityCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 3525
rslt: Output for ReachabilityCardinality @ ASLink-PT-08b
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=ReachabilityCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--json=ReachabilityCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Jun 4 13:53:23 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1175
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((((p310 <= 0)) OR ((1 <= p390)))))",
"processed_size": 41,
"rewrites": 2
},
"result":
{
"edges": 84,
"markings": 85,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1762
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p139) AND ((1 <= p80)) AND ((2 <= p611) OR (p611 <= 0)))))",
"processed_size": 72,
"rewrites": 1
},
"result":
{
"edges": 542,
"markings": 543,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 6,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 3525
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 6,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "E (F ((((1 <= p195)) AND ((p461 <= 0)) AND (((p313 <= 0)) OR ((1 <= p221))) AND ((2 <= p424) OR (p424 <= 0) OR (((1 <= p497)) AND ((2 <= p548) OR (p548 <= 0)))))))",
"processed_size": 167,
"rewrites": 1
},
"result":
{
"edges": 116,
"markings": 117,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 36,
"problems": 8
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"error": null,
"memory": 40216,
"runtime": 45.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "ReachabilityCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(F(**)) : E(F(**)) : A(G(**))"
},
"net":
{
"arcs": 6520,
"conflict_clusters": 68,
"places": 665,
"places_significant": 601,
"singleton_clusters": 0,
"transitions": 1598
},
"result":
{
"preliminary_value": "yes yes no ",
"value": "yes yes no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2263/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 665
lola: finding significant places
lola: 665 places, 1598 transitions, 601 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from ReachabilityCardinality.xml
lola: LP says that atomic proposition is always true: (p139 <= 1)
lola: LP says that atomic proposition is always true: (p461 <= 1)
lola: LP says that atomic proposition is always true: (p221 <= 1)
lola: LP says that atomic proposition is always true: (p390 <= 1)
lola: E (F (((1 <= p139) AND ((1 <= p80)) AND ((2 <= p611) OR (p611 <= 0))))) : E (F ((((1 <= p195)) AND ((p461 <= 0)) AND (((p313 <= 0)) OR ((1 <= p221))) AND ((2 <= p424) OR (p424 <= 0) OR (((1 <= p497)) AND ((2 <= p548) OR (p548 <= 0))))))) : A (G ((((p310 <= 0)) OR ((1 <= p390)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 1175 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p310 <= 0)) OR ((1 <= p390)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((p310 <= 0)) OR ((1 <= p390)))))
lola: processed formula length: 41
lola: 2 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p310)) AND ((p390 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 85 markings, 84 edges
lola: ========================================
lola: subprocess 1 will run for 1762 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p139) AND ((1 <= p80)) AND ((2 <= p611) OR (p611 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p139) AND ((1 <= p80)) AND ((2 <= p611) OR (p611 <= 0)))))
lola: processed formula length: 72
lola: 1 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p139) AND ((1 <= p80)) AND ((2 <= p611) OR (p611 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 543 markings, 542 edges
lola: ========================================
lola: subprocess 2 will run for 3525 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p195)) AND ((p461 <= 0)) AND (((p313 <= 0)) OR ((1 <= p221))) AND ((2 <= p424) OR (p424 <= 0) OR (((1 <= p497)) AND ((2 <= p548) OR (p548 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p195)) AND ((p461 <= 0)) AND (((p313 <= 0)) OR ((1 <= p221))) AND ((2 <= p424) OR (p424 <= 0) OR (((1 <= p497)) AND ((2 <= p548) OR (p548 <= 0)))))))
lola: processed formula length: 167
lola: 1 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p195)) AND ((p461 <= 0)) AND (((p313 <= 0)) OR ((1 <= p221))) AND ((2 <= p424) OR (p424 <= 0) OR (((1 <= p497)) AND ((2 <= p548) OR (p548 <= 0)))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 36 literals and 8 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 117 markings, 116 edges
lola: ========================================
lola: RESULT
lola:
SUMMARY: yes yes no
lola:
preliminary result: yes yes no
lola: memory consumption: 40216 KB
lola: time consumption: 45 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
rslt: finished
--------------------
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-08b"
export BK_EXAMINATION="ReachabilityCardinality"
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-08b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787300134"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08b.tgz
mv ASLink-PT-08b execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;