About the Execution of ITS-LoLa for ASLink-PT-09a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15748.290 | 3600000.00 | 6504858.00 | 10878.20 | FFTTTTFFTFFFFT?F | 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-158987787300143.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-09a, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787300143
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 839K 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-09a-ReachabilityFireability-00
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-01
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-02
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-03
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-04
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-05
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-06
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-07
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-08
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-09
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-10
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-11
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-12
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-13
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-14
FORMULA_NAME ASLink-PT-09a-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1591287685435
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 16:21:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 16:21:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 16:21:28] [INFO ] Load time of PNML (sax parser for PT used): 319 ms
[2020-06-04 16:21:28] [INFO ] Transformed 1991 places.
[2020-06-04 16:21:28] [INFO ] Transformed 2919 transitions.
[2020-06-04 16:21:28] [INFO ] Found NUPN structural information;
[2020-06-04 16:21:28] [INFO ] Parsed PT model containing 1991 places and 2919 transitions in 423 ms.
Ensure Unique test removed 31 transitions
Reduce redundant transitions removed 31 transitions.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 97 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 47 resets, run finished after 214 ms. (steps per millisecond=46 ) properties seen :[0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1]
FORMULA ASLink-PT-09a-ReachabilityFireability-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityFireability-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityFireability-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityFireability-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityFireability-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=196 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 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 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties seen :[0, 0, 1, 0, 0, 0, 0, 0, 0]
FORMULA ASLink-PT-09a-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=294 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=322 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10000 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=147 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 31 ms. (steps per millisecond=322 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 36 ms. (steps per millisecond=277 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=303 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2888 rows 1991 cols
[2020-06-04 16:21:29] [INFO ] Computed 384 place invariants in 412 ms
[2020-06-04 16:21:31] [INFO ] [Real]Absence check using 93 positive place invariants in 289 ms returned sat
[2020-06-04 16:21:31] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 660 ms returned sat
[2020-06-04 16:21:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:21:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:21:34] [INFO ] [Real]Absence check using state equation in 3241 ms returned (error "Failed to check-sat")
[2020-06-04 16:21:35] [INFO ] [Real]Absence check using 93 positive place invariants in 187 ms returned sat
[2020-06-04 16:21:36] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 689 ms returned sat
[2020-06-04 16:21:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:21:40] [INFO ] [Real]Absence check using state equation in 3650 ms returned (error "Failed to check-sat")
[2020-06-04 16:21:40] [INFO ] [Real]Absence check using 93 positive place invariants in 242 ms returned sat
[2020-06-04 16:21:41] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 722 ms returned sat
[2020-06-04 16:21:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:21:45] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:21:45] [INFO ] [Real]Absence check using state equation in 3603 ms returned (error "Failed to check-sat")
[2020-06-04 16:21:45] [INFO ] [Real]Absence check using 93 positive place invariants in 291 ms returned sat
[2020-06-04 16:21:46] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 735 ms returned sat
[2020-06-04 16:21:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:21:50] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:21:50] [INFO ] [Real]Absence check using state equation in 3367 ms returned (error "Failed to check-sat")
[2020-06-04 16:21:50] [INFO ] [Real]Absence check using 93 positive place invariants in 278 ms returned sat
[2020-06-04 16:21:51] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 737 ms returned sat
[2020-06-04 16:21:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:21:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:21:55] [INFO ] [Real]Absence check using state equation in 3538 ms returned unknown
[2020-06-04 16:21:55] [INFO ] [Real]Absence check using 93 positive place invariants in 293 ms returned sat
[2020-06-04 16:21:56] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 748 ms returned sat
[2020-06-04 16:21:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:22:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:22:00] [INFO ] [Real]Absence check using state equation in 3473 ms returned (error "Failed to check-sat")
[2020-06-04 16:22:00] [INFO ] [Real]Absence check using 93 positive place invariants in 218 ms returned sat
[2020-06-04 16:22:00] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 276 ms returned unsat
[2020-06-04 16:22:01] [INFO ] [Real]Absence check using 93 positive place invariants in 289 ms returned sat
[2020-06-04 16:22:02] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 812 ms returned sat
[2020-06-04 16:22:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:22:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:22:05] [INFO ] [Real]Absence check using state equation in 3331 ms returned (error "Failed to check-sat")
FORMULA ASLink-PT-09a-ReachabilityFireability-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Support contains 36 out of 1991 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1991/1991 places, 2888/2888 transitions.
Ensure Unique test removed 35 places
Discarding 18 places :
Implicit places reduction removed 18 places
Performed 182 Post agglomeration using F-continuation condition.Transition count delta: 182
Iterating post reduction 0 with 235 rules applied. Total rules applied 235 place count 1938 transition count 2706
Reduce places removed 182 places and 0 transitions.
Iterating post reduction 1 with 182 rules applied. Total rules applied 417 place count 1756 transition count 2706
Performed 187 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 187 Pre rules applied. Total rules applied 417 place count 1756 transition count 2519
Deduced a syphon composed of 187 places in 7 ms
Ensure Unique test removed 74 places
Reduce places removed 261 places and 0 transitions.
Iterating global reduction 2 with 448 rules applied. Total rules applied 865 place count 1495 transition count 2519
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 866 place count 1495 transition count 2518
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 867 place count 1494 transition count 2518
Symmetric choice reduction at 4 with 11 rule applications. Total rules 878 place count 1494 transition count 2518
Deduced a syphon composed of 11 places in 23 ms
Reduce places removed 11 places and 59 transitions.
Iterating global reduction 4 with 22 rules applied. Total rules applied 900 place count 1483 transition count 2459
Ensure Unique test removed 1 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 4 with 7 rules applied. Total rules applied 907 place count 1481 transition count 2454
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 910 place count 1478 transition count 2454
Symmetric choice reduction at 6 with 1 rule applications. Total rules 911 place count 1478 transition count 2454
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 913 place count 1477 transition count 2446
Symmetric choice reduction at 6 with 1 rule applications. Total rules 914 place count 1477 transition count 2446
Deduced a syphon composed of 1 places in 17 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 916 place count 1476 transition count 2438
Symmetric choice reduction at 6 with 1 rule applications. Total rules 917 place count 1476 transition count 2438
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 919 place count 1475 transition count 2430
Performed 59 Post agglomeration using F-continuation condition.Transition count delta: 59
Deduced a syphon composed of 59 places in 10 ms
Reduce places removed 59 places and 0 transitions.
Iterating global reduction 6 with 118 rules applied. Total rules applied 1037 place count 1416 transition count 2371
Free-agglomeration rule applied 1 times.
Iterating global reduction 6 with 1 rules applied. Total rules applied 1038 place count 1416 transition count 2370
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 1039 place count 1415 transition count 2370
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 7 with 7 rules applied. Total rules applied 1046 place count 1415 transition count 2363
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 7 with 7 rules applied. Total rules applied 1053 place count 1408 transition count 2363
Partial Free-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 8 with 9 rules applied. Total rules applied 1062 place count 1408 transition count 2363
Partial Post-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 8 with 9 rules applied. Total rules applied 1071 place count 1408 transition count 2363
Applied a total of 1071 rules in 1594 ms. Remains 1408 /1991 variables (removed 583) and now considering 2363/2888 (removed 525) transitions.
Finished structural reductions, in 1 iterations. Remains : 1408/1991 places, 2363/2888 transitions.
Incomplete random walk after 1000000 steps, including 7998 resets, run finished after 7012 ms. (steps per millisecond=142 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 923 resets, run finished after 2503 ms. (steps per millisecond=399 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 928 resets, run finished after 2918 ms. (steps per millisecond=342 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 923 resets, run finished after 2529 ms. (steps per millisecond=395 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 915 resets, run finished after 2746 ms. (steps per millisecond=364 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 927 resets, run finished after 3504 ms. (steps per millisecond=285 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 930 resets, run finished after 2522 ms. (steps per millisecond=396 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 873 resets, run finished after 2843 ms. (steps per millisecond=351 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Interrupted probabilistic random walk after 1826022 steps, run timeout after 30001 ms. (steps per millisecond=60 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Probabilistic random walk after 1826022 steps, saw 311337 distinct states, run finished after 30001 ms. (steps per millisecond=60 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2363 rows 1408 cols
[2020-06-04 16:23:04] [INFO ] Computed 255 place invariants in 303 ms
[2020-06-04 16:23:04] [INFO ] [Real]Absence check using 68 positive place invariants in 116 ms returned sat
[2020-06-04 16:23:05] [INFO ] [Real]Absence check using 68 positive and 187 generalized place invariants in 245 ms returned sat
[2020-06-04 16:23:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:23:15] [INFO ] [Real]Absence check using state equation in 10527 ms returned sat
[2020-06-04 16:23:15] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:23:16] [INFO ] [Nat]Absence check using 68 positive place invariants in 203 ms returned sat
[2020-06-04 16:23:16] [INFO ] [Nat]Absence check using 68 positive and 187 generalized place invariants in 356 ms returned sat
[2020-06-04 16:23:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:23:23] [INFO ] [Nat]Absence check using state equation in 6808 ms returned unsat
[2020-06-04 16:23:23] [INFO ] [Real]Absence check using 68 positive place invariants in 106 ms returned sat
[2020-06-04 16:23:24] [INFO ] [Real]Absence check using 68 positive and 187 generalized place invariants in 238 ms returned sat
[2020-06-04 16:23:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:23:34] [INFO ] [Real]Absence check using state equation in 10055 ms returned sat
[2020-06-04 16:23:34] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:23:34] [INFO ] [Nat]Absence check using 68 positive place invariants in 180 ms returned sat
[2020-06-04 16:23:35] [INFO ] [Nat]Absence check using 68 positive and 187 generalized place invariants in 372 ms returned sat
[2020-06-04 16:23:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:23:45] [INFO ] [Nat]Absence check using state equation in 10714 ms returned unsat
[2020-06-04 16:23:46] [INFO ] [Real]Absence check using 68 positive place invariants in 170 ms returned sat
[2020-06-04 16:23:46] [INFO ] [Real]Absence check using 68 positive and 187 generalized place invariants in 347 ms returned sat
[2020-06-04 16:23:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:23:56] [INFO ] [Real]Absence check using state equation in 9509 ms returned sat
[2020-06-04 16:23:56] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:23:56] [INFO ] [Nat]Absence check using 68 positive place invariants in 117 ms returned sat
[2020-06-04 16:23:57] [INFO ] [Nat]Absence check using 68 positive and 187 generalized place invariants in 320 ms returned sat
[2020-06-04 16:23:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:24:11] [INFO ] [Nat]Absence check using state equation in 14585 ms returned sat
[2020-06-04 16:24:11] [INFO ] State equation strengthened by 64 read => feed constraints.
[2020-06-04 16:24:12] [INFO ] [Nat]Added 64 Read/Feed constraints in 1058 ms returned sat
[2020-06-04 16:24:13] [INFO ] Computed and/alt/rep : 2362/30395/2362 causal constraints in 202 ms.
[2020-06-04 16:24:34] [INFO ] Added : 205 causal constraints over 41 iterations in 21353 ms. Result :unknown
[2020-06-04 16:24:34] [INFO ] [Real]Absence check using 68 positive place invariants in 112 ms returned sat
[2020-06-04 16:24:34] [INFO ] [Real]Absence check using 68 positive and 187 generalized place invariants in 216 ms returned sat
[2020-06-04 16:24:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:24:42] [INFO ] [Real]Absence check using state equation in 8099 ms returned sat
[2020-06-04 16:24:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:24:43] [INFO ] [Nat]Absence check using 68 positive place invariants in 116 ms returned sat
[2020-06-04 16:24:43] [INFO ] [Nat]Absence check using 68 positive and 187 generalized place invariants in 196 ms returned sat
[2020-06-04 16:24:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:24:48] [INFO ] [Nat]Absence check using state equation in 5243 ms returned unsat
[2020-06-04 16:24:49] [INFO ] [Real]Absence check using 68 positive place invariants in 108 ms returned sat
[2020-06-04 16:24:49] [INFO ] [Real]Absence check using 68 positive and 187 generalized place invariants in 239 ms returned sat
[2020-06-04 16:24:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:24:57] [INFO ] [Real]Absence check using state equation in 8532 ms returned sat
[2020-06-04 16:24:57] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:24:58] [INFO ] [Nat]Absence check using 68 positive place invariants in 117 ms returned sat
[2020-06-04 16:24:58] [INFO ] [Nat]Absence check using 68 positive and 187 generalized place invariants in 250 ms returned sat
[2020-06-04 16:24:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:25:00] [INFO ] [Nat]Absence check using state equation in 2122 ms returned unsat
[2020-06-04 16:25:00] [INFO ] [Real]Absence check using 68 positive place invariants in 104 ms returned sat
[2020-06-04 16:25:01] [INFO ] [Real]Absence check using 68 positive and 187 generalized place invariants in 214 ms returned sat
[2020-06-04 16:25:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:25:09] [INFO ] [Real]Absence check using state equation in 8145 ms returned sat
[2020-06-04 16:25:09] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:25:09] [INFO ] [Nat]Absence check using 68 positive place invariants in 116 ms returned sat
[2020-06-04 16:25:09] [INFO ] [Nat]Absence check using 68 positive and 187 generalized place invariants in 215 ms returned sat
[2020-06-04 16:25:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:25:13] [INFO ] [Nat]Absence check using state equation in 3412 ms returned unsat
[2020-06-04 16:25:13] [INFO ] [Real]Absence check using 68 positive place invariants in 172 ms returned sat
[2020-06-04 16:25:14] [INFO ] [Real]Absence check using 68 positive and 187 generalized place invariants in 371 ms returned sat
[2020-06-04 16:25:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:25:22] [INFO ] [Real]Absence check using state equation in 8428 ms returned sat
[2020-06-04 16:25:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:25:23] [INFO ] [Nat]Absence check using 68 positive place invariants in 116 ms returned sat
[2020-06-04 16:25:23] [INFO ] [Nat]Absence check using 68 positive and 187 generalized place invariants in 229 ms returned sat
[2020-06-04 16:25:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:25:33] [INFO ] [Nat]Absence check using state equation in 9752 ms returned sat
[2020-06-04 16:25:33] [INFO ] [Nat]Added 64 Read/Feed constraints in 141 ms returned sat
[2020-06-04 16:25:33] [INFO ] Deduced a trap composed of 31 places in 329 ms
[2020-06-04 16:25:33] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 484 ms
[2020-06-04 16:25:33] [INFO ] Computed and/alt/rep : 2362/30395/2362 causal constraints in 193 ms.
[2020-06-04 16:25:54] [INFO ] Added : 275 causal constraints over 55 iterations in 20764 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 135 ms.
FORMULA ASLink-PT-09a-ReachabilityFireability-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-09 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-09a-ReachabilityFireability-00 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Incomplete Parikh walk after 978800 steps, including 5953 resets, run finished after 6719 ms. (steps per millisecond=145 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 1493200 steps, including 8711 resets, run finished after 9900 ms. (steps per millisecond=150 ) properties seen :[0, 0] could not realise parikh vector
Support contains 9 out of 1408 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1408/1408 places, 2363/2363 transitions.
Ensure Unique test removed 1 places
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 1407 transition count 2363
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 1 place count 1407 transition count 2362
Deduced a syphon composed of 1 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 1 with 3 rules applied. Total rules applied 4 place count 1405 transition count 2362
Symmetric choice reduction at 1 with 2 rule applications. Total rules 6 place count 1405 transition count 2362
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 14 transitions.
Iterating global reduction 1 with 4 rules applied. Total rules applied 10 place count 1403 transition count 2348
Symmetric choice reduction at 1 with 1 rule applications. Total rules 11 place count 1403 transition count 2348
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 13 place count 1402 transition count 2340
Symmetric choice reduction at 1 with 1 rule applications. Total rules 14 place count 1402 transition count 2340
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 16 place count 1401 transition count 2332
Symmetric choice reduction at 1 with 1 rule applications. Total rules 17 place count 1401 transition count 2332
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 19 place count 1400 transition count 2324
Symmetric choice reduction at 1 with 1 rule applications. Total rules 20 place count 1400 transition count 2324
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 22 place count 1399 transition count 2316
Symmetric choice reduction at 1 with 1 rule applications. Total rules 23 place count 1399 transition count 2316
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 25 place count 1398 transition count 2308
Symmetric choice reduction at 1 with 1 rule applications. Total rules 26 place count 1398 transition count 2308
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 28 place count 1397 transition count 2300
Symmetric choice reduction at 1 with 1 rule applications. Total rules 29 place count 1397 transition count 2300
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 31 place count 1396 transition count 2292
Symmetric choice reduction at 1 with 1 rule applications. Total rules 32 place count 1396 transition count 2292
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 34 place count 1395 transition count 2284
Symmetric choice reduction at 1 with 1 rule applications. Total rules 35 place count 1395 transition count 2284
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 37 place count 1394 transition count 2276
Symmetric choice reduction at 1 with 1 rule applications. Total rules 38 place count 1394 transition count 2276
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 40 place count 1393 transition count 2268
Symmetric choice reduction at 1 with 1 rule applications. Total rules 41 place count 1393 transition count 2268
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 43 place count 1392 transition count 2260
Symmetric choice reduction at 1 with 1 rule applications. Total rules 44 place count 1392 transition count 2260
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 46 place count 1391 transition count 2252
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 1 with 6 rules applied. Total rules applied 52 place count 1388 transition count 2249
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 53 place count 1388 transition count 2248
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 54 place count 1387 transition count 2248
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 55 place count 1387 transition count 2248
Applied a total of 55 rules in 902 ms. Remains 1387 /1408 variables (removed 21) and now considering 2248/2363 (removed 115) transitions.
Finished structural reductions, in 1 iterations. Remains : 1387/1408 places, 2248/2363 transitions.
Incomplete random walk after 1000000 steps, including 8075 resets, run finished after 5826 ms. (steps per millisecond=171 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000000 steps, including 932 resets, run finished after 2512 ms. (steps per millisecond=398 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 869 resets, run finished after 2688 ms. (steps per millisecond=372 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 1063186 steps, run timeout after 30001 ms. (steps per millisecond=35 ) properties seen :[0, 0]
Probabilistic random walk after 1063186 steps, saw 375483 distinct states, run finished after 30001 ms. (steps per millisecond=35 ) properties seen :[0, 0]
// Phase 1: matrix 2248 rows 1387 cols
[2020-06-04 16:26:53] [INFO ] Computed 253 place invariants in 62 ms
[2020-06-04 16:26:54] [INFO ] [Real]Absence check using 66 positive place invariants in 109 ms returned sat
[2020-06-04 16:26:54] [INFO ] [Real]Absence check using 66 positive and 187 generalized place invariants in 338 ms returned sat
[2020-06-04 16:26:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:27:04] [INFO ] [Real]Absence check using state equation in 9960 ms returned sat
[2020-06-04 16:27:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:27:04] [INFO ] [Nat]Absence check using 66 positive place invariants in 119 ms returned sat
[2020-06-04 16:27:05] [INFO ] [Nat]Absence check using 66 positive and 187 generalized place invariants in 229 ms returned sat
[2020-06-04 16:27:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:27:15] [INFO ] [Nat]Absence check using state equation in 10242 ms returned sat
[2020-06-04 16:27:15] [INFO ] State equation strengthened by 66 read => feed constraints.
[2020-06-04 16:27:15] [INFO ] [Nat]Added 66 Read/Feed constraints in 250 ms returned sat
[2020-06-04 16:27:15] [INFO ] Computed and/alt/rep : 2247/27220/2247 causal constraints in 168 ms.
[2020-06-04 16:27:35] [INFO ] Added : 200 causal constraints over 40 iterations in 20250 ms. Result :unknown
[2020-06-04 16:27:36] [INFO ] [Real]Absence check using 66 positive place invariants in 115 ms returned sat
[2020-06-04 16:27:36] [INFO ] [Real]Absence check using 66 positive and 187 generalized place invariants in 283 ms returned sat
[2020-06-04 16:27:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:27:47] [INFO ] [Real]Absence check using state equation in 10521 ms returned sat
[2020-06-04 16:27:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:27:47] [INFO ] [Nat]Absence check using 66 positive place invariants in 97 ms returned sat
[2020-06-04 16:27:47] [INFO ] [Nat]Absence check using 66 positive and 187 generalized place invariants in 237 ms returned sat
[2020-06-04 16:27:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:27:57] [INFO ] [Nat]Absence check using state equation in 9571 ms returned sat
[2020-06-04 16:27:57] [INFO ] [Nat]Added 66 Read/Feed constraints in 455 ms returned sat
[2020-06-04 16:27:57] [INFO ] Computed and/alt/rep : 2247/27220/2247 causal constraints in 159 ms.
[2020-06-04 16:28:15] [INFO ] Added : 210 causal constraints over 42 iterations in 18069 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 75 ms.
Incomplete Parikh walk after 926600 steps, including 5677 resets, run finished after 7102 ms. (steps per millisecond=130 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 1199800 steps, including 7130 resets, run finished after 8540 ms. (steps per millisecond=140 ) properties seen :[0, 0] could not realise parikh vector
Support contains 9 out of 1387 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1387/1387 places, 2248/2248 transitions.
Applied a total of 0 rules in 55 ms. Remains 1387 /1387 variables (removed 0) and now considering 2248/2248 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1387/1387 places, 2248/2248 transitions.
Starting structural reductions, iteration 0 : 1387/1387 places, 2248/2248 transitions.
Applied a total of 0 rules in 58 ms. Remains 1387 /1387 variables (removed 0) and now considering 2248/2248 (removed 0) transitions.
// Phase 1: matrix 2248 rows 1387 cols
[2020-06-04 16:28:31] [INFO ] Computed 253 place invariants in 56 ms
[2020-06-04 16:28:32] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:28:37] [INFO ] Implicit Places using invariants in 6093 ms returned []
// Phase 1: matrix 2248 rows 1387 cols
[2020-06-04 16:28:38] [INFO ] Computed 253 place invariants in 111 ms
[2020-06-04 16:28:38] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:28:39] [INFO ] State equation strengthened by 66 read => feed constraints.
[2020-06-04 16:28:54] [INFO ] Implicit Places using invariants and state equation in 16267 ms returned [1, 19, 22, 32, 150, 167, 168, 300, 301, 337, 417, 433, 434, 550, 566, 567, 683, 699, 700, 816, 832, 833, 949, 965, 966, 1082, 1098, 1099, 1220, 1234, 1255, 1258, 1276, 1278]
Discarding 34 places :
Implicit Place search using SMT with State Equation took 22366 ms to find 34 implicit places.
[2020-06-04 16:28:54] [INFO ] Redundant transitions in 239 ms returned []
// Phase 1: matrix 2248 rows 1353 cols
[2020-06-04 16:28:54] [INFO ] Computed 219 place invariants in 48 ms
[2020-06-04 16:28:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:29:03] [INFO ] Dead Transitions using invariants and state equation in 9050 ms returned []
Starting structural reductions, iteration 1 : 1353/1387 places, 2248/2248 transitions.
Performed 70 Post agglomeration using F-continuation condition.Transition count delta: 70
Iterating post reduction 0 with 70 rules applied. Total rules applied 70 place count 1353 transition count 2178
Reduce places removed 70 places and 0 transitions.
Iterating post reduction 1 with 70 rules applied. Total rules applied 140 place count 1283 transition count 2178
Performed 63 Post agglomeration using F-continuation condition.Transition count delta: 63
Deduced a syphon composed of 63 places in 4 ms
Reduce places removed 63 places and 0 transitions.
Iterating global reduction 2 with 126 rules applied. Total rules applied 266 place count 1220 transition count 2115
Free-agglomeration rule (complex) applied 61 times.
Iterating global reduction 2 with 61 rules applied. Total rules applied 327 place count 1220 transition count 2054
Reduce places removed 61 places and 0 transitions.
Iterating post reduction 2 with 61 rules applied. Total rules applied 388 place count 1159 transition count 2054
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 389 place count 1159 transition count 2054
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 390 place count 1159 transition count 2054
Applied a total of 390 rules in 405 ms. Remains 1159 /1353 variables (removed 194) and now considering 2054/2248 (removed 194) transitions.
// Phase 1: matrix 2054 rows 1159 cols
[2020-06-04 16:29:04] [INFO ] Computed 219 place invariants in 70 ms
[2020-06-04 16:29:10] [INFO ] Implicit Places using invariants in 6849 ms returned [18, 39, 57, 85, 99, 107, 113, 136, 137, 138, 156, 174, 202, 214, 222, 228, 245, 246, 247, 248, 249, 267, 312, 324, 332, 338, 345, 352, 353, 354, 355, 356, 374, 392, 420, 432, 440, 446, 462, 463, 464, 465, 466, 484, 502, 530, 542, 550, 556, 572, 573, 574, 575, 576, 594, 612, 642, 654, 662, 668, 684, 685, 686, 687, 688, 706, 724, 752, 764, 772, 778, 794, 795, 796, 797, 798, 816, 834, 862, 874, 882, 888, 910, 911, 912, 930, 948, 976, 988, 996, 1002, 1012, 1025, 1026, 1027, 1028, 1046, 1067, 1068, 1078, 1083, 1088, 1093, 1098, 1103, 1108, 1113, 1118, 1123, 1128]
Discarding 110 places :
Implicit Place search using SMT only with invariants took 6854 ms to find 110 implicit places.
Starting structural reductions, iteration 2 : 1049/1387 places, 2054/2248 transitions.
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Iterating post reduction 0 with 49 rules applied. Total rules applied 49 place count 1049 transition count 2005
Reduce places removed 49 places and 0 transitions.
Iterating post reduction 1 with 49 rules applied. Total rules applied 98 place count 1000 transition count 2005
Performed 33 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 33 Pre rules applied. Total rules applied 98 place count 1000 transition count 1972
Deduced a syphon composed of 33 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 34 places and 0 transitions.
Iterating global reduction 2 with 67 rules applied. Total rules applied 165 place count 966 transition count 1972
Discarding 21 places :
Implicit places reduction removed 21 places
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Iterating post reduction 2 with 45 rules applied. Total rules applied 210 place count 945 transition count 1948
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 3 with 24 rules applied. Total rules applied 234 place count 921 transition count 1948
Symmetric choice reduction at 4 with 59 rule applications. Total rules 293 place count 921 transition count 1948
Deduced a syphon composed of 59 places in 3 ms
Reduce places removed 59 places and 59 transitions.
Iterating global reduction 4 with 118 rules applied. Total rules applied 411 place count 862 transition count 1889
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 415 place count 862 transition count 1885
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 415 place count 862 transition count 1884
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 417 place count 861 transition count 1884
Symmetric choice reduction at 5 with 20 rule applications. Total rules 437 place count 861 transition count 1884
Deduced a syphon composed of 20 places in 3 ms
Reduce places removed 20 places and 20 transitions.
Iterating global reduction 5 with 40 rules applied. Total rules applied 477 place count 841 transition count 1864
Symmetric choice reduction at 5 with 9 rule applications. Total rules 486 place count 841 transition count 1864
Deduced a syphon composed of 9 places in 3 ms
Reduce places removed 9 places and 9 transitions.
Iterating global reduction 5 with 18 rules applied. Total rules applied 504 place count 832 transition count 1855
Symmetric choice reduction at 5 with 1 rule applications. Total rules 505 place count 832 transition count 1855
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 507 place count 831 transition count 1854
Performed 57 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 57 places in 3 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 5 with 114 rules applied. Total rules applied 621 place count 774 transition count 1796
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 5 with 7 rules applied. Total rules applied 628 place count 774 transition count 1789
Free-agglomeration rule applied 36 times.
Iterating global reduction 6 with 36 rules applied. Total rules applied 664 place count 774 transition count 1753
Reduce places removed 36 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 6 with 45 rules applied. Total rules applied 709 place count 738 transition count 1744
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 7 with 4 rules applied. Total rules applied 713 place count 738 transition count 1740
Ensure Unique test removed 1 places
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 718 place count 733 transition count 1740
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 8 with 2 rules applied. Total rules applied 720 place count 733 transition count 1740
Applied a total of 720 rules in 381 ms. Remains 733 /1049 variables (removed 316) and now considering 1740/2054 (removed 314) transitions.
// Phase 1: matrix 1740 rows 733 cols
[2020-06-04 16:29:11] [INFO ] Computed 86 place invariants in 32 ms
[2020-06-04 16:29:14] [INFO ] Implicit Places using invariants in 2996 ms returned [72, 91, 154, 170, 226, 241, 297, 312, 368, 383, 439, 455, 511, 526, 582, 597, 602, 603, 655, 670]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 3004 ms to find 20 implicit places.
Starting structural reductions, iteration 3 : 713/1387 places, 1740/2248 transitions.
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 713 transition count 1740
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 3 place count 712 transition count 1739
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 3 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 21 place count 703 transition count 1730
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 0 with 8 rules applied. Total rules applied 29 place count 703 transition count 1722
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 37 place count 695 transition count 1722
Applied a total of 37 rules in 86 ms. Remains 695 /713 variables (removed 18) and now considering 1722/1740 (removed 18) transitions.
// Phase 1: matrix 1722 rows 695 cols
[2020-06-04 16:29:14] [INFO ] Computed 66 place invariants in 24 ms
[2020-06-04 16:29:17] [INFO ] Implicit Places using invariants in 3193 ms returned []
// Phase 1: matrix 1722 rows 695 cols
[2020-06-04 16:29:17] [INFO ] Computed 66 place invariants in 24 ms
[2020-06-04 16:29:19] [INFO ] State equation strengthened by 9 read => feed constraints.
[2020-06-04 16:29:30] [INFO ] Implicit Places using invariants and state equation in 12628 ms returned []
Implicit Place search using SMT with State Equation took 15822 ms to find 0 implicit places.
Finished structural reductions, in 4 iterations. Remains : 695/1387 places, 1722/2248 transitions.
Incomplete random walk after 1000000 steps, including 17085 resets, run finished after 4331 ms. (steps per millisecond=230 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2464 resets, run finished after 1169 ms. (steps per millisecond=855 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2132 resets, run finished after 1291 ms. (steps per millisecond=774 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2235345 steps, run timeout after 30001 ms. (steps per millisecond=74 ) properties seen :[0, 0]
Probabilistic random walk after 2235345 steps, saw 612365 distinct states, run finished after 30001 ms. (steps per millisecond=74 ) properties seen :[0, 0]
// Phase 1: matrix 1722 rows 695 cols
[2020-06-04 16:30:06] [INFO ] Computed 66 place invariants in 26 ms
[2020-06-04 16:30:07] [INFO ] [Real]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 16:30:07] [INFO ] [Real]Absence check using 16 positive and 50 generalized place invariants in 37 ms returned sat
[2020-06-04 16:30:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:30:11] [INFO ] [Real]Absence check using state equation in 3902 ms returned sat
[2020-06-04 16:30:11] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:30:11] [INFO ] [Nat]Absence check using 16 positive place invariants in 446 ms returned sat
[2020-06-04 16:30:11] [INFO ] [Nat]Absence check using 16 positive and 50 generalized place invariants in 62 ms returned sat
[2020-06-04 16:30:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:30:18] [INFO ] [Nat]Absence check using state equation in 6676 ms returned sat
[2020-06-04 16:30:18] [INFO ] State equation strengthened by 9 read => feed constraints.
[2020-06-04 16:30:19] [INFO ] [Nat]Added 9 Read/Feed constraints in 1272 ms returned sat
[2020-06-04 16:30:19] [INFO ] Computed and/alt/rep : 1721/26805/1721 causal constraints in 143 ms.
[2020-06-04 16:30:32] [INFO ] Added : 190 causal constraints over 38 iterations in 12646 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 77 ms.
[2020-06-04 16:30:32] [INFO ] [Real]Absence check using 16 positive place invariants in 57 ms returned sat
[2020-06-04 16:30:32] [INFO ] [Real]Absence check using 16 positive and 50 generalized place invariants in 71 ms returned sat
[2020-06-04 16:30:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:30:36] [INFO ] [Real]Absence check using state equation in 3864 ms returned sat
[2020-06-04 16:30:36] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:30:37] [INFO ] [Nat]Absence check using 16 positive place invariants in 42 ms returned sat
[2020-06-04 16:30:37] [INFO ] [Nat]Absence check using 16 positive and 50 generalized place invariants in 50 ms returned sat
[2020-06-04 16:30:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:30:41] [INFO ] [Nat]Absence check using state equation in 4317 ms returned sat
[2020-06-04 16:30:42] [INFO ] [Nat]Added 9 Read/Feed constraints in 774 ms returned sat
[2020-06-04 16:30:42] [INFO ] Computed and/alt/rep : 1721/26805/1721 causal constraints in 133 ms.
[2020-06-04 16:31:02] [INFO ] Added : 335 causal constraints over 67 iterations in 20341 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 130 ms.
Incomplete Parikh walk after 451600 steps, including 6930 resets, run finished after 2703 ms. (steps per millisecond=167 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 597600 steps, including 9013 resets, run finished after 3666 ms. (steps per millisecond=163 ) properties seen :[0, 0] could not realise parikh vector
Support contains 9 out of 695 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 695/695 places, 1722/1722 transitions.
Applied a total of 0 rules in 36 ms. Remains 695 /695 variables (removed 0) and now considering 1722/1722 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 695/695 places, 1722/1722 transitions.
Starting structural reductions, iteration 0 : 695/695 places, 1722/1722 transitions.
Applied a total of 0 rules in 36 ms. Remains 695 /695 variables (removed 0) and now considering 1722/1722 (removed 0) transitions.
// Phase 1: matrix 1722 rows 695 cols
[2020-06-04 16:31:09] [INFO ] Computed 66 place invariants in 36 ms
[2020-06-04 16:31:11] [INFO ] Implicit Places using invariants in 2321 ms returned []
// Phase 1: matrix 1722 rows 695 cols
[2020-06-04 16:31:11] [INFO ] Computed 66 place invariants in 38 ms
[2020-06-04 16:31:13] [INFO ] State equation strengthened by 9 read => feed constraints.
[2020-06-04 16:31:21] [INFO ] Implicit Places using invariants and state equation in 9962 ms returned []
Implicit Place search using SMT with State Equation took 12285 ms to find 0 implicit places.
[2020-06-04 16:31:21] [INFO ] Redundant transitions in 106 ms returned []
// Phase 1: matrix 1722 rows 695 cols
[2020-06-04 16:31:21] [INFO ] Computed 66 place invariants in 36 ms
[2020-06-04 16:31:28] [INFO ] Dead Transitions using invariants and state equation in 7083 ms returned []
Finished structural reductions, in 1 iterations. Remains : 695/695 places, 1722/1722 transitions.
Incomplete random walk after 100000 steps, including 1700 resets, run finished after 652 ms. (steps per millisecond=153 ) properties seen :[0, 0]
// Phase 1: matrix 1722 rows 695 cols
[2020-06-04 16:31:29] [INFO ] Computed 66 place invariants in 38 ms
[2020-06-04 16:31:29] [INFO ] [Real]Absence check using 16 positive place invariants in 57 ms returned sat
[2020-06-04 16:31:29] [INFO ] [Real]Absence check using 16 positive and 50 generalized place invariants in 62 ms returned sat
[2020-06-04 16:31:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:31:33] [INFO ] [Real]Absence check using state equation in 3631 ms returned sat
[2020-06-04 16:31:33] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:31:33] [INFO ] [Nat]Absence check using 16 positive place invariants in 357 ms returned sat
[2020-06-04 16:31:34] [INFO ] [Nat]Absence check using 16 positive and 50 generalized place invariants in 45 ms returned sat
[2020-06-04 16:31:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:31:39] [INFO ] [Nat]Absence check using state equation in 5948 ms returned sat
[2020-06-04 16:31:39] [INFO ] State equation strengthened by 9 read => feed constraints.
[2020-06-04 16:31:41] [INFO ] [Nat]Added 9 Read/Feed constraints in 1244 ms returned sat
[2020-06-04 16:31:41] [INFO ] Computed and/alt/rep : 1721/26805/1721 causal constraints in 126 ms.
[2020-06-04 16:31:53] [INFO ] Added : 190 causal constraints over 38 iterations in 12211 ms. Result :unknown
[2020-06-04 16:31:53] [INFO ] [Real]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 16:31:53] [INFO ] [Real]Absence check using 16 positive and 50 generalized place invariants in 74 ms returned sat
[2020-06-04 16:31:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:31:57] [INFO ] [Real]Absence check using state equation in 4042 ms returned sat
[2020-06-04 16:31:57] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:31:58] [INFO ] [Nat]Absence check using 16 positive place invariants in 47 ms returned sat
[2020-06-04 16:31:58] [INFO ] [Nat]Absence check using 16 positive and 50 generalized place invariants in 54 ms returned sat
[2020-06-04 16:31:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:32:02] [INFO ] [Nat]Absence check using state equation in 4499 ms returned sat
[2020-06-04 16:32:03] [INFO ] [Nat]Added 9 Read/Feed constraints in 573 ms returned sat
[2020-06-04 16:32:03] [INFO ] Computed and/alt/rep : 1721/26805/1721 causal constraints in 149 ms.
[2020-06-04 16:32:17] [INFO ] Added : 250 causal constraints over 50 iterations in 14603 ms. Result :(error "Failed to check-sat")
Applied a total of 0 rules in 23 ms. Remains 695 /695 variables (removed 0) and now considering 1722/1722 (removed 0) transitions.
// Phase 1: matrix 1722 rows 695 cols
[2020-06-04 16:32:17] [INFO ] Computed 66 place invariants in 22 ms
[2020-06-04 16:32:18] [INFO ] [Real]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 16:32:18] [INFO ] [Real]Absence check using 16 positive and 50 generalized place invariants in 38 ms returned sat
[2020-06-04 16:32:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:32:21] [INFO ] [Real]Absence check using state equation in 3593 ms returned sat
[2020-06-04 16:32:21] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:32:22] [INFO ] [Nat]Absence check using 16 positive place invariants in 429 ms returned sat
[2020-06-04 16:32:22] [INFO ] [Nat]Absence check using 16 positive and 50 generalized place invariants in 57 ms returned sat
[2020-06-04 16:32:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:32:29] [INFO ] [Nat]Absence check using state equation in 6814 ms returned sat
[2020-06-04 16:32:29] [INFO ] Computed and/alt/rep : 1721/26679/1721 causal constraints in 190 ms.
[2020-06-04 16:32:49] [INFO ] Added : 245 causal constraints over 49 iterations in 20291 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 127 ms.
[2020-06-04 16:32:50] [INFO ] [Real]Absence check using 16 positive place invariants in 56 ms returned sat
[2020-06-04 16:32:50] [INFO ] [Real]Absence check using 16 positive and 50 generalized place invariants in 72 ms returned sat
[2020-06-04 16:32:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:32:54] [INFO ] [Real]Absence check using state equation in 3774 ms returned sat
[2020-06-04 16:32:54] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:32:54] [INFO ] [Nat]Absence check using 16 positive place invariants in 43 ms returned sat
[2020-06-04 16:32:54] [INFO ] [Nat]Absence check using 16 positive and 50 generalized place invariants in 51 ms returned sat
[2020-06-04 16:32:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:32:58] [INFO ] [Nat]Absence check using state equation in 4339 ms returned sat
[2020-06-04 16:32:58] [INFO ] Computed and/alt/rep : 1721/26679/1721 causal constraints in 173 ms.
[2020-06-04 16:33:18] [INFO ] Added : 310 causal constraints over 62 iterations in 20274 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 139 ms.
[2020-06-04 16:33:19] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 4 ms.
[2020-06-04 16:33:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 26 ms.
[2020-06-04 16:33:19] [INFO ] Flatten gal took : 317 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityFireability @ ASLink-PT-09a @ 3570 seconds
FORMULA ASLink-PT-09a-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 261852 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16134708 kB
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-09a"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="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-09a, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787300143"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-09a.tgz
mv ASLink-PT-09a execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;