About the Execution of ITS-LoLa for ASLink-PT-08a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15784.940 | 3600000.00 | 4607046.00 | 24546.10 | F?TTFTTFFFFF?TTT | 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-158987787300127.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-08a, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787300127
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 924K
-rw-r--r-- 1 mcc users 3.6K 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.3K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 757K 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-08a-ReachabilityFireability-00
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-01
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-02
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-03
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-04
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-05
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-06
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-07
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-08
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-09
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-10
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-11
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-12
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-13
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-14
FORMULA_NAME ASLink-PT-08a-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1591266449926
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 10:27:33] [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 10:27:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 10:27:33] [INFO ] Load time of PNML (sax parser for PT used): 398 ms
[2020-06-04 10:27:33] [INFO ] Transformed 1796 places.
[2020-06-04 10:27:33] [INFO ] Transformed 2646 transitions.
[2020-06-04 10:27:33] [INFO ] Found NUPN structural information;
[2020-06-04 10:27:33] [INFO ] Parsed PT model containing 1796 places and 2646 transitions in 506 ms.
Ensure Unique test removed 28 transitions
Reduce redundant transitions removed 28 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 51 resets, run finished after 161 ms. (steps per millisecond=62 ) properties seen :[0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0]
FORMULA ASLink-PT-08a-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08a-ReachabilityFireability-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08a-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08a-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 44 ms. (steps per millisecond=227 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10000 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=185 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 41 ms. (steps per millisecond=243 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 53 ms. (steps per millisecond=188 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 63 ms. (steps per millisecond=158 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=140 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 40 ms. (steps per millisecond=250 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=196 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 32 ms. (steps per millisecond=312 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=270 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 35 ms. (steps per millisecond=285 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 47 ms. (steps per millisecond=212 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]
FORMULA ASLink-PT-08a-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
// Phase 1: matrix 2618 rows 1796 cols
[2020-06-04 10:27:34] [INFO ] Computed 346 place invariants in 343 ms
[2020-06-04 10:27:35] [INFO ] [Real]Absence check using 85 positive place invariants in 190 ms returned sat
[2020-06-04 10:27:36] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 509 ms returned sat
[2020-06-04 10:27:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:27:39] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:27:39] [INFO ] [Real]Absence check using state equation in 3752 ms returned (error "Failed to check-sat")
[2020-06-04 10:27:40] [INFO ] [Real]Absence check using 85 positive place invariants in 215 ms returned sat
[2020-06-04 10:27:41] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 607 ms returned sat
[2020-06-04 10:27:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:27:44] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:27:44] [INFO ] [Real]Absence check using state equation in 3662 ms returned (error "Failed to check-sat")
[2020-06-04 10:27:45] [INFO ] [Real]Absence check using 85 positive place invariants in 237 ms returned sat
[2020-06-04 10:27:46] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 689 ms returned sat
[2020-06-04 10:27:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:27:49] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:27:49] [INFO ] [Real]Absence check using state equation in 3587 ms returned (error "Failed to check-sat")
[2020-06-04 10:27:50] [INFO ] [Real]Absence check using 85 positive place invariants in 256 ms returned sat
[2020-06-04 10:27:51] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 702 ms returned sat
[2020-06-04 10:27:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:27:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:27:55] [INFO ] [Real]Absence check using state equation in 3509 ms returned (error "Failed to check-sat")
[2020-06-04 10:27:55] [INFO ] [Real]Absence check using 85 positive place invariants in 244 ms returned sat
[2020-06-04 10:27:56] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 646 ms returned sat
[2020-06-04 10:27:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:28:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:28:00] [INFO ] [Real]Absence check using state equation in 3623 ms returned (error "Failed to check-sat")
[2020-06-04 10:28:00] [INFO ] [Real]Absence check using 85 positive place invariants in 247 ms returned sat
[2020-06-04 10:28:01] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 239 ms returned unsat
[2020-06-04 10:28:01] [INFO ] [Real]Absence check using 85 positive place invariants in 254 ms returned sat
[2020-06-04 10:28:02] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 618 ms returned sat
[2020-06-04 10:28:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:28:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:28:06] [INFO ] [Real]Absence check using state equation in 3625 ms returned (error "Failed to check-sat")
[2020-06-04 10:28:06] [INFO ] [Real]Absence check using 85 positive place invariants in 170 ms returned sat
[2020-06-04 10:28:07] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 566 ms returned sat
[2020-06-04 10:28:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:28:11] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:28:11] [INFO ] [Real]Absence check using state equation in 3903 ms returned (error "Failed to check-sat")
[2020-06-04 10:28:11] [INFO ] [Real]Absence check using 85 positive place invariants in 250 ms returned sat
[2020-06-04 10:28:12] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 594 ms returned sat
[2020-06-04 10:28:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:28:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:28:16] [INFO ] [Real]Absence check using state equation in 3678 ms returned (error "Failed to check-sat")
[2020-06-04 10:28:16] [INFO ] [Real]Absence check using 85 positive place invariants in 209 ms returned sat
[2020-06-04 10:28:17] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 586 ms returned sat
[2020-06-04 10:28:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:28:21] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:28:21] [INFO ] [Real]Absence check using state equation in 3805 ms returned (error "Failed to check-sat")
[2020-06-04 10:28:21] [INFO ] [Real]Absence check using 85 positive place invariants in 218 ms returned sat
[2020-06-04 10:28:22] [INFO ] [Real]Absence check using 85 positive and 261 generalized place invariants in 409 ms returned sat
[2020-06-04 10:28:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:28:26] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:28:26] [INFO ] [Real]Absence check using state equation in 3901 ms returned (error "Failed to check-sat")
FORMULA ASLink-PT-08a-ReachabilityFireability-06 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Support contains 63 out of 1796 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1796/1796 places, 2618/2618 transitions.
Ensure Unique test removed 31 places
Discarding 16 places :
Implicit places reduction removed 16 places
Performed 161 Post agglomeration using F-continuation condition.Transition count delta: 161
Iterating post reduction 0 with 208 rules applied. Total rules applied 208 place count 1749 transition count 2457
Reduce places removed 161 places and 0 transitions.
Iterating post reduction 1 with 161 rules applied. Total rules applied 369 place count 1588 transition count 2457
Performed 167 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 167 Pre rules applied. Total rules applied 369 place count 1588 transition count 2290
Deduced a syphon composed of 167 places in 7 ms
Ensure Unique test removed 67 places
Reduce places removed 234 places and 0 transitions.
Iterating global reduction 2 with 401 rules applied. Total rules applied 770 place count 1354 transition count 2290
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 771 place count 1354 transition count 2289
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 772 place count 1353 transition count 2289
Symmetric choice reduction at 4 with 10 rule applications. Total rules 782 place count 1353 transition count 2289
Deduced a syphon composed of 10 places in 21 ms
Reduce places removed 10 places and 53 transitions.
Iterating global reduction 4 with 20 rules applied. Total rules applied 802 place count 1343 transition count 2236
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 809 place count 1341 transition count 2231
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 812 place count 1338 transition count 2231
Symmetric choice reduction at 6 with 1 rule applications. Total rules 813 place count 1338 transition count 2231
Deduced a syphon composed of 1 places in 19 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 815 place count 1337 transition count 2223
Symmetric choice reduction at 6 with 1 rule applications. Total rules 816 place count 1337 transition count 2223
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 818 place count 1336 transition count 2215
Symmetric choice reduction at 6 with 1 rule applications. Total rules 819 place count 1336 transition count 2215
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 821 place count 1335 transition count 2207
Symmetric choice reduction at 6 with 1 rule applications. Total rules 822 place count 1335 transition count 2207
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 824 place count 1334 transition count 2199
Symmetric choice reduction at 6 with 1 rule applications. Total rules 825 place count 1334 transition count 2199
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 827 place count 1333 transition count 2191
Symmetric choice reduction at 6 with 1 rule applications. Total rules 828 place count 1333 transition count 2191
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 830 place count 1332 transition count 2183
Symmetric choice reduction at 6 with 1 rule applications. Total rules 831 place count 1332 transition count 2183
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 833 place count 1331 transition count 2175
Performed 53 Post agglomeration using F-continuation condition.Transition count delta: 53
Deduced a syphon composed of 53 places in 4 ms
Reduce places removed 53 places and 0 transitions.
Iterating global reduction 6 with 106 rules applied. Total rules applied 939 place count 1278 transition count 2122
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 6 with 7 rules applied. Total rules applied 946 place count 1278 transition count 2115
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 6 with 7 rules applied. Total rules applied 953 place count 1271 transition count 2115
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 7 with 8 rules applied. Total rules applied 961 place count 1271 transition count 2115
Partial Post-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 7 with 7 rules applied. Total rules applied 968 place count 1271 transition count 2115
Applied a total of 968 rules in 1625 ms. Remains 1271 /1796 variables (removed 525) and now considering 2115/2618 (removed 503) transitions.
Finished structural reductions, in 1 iterations. Remains : 1271/1796 places, 2115/2618 transitions.
Incomplete random walk after 1000000 steps, including 8352 resets, run finished after 6429 ms. (steps per millisecond=155 ) properties seen :[0, 0, 0, 0, 0, 0, 1, 0, 0, 0]
FORMULA ASLink-PT-08a-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 1123 resets, run finished after 2586 ms. (steps per millisecond=386 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1085 resets, run finished after 2849 ms. (steps per millisecond=351 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1088 resets, run finished after 2910 ms. (steps per millisecond=343 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1095 resets, run finished after 3280 ms. (steps per millisecond=304 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1081 resets, run finished after 2885 ms. (steps per millisecond=346 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1119 resets, run finished after 2431 ms. (steps per millisecond=411 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1101 resets, run finished after 2418 ms. (steps per millisecond=413 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1084 resets, run finished after 2419 ms. (steps per millisecond=413 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1091 resets, run finished after 2516 ms. (steps per millisecond=397 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2115 rows 1271 cols
[2020-06-04 10:28:58] [INFO ] Computed 230 place invariants in 170 ms
[2020-06-04 10:28:59] [INFO ] [Real]Absence check using 61 positive place invariants in 94 ms returned sat
[2020-06-04 10:28:59] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 208 ms returned sat
[2020-06-04 10:28:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:29:08] [INFO ] [Real]Absence check using state equation in 8994 ms returned sat
[2020-06-04 10:29:08] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:29:08] [INFO ] [Nat]Absence check using 61 positive place invariants in 101 ms returned sat
[2020-06-04 10:29:08] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 186 ms returned sat
[2020-06-04 10:29:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:29:09] [INFO ] [Nat]Absence check using state equation in 958 ms returned unsat
[2020-06-04 10:29:10] [INFO ] [Real]Absence check using 61 positive place invariants in 151 ms returned sat
[2020-06-04 10:29:10] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 319 ms returned sat
[2020-06-04 10:29:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:29:20] [INFO ] [Real]Absence check using state equation in 9410 ms returned sat
[2020-06-04 10:29:20] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:29:20] [INFO ] [Nat]Absence check using 61 positive place invariants in 139 ms returned sat
[2020-06-04 10:29:21] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 328 ms returned sat
[2020-06-04 10:29:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:29:30] [INFO ] [Nat]Absence check using state equation in 9746 ms returned sat
[2020-06-04 10:29:30] [INFO ] State equation strengthened by 55 read => feed constraints.
[2020-06-04 10:29:31] [INFO ] [Nat]Added 55 Read/Feed constraints in 224 ms returned sat
[2020-06-04 10:29:31] [INFO ] Deduced a trap composed of 25 places in 235 ms
[2020-06-04 10:29:31] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 500 ms
[2020-06-04 10:29:31] [INFO ] Computed and/alt/rep : 2114/26655/2114 causal constraints in 313 ms.
[2020-06-04 10:29:49] [INFO ] Added : 200 causal constraints over 40 iterations in 18265 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 81 ms.
[2020-06-04 10:29:50] [INFO ] [Real]Absence check using 61 positive place invariants in 96 ms returned sat
[2020-06-04 10:29:50] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 245 ms returned sat
[2020-06-04 10:29:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:29:59] [INFO ] [Real]Absence check using state equation in 9359 ms returned sat
[2020-06-04 10:30:00] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:30:00] [INFO ] [Nat]Absence check using 61 positive place invariants in 137 ms returned sat
[2020-06-04 10:30:00] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 333 ms returned sat
[2020-06-04 10:30:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:30:08] [INFO ] [Nat]Absence check using state equation in 8086 ms returned unsat
[2020-06-04 10:30:09] [INFO ] [Real]Absence check using 61 positive place invariants in 94 ms returned sat
[2020-06-04 10:30:09] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 207 ms returned sat
[2020-06-04 10:30:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:30:18] [INFO ] [Real]Absence check using state equation in 9488 ms returned sat
[2020-06-04 10:30:19] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:30:19] [INFO ] [Nat]Absence check using 61 positive place invariants in 92 ms returned sat
[2020-06-04 10:30:19] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 218 ms returned sat
[2020-06-04 10:30:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:30:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:30:37] [INFO ] [Nat]Absence check using state equation in 17772 ms returned unknown
[2020-06-04 10:30:37] [INFO ] [Real]Absence check using 61 positive place invariants in 153 ms returned sat
[2020-06-04 10:30:38] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 321 ms returned sat
[2020-06-04 10:30:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:30:47] [INFO ] [Real]Absence check using state equation in 9649 ms returned sat
[2020-06-04 10:30:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:30:48] [INFO ] [Nat]Absence check using 61 positive place invariants in 139 ms returned sat
[2020-06-04 10:30:48] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 334 ms returned sat
[2020-06-04 10:30:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:30:57] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:31:00] [INFO ] [Nat]Absence check using state equation in 12166 ms returned unknown
[2020-06-04 10:31:00] [INFO ] [Real]Absence check using 61 positive place invariants in 95 ms returned sat
[2020-06-04 10:31:01] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 239 ms returned sat
[2020-06-04 10:31:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:31:09] [INFO ] [Real]Absence check using state equation in 8777 ms returned sat
[2020-06-04 10:31:10] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:31:10] [INFO ] [Nat]Absence check using 61 positive place invariants in 152 ms returned sat
[2020-06-04 10:31:10] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 302 ms returned sat
[2020-06-04 10:31:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:31:24] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:31:27] [INFO ] [Nat]Absence check using state equation in 16800 ms returned unknown
[2020-06-04 10:31:28] [INFO ] [Real]Absence check using 61 positive place invariants in 90 ms returned sat
[2020-06-04 10:31:28] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 280 ms returned sat
[2020-06-04 10:31:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:31:37] [INFO ] [Real]Absence check using state equation in 9073 ms returned sat
[2020-06-04 10:31:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:31:37] [INFO ] [Nat]Absence check using 61 positive place invariants in 138 ms returned sat
[2020-06-04 10:31:38] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 283 ms returned sat
[2020-06-04 10:31:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:31:46] [INFO ] [Nat]Absence check using state equation in 8214 ms returned unsat
[2020-06-04 10:31:46] [INFO ] [Real]Absence check using 61 positive place invariants in 147 ms returned sat
[2020-06-04 10:31:47] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 293 ms returned sat
[2020-06-04 10:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:31:55] [INFO ] [Real]Absence check using state equation in 8643 ms returned sat
[2020-06-04 10:31:55] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:31:56] [INFO ] [Nat]Absence check using 61 positive place invariants in 108 ms returned sat
[2020-06-04 10:31:56] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 286 ms returned sat
[2020-06-04 10:31:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:32:07] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:32:10] [INFO ] [Nat]Absence check using state equation in 14094 ms returned unknown
[2020-06-04 10:32:10] [INFO ] [Real]Absence check using 61 positive place invariants in 105 ms returned sat
[2020-06-04 10:32:10] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 196 ms returned sat
[2020-06-04 10:32:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:32:19] [INFO ] [Real]Absence check using state equation in 8522 ms returned sat
[2020-06-04 10:32:19] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:32:19] [INFO ] [Nat]Absence check using 61 positive place invariants in 88 ms returned sat
[2020-06-04 10:32:20] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 188 ms returned sat
[2020-06-04 10:32:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:32:30] [INFO ] [Nat]Absence check using state equation in 10249 ms returned sat
[2020-06-04 10:32:30] [INFO ] [Nat]Added 55 Read/Feed constraints in 544 ms returned sat
[2020-06-04 10:32:31] [INFO ] Computed and/alt/rep : 2114/26655/2114 causal constraints in 222 ms.
[2020-06-04 10:32:51] [INFO ] Added : 200 causal constraints over 40 iterations in 20425 ms. Result :unknown
FORMULA ASLink-PT-08a-ReachabilityFireability-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08a-ReachabilityFireability-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08a-ReachabilityFireability-00 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Incomplete Parikh walk after 964700 steps, including 7162 resets, run finished after 6707 ms. (steps per millisecond=143 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 951200 steps, including 7126 resets, run finished after 6106 ms. (steps per millisecond=155 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Support contains 44 out of 1271 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1271/1271 places, 2115/2115 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 1271 transition count 2114
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1270 transition count 2114
Applied a total of 2 rules in 78 ms. Remains 1270 /1271 variables (removed 1) and now considering 2114/2115 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 1270/1271 places, 2114/2115 transitions.
Incomplete random walk after 1000000 steps, including 8408 resets, run finished after 6370 ms. (steps per millisecond=156 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1079 resets, run finished after 2782 ms. (steps per millisecond=359 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1087 resets, run finished after 2815 ms. (steps per millisecond=355 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1109 resets, run finished after 2822 ms. (steps per millisecond=354 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1140 resets, run finished after 2551 ms. (steps per millisecond=392 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1093 resets, run finished after 2350 ms. (steps per millisecond=425 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1089 resets, run finished after 2366 ms. (steps per millisecond=422 ) properties seen :[0, 0, 0, 0, 0, 0]
Interrupted probabilistic random walk after 1083164 steps, run timeout after 30001 ms. (steps per millisecond=36 ) properties seen :[0, 0, 0, 0, 0, 0]
Probabilistic random walk after 1083164 steps, saw 396958 distinct states, run finished after 30001 ms. (steps per millisecond=36 ) properties seen :[0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2114 rows 1270 cols
[2020-06-04 10:33:56] [INFO ] Computed 230 place invariants in 58 ms
[2020-06-04 10:33:56] [INFO ] [Real]Absence check using 61 positive place invariants in 157 ms returned sat
[2020-06-04 10:33:57] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 309 ms returned sat
[2020-06-04 10:33:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:34:06] [INFO ] [Real]Absence check using state equation in 9549 ms returned sat
[2020-06-04 10:34:06] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:34:07] [INFO ] [Nat]Absence check using 61 positive place invariants in 300 ms returned sat
[2020-06-04 10:34:07] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 327 ms returned sat
[2020-06-04 10:34:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:34:16] [INFO ] [Nat]Absence check using state equation in 8589 ms returned sat
[2020-06-04 10:34:16] [INFO ] State equation strengthened by 56 read => feed constraints.
[2020-06-04 10:34:16] [INFO ] [Nat]Added 56 Read/Feed constraints in 618 ms returned sat
[2020-06-04 10:34:17] [INFO ] Computed and/alt/rep : 2113/26649/2113 causal constraints in 163 ms.
[2020-06-04 10:34:37] [INFO ] Added : 265 causal constraints over 53 iterations in 20194 ms.(timeout) Result :sat
[2020-06-04 10:34:38] [INFO ] Deduced a trap composed of 35 places in 1026 ms
[2020-06-04 10:34:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1484 ms
Attempting to minimize the solution found.
Minimization took 153 ms.
[2020-06-04 10:34:39] [INFO ] [Real]Absence check using 61 positive place invariants in 156 ms returned sat
[2020-06-04 10:34:39] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 334 ms returned sat
[2020-06-04 10:34:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:34:50] [INFO ] [Real]Absence check using state equation in 10330 ms returned sat
[2020-06-04 10:34:50] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:34:50] [INFO ] [Nat]Absence check using 61 positive place invariants in 232 ms returned sat
[2020-06-04 10:34:50] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 335 ms returned sat
[2020-06-04 10:34:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:35:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:35:08] [INFO ] [Nat]Absence check using state equation in 17673 ms returned unknown
[2020-06-04 10:35:08] [INFO ] [Real]Absence check using 61 positive place invariants in 89 ms returned sat
[2020-06-04 10:35:09] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 227 ms returned sat
[2020-06-04 10:35:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:35:18] [INFO ] [Real]Absence check using state equation in 9058 ms returned sat
[2020-06-04 10:35:18] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:35:18] [INFO ] [Nat]Absence check using 61 positive place invariants in 183 ms returned sat
[2020-06-04 10:35:18] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 268 ms returned sat
[2020-06-04 10:35:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:35:28] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:35:31] [INFO ] [Nat]Absence check using state equation in 12356 ms returned unknown
[2020-06-04 10:35:31] [INFO ] [Real]Absence check using 61 positive place invariants in 91 ms returned sat
[2020-06-04 10:35:31] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 300 ms returned sat
[2020-06-04 10:35:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:35:40] [INFO ] [Real]Absence check using state equation in 8611 ms returned sat
[2020-06-04 10:35:40] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:35:41] [INFO ] [Nat]Absence check using 61 positive place invariants in 171 ms returned sat
[2020-06-04 10:35:41] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 293 ms returned sat
[2020-06-04 10:35:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:35:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:35:58] [INFO ] [Nat]Absence check using state equation in 16869 ms returned unknown
[2020-06-04 10:35:58] [INFO ] [Real]Absence check using 61 positive place invariants in 94 ms returned sat
[2020-06-04 10:35:58] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 291 ms returned sat
[2020-06-04 10:35:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:36:07] [INFO ] [Real]Absence check using state equation in 8232 ms returned sat
[2020-06-04 10:36:07] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:36:07] [INFO ] [Nat]Absence check using 61 positive place invariants in 111 ms returned sat
[2020-06-04 10:36:07] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 208 ms returned sat
[2020-06-04 10:36:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:36:18] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:36:21] [INFO ] [Nat]Absence check using state equation in 13994 ms returned unknown
[2020-06-04 10:36:21] [INFO ] [Real]Absence check using 61 positive place invariants in 94 ms returned sat
[2020-06-04 10:36:22] [INFO ] [Real]Absence check using 61 positive and 169 generalized place invariants in 239 ms returned sat
[2020-06-04 10:36:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:36:30] [INFO ] [Real]Absence check using state equation in 8789 ms returned sat
[2020-06-04 10:36:31] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:36:31] [INFO ] [Nat]Absence check using 61 positive place invariants in 176 ms returned sat
[2020-06-04 10:36:31] [INFO ] [Nat]Absence check using 61 positive and 169 generalized place invariants in 293 ms returned sat
[2020-06-04 10:36:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:36:40] [INFO ] [Nat]Absence check using state equation in 9057 ms returned sat
[2020-06-04 10:36:41] [INFO ] [Nat]Added 56 Read/Feed constraints in 555 ms returned sat
[2020-06-04 10:36:41] [INFO ] Computed and/alt/rep : 2113/26649/2113 causal constraints in 244 ms.
[2020-06-04 10:37:01] [INFO ] Added : 200 causal constraints over 40 iterations in 20098 ms. Result :unknown
Incomplete Parikh walk after 881800 steps, including 6676 resets, run finished after 6120 ms. (steps per millisecond=144 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 376400 steps, including 3096 resets, run finished after 2452 ms. (steps per millisecond=153 ) properties seen :[0, 0, 0, 0, 0, 0] could not realise parikh vector
Support contains 44 out of 1270 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1270/1270 places, 2114/2114 transitions.
Applied a total of 0 rules in 55 ms. Remains 1270 /1270 variables (removed 0) and now considering 2114/2114 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1270/1270 places, 2114/2114 transitions.
Starting structural reductions, iteration 0 : 1270/1270 places, 2114/2114 transitions.
Applied a total of 0 rules in 64 ms. Remains 1270 /1270 variables (removed 0) and now considering 2114/2114 (removed 0) transitions.
// Phase 1: matrix 2114 rows 1270 cols
[2020-06-04 10:37:10] [INFO ] Computed 230 place invariants in 55 ms
[2020-06-04 10:37:18] [INFO ] Implicit Places using invariants in 8422 ms returned [1, 19, 22, 32, 150, 168, 287, 301, 305, 421, 435, 437, 438, 555, 571, 572, 688, 704, 705, 822, 838, 839, 857, 956, 972, 973, 1094, 1108, 1138, 1141, 1159, 1161]
Discarding 32 places :
Implicit Place search using SMT only with invariants took 8427 ms to find 32 implicit places.
[2020-06-04 10:37:19] [INFO ] Redundant transitions in 300 ms returned []
// Phase 1: matrix 2114 rows 1238 cols
[2020-06-04 10:37:19] [INFO ] Computed 198 place invariants in 77 ms
[2020-06-04 10:37:32] [INFO ] Dead Transitions using invariants and state equation in 13613 ms returned []
Starting structural reductions, iteration 1 : 1238/1270 places, 2114/2114 transitions.
Performed 59 Post agglomeration using F-continuation condition.Transition count delta: 59
Iterating post reduction 0 with 59 rules applied. Total rules applied 59 place count 1238 transition count 2055
Reduce places removed 59 places and 0 transitions.
Iterating post reduction 1 with 59 rules applied. Total rules applied 118 place count 1179 transition count 2055
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 118 place count 1179 transition count 2052
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 124 place count 1176 transition count 2052
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 1 rules applied. Total rules applied 125 place count 1175 transition count 2052
Symmetric choice reduction at 3 with 1 rule applications. Total rules 126 place count 1175 transition count 2052
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 128 place count 1174 transition count 2051
Symmetric choice reduction at 3 with 1 rule applications. Total rules 129 place count 1174 transition count 2051
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 131 place count 1173 transition count 2050
Performed 54 Post agglomeration using F-continuation condition.Transition count delta: 54
Deduced a syphon composed of 54 places in 3 ms
Reduce places removed 54 places and 0 transitions.
Iterating global reduction 3 with 108 rules applied. Total rules applied 239 place count 1119 transition count 1996
Free-agglomeration rule (complex) applied 56 times.
Iterating global reduction 3 with 56 rules applied. Total rules applied 295 place count 1119 transition count 1940
Reduce places removed 56 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 57 rules applied. Total rules applied 352 place count 1063 transition count 1939
Partial Free-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 4 with 4 rules applied. Total rules applied 356 place count 1063 transition count 1939
Applied a total of 356 rules in 313 ms. Remains 1063 /1238 variables (removed 175) and now considering 1939/2114 (removed 175) transitions.
// Phase 1: matrix 1939 rows 1063 cols
[2020-06-04 10:37:33] [INFO ] Computed 197 place invariants in 43 ms
[2020-06-04 10:37:39] [INFO ] Implicit Places using invariants in 6920 ms returned [18, 39, 57, 85, 107, 114, 130, 131, 132, 133, 134, 154, 172, 242, 258, 259, 261, 262, 263, 281, 299, 317, 326, 338, 346, 352, 357, 362, 365, 366, 384, 402, 430, 442, 451, 457, 473, 476, 477, 478, 496, 514, 542, 554, 562, 568, 584, 585, 586, 587, 588, 606, 624, 652, 664, 672, 678, 695, 696, 697, 698, 699, 734, 762, 771, 777, 780, 782, 804, 805, 806, 824, 842, 871, 883, 891, 897, 907, 920, 921, 922, 923, 950, 971, 972, 982, 987, 992, 997, 1002, 1007, 1012, 1017, 1022, 1027, 1032]
Discarding 96 places :
Implicit Place search using SMT only with invariants took 6930 ms to find 96 implicit places.
Starting structural reductions, iteration 2 : 967/1270 places, 1939/2114 transitions.
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Iterating post reduction 0 with 45 rules applied. Total rules applied 45 place count 967 transition count 1894
Reduce places removed 45 places and 0 transitions.
Iterating post reduction 1 with 45 rules applied. Total rules applied 90 place count 922 transition count 1894
Performed 32 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 32 Pre rules applied. Total rules applied 90 place count 922 transition count 1862
Deduced a syphon composed of 32 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 65 rules applied. Total rules applied 155 place count 889 transition count 1862
Discarding 18 places :
Implicit places reduction removed 18 places
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Iterating post reduction 2 with 38 rules applied. Total rules applied 193 place count 871 transition count 1842
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 3 with 20 rules applied. Total rules applied 213 place count 851 transition count 1842
Symmetric choice reduction at 4 with 49 rule applications. Total rules 262 place count 851 transition count 1842
Deduced a syphon composed of 49 places in 4 ms
Reduce places removed 49 places and 49 transitions.
Iterating global reduction 4 with 98 rules applied. Total rules applied 360 place count 802 transition count 1793
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 364 place count 802 transition count 1789
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 364 place count 802 transition count 1788
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 366 place count 801 transition count 1788
Symmetric choice reduction at 5 with 15 rule applications. Total rules 381 place count 801 transition count 1788
Deduced a syphon composed of 15 places in 4 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 5 with 30 rules applied. Total rules applied 411 place count 786 transition count 1773
Symmetric choice reduction at 5 with 6 rule applications. Total rules 417 place count 786 transition count 1773
Deduced a syphon composed of 6 places in 4 ms
Reduce places removed 6 places and 6 transitions.
Iterating global reduction 5 with 12 rules applied. Total rules applied 429 place count 780 transition count 1767
Symmetric choice reduction at 5 with 1 rule applications. Total rules 430 place count 780 transition count 1767
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 432 place count 779 transition count 1766
Performed 46 Post agglomeration using F-continuation condition.Transition count delta: 46
Deduced a syphon composed of 46 places in 3 ms
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 5 with 92 rules applied. Total rules applied 524 place count 733 transition count 1720
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 5 with 4 rules applied. Total rules applied 528 place count 733 transition count 1716
Symmetric choice reduction at 6 with 1 rule applications. Total rules 529 place count 733 transition count 1716
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 531 place count 732 transition count 1714
Free-agglomeration rule applied 28 times.
Iterating global reduction 6 with 28 rules applied. Total rules applied 559 place count 732 transition count 1686
Reduce places removed 28 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 6 with 32 rules applied. Total rules applied 591 place count 704 transition count 1682
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 7 with 7 rules applied. Total rules applied 598 place count 704 transition count 1675
Ensure Unique test removed 1 places
Reduce places removed 8 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 608 place count 696 transition count 1673
Partial Free-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 8 with 4 rules applied. Total rules applied 612 place count 696 transition count 1673
Partial Post-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 8 with 3 rules applied. Total rules applied 615 place count 696 transition count 1673
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 616 place count 696 transition count 1672
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 618 place count 696 transition count 1670
Applied a total of 618 rules in 542 ms. Remains 696 /967 variables (removed 271) and now considering 1670/1939 (removed 269) transitions.
// Phase 1: matrix 1670 rows 696 cols
[2020-06-04 10:37:40] [INFO ] Computed 81 place invariants in 41 ms
[2020-06-04 10:37:42] [INFO ] Implicit Places using invariants in 2153 ms returned [72, 95, 155, 177, 183, 186, 188, 189, 317, 334, 392, 407, 463, 479, 535, 551, 556, 557, 609, 624]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 2157 ms to find 20 implicit places.
Starting structural reductions, iteration 3 : 676/1270 places, 1670/2114 transitions.
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 676 transition count 1670
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 4 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 12 place count 672 transition count 1666
Symmetric choice reduction at 0 with 1 rule applications. Total rules 13 place count 672 transition count 1666
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 15 place count 671 transition count 1665
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 3 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 29 place count 664 transition count 1658
Free-agglomeration rule applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 32 place count 664 transition count 1655
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 35 place count 661 transition count 1655
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 1 with 4 rules applied. Total rules applied 39 place count 661 transition count 1651
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 43 place count 657 transition count 1651
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 44 place count 657 transition count 1651
Applied a total of 44 rules in 228 ms. Remains 657 /676 variables (removed 19) and now considering 1651/1670 (removed 19) transitions.
// Phase 1: matrix 1651 rows 657 cols
[2020-06-04 10:37:42] [INFO ] Computed 61 place invariants in 40 ms
[2020-06-04 10:37:45] [INFO ] Implicit Places using invariants in 2461 ms returned []
// Phase 1: matrix 1651 rows 657 cols
[2020-06-04 10:37:45] [INFO ] Computed 61 place invariants in 40 ms
[2020-06-04 10:37:47] [INFO ] State equation strengthened by 5 read => feed constraints.
[2020-06-04 10:37:57] [INFO ] Implicit Places using invariants and state equation in 11978 ms returned []
Implicit Place search using SMT with State Equation took 14440 ms to find 0 implicit places.
Finished structural reductions, in 4 iterations. Remains : 657/1270 places, 1651/2114 transitions.
Incomplete random walk after 1000000 steps, including 17300 resets, run finished after 4728 ms. (steps per millisecond=211 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2879 resets, run finished after 1755 ms. (steps per millisecond=569 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2835 resets, run finished after 1774 ms. (steps per millisecond=563 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2824 resets, run finished after 1701 ms. (steps per millisecond=587 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2887 resets, run finished after 1258 ms. (steps per millisecond=794 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2839 resets, run finished after 1242 ms. (steps per millisecond=805 ) properties seen :[0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2822 resets, run finished after 1246 ms. (steps per millisecond=802 ) properties seen :[0, 0, 0, 0, 0, 0]
Interrupted probabilistic random walk after 2116779 steps, run timeout after 30001 ms. (steps per millisecond=70 ) properties seen :[0, 0, 0, 0, 0, 0]
Probabilistic random walk after 2116779 steps, saw 638349 distinct states, run finished after 30001 ms. (steps per millisecond=70 ) properties seen :[0, 0, 0, 0, 0, 0]
// Phase 1: matrix 1651 rows 657 cols
[2020-06-04 10:38:41] [INFO ] Computed 61 place invariants in 25 ms
[2020-06-04 10:38:41] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2020-06-04 10:38:41] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 43 ms returned sat
[2020-06-04 10:38:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:38:45] [INFO ] [Real]Absence check using state equation in 4015 ms returned sat
[2020-06-04 10:38:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:38:45] [INFO ] [Nat]Absence check using 15 positive place invariants in 70 ms returned sat
[2020-06-04 10:38:45] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 66 ms returned sat
[2020-06-04 10:38:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:38:49] [INFO ] [Nat]Absence check using state equation in 4040 ms returned sat
[2020-06-04 10:38:49] [INFO ] State equation strengthened by 5 read => feed constraints.
[2020-06-04 10:38:50] [INFO ] [Nat]Added 5 Read/Feed constraints in 417 ms returned sat
[2020-06-04 10:38:50] [INFO ] Computed and/alt/rep : 1650/25856/1650 causal constraints in 182 ms.
[2020-06-04 10:39:11] [INFO ] Added : 315 causal constraints over 63 iterations in 20891 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 135 ms.
[2020-06-04 10:39:11] [INFO ] [Real]Absence check using 15 positive place invariants in 60 ms returned sat
[2020-06-04 10:39:11] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 77 ms returned sat
[2020-06-04 10:39:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:39:15] [INFO ] [Real]Absence check using state equation in 3741 ms returned sat
[2020-06-04 10:39:15] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:39:15] [INFO ] [Nat]Absence check using 15 positive place invariants in 70 ms returned sat
[2020-06-04 10:39:15] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 65 ms returned sat
[2020-06-04 10:39:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:39:20] [INFO ] [Nat]Absence check using state equation in 4185 ms returned unsat
[2020-06-04 10:39:20] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2020-06-04 10:39:20] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 46 ms returned sat
[2020-06-04 10:39:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:39:24] [INFO ] [Real]Absence check using state equation in 3780 ms returned sat
[2020-06-04 10:39:24] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:39:24] [INFO ] [Nat]Absence check using 15 positive place invariants in 46 ms returned sat
[2020-06-04 10:39:24] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 49 ms returned sat
[2020-06-04 10:39:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:39:29] [INFO ] [Nat]Absence check using state equation in 4716 ms returned sat
[2020-06-04 10:39:29] [INFO ] [Nat]Added 5 Read/Feed constraints in 282 ms returned sat
[2020-06-04 10:39:29] [INFO ] Computed and/alt/rep : 1650/25856/1650 causal constraints in 126 ms.
[2020-06-04 10:39:48] [INFO ] Added : 235 causal constraints over 47 iterations in 19006 ms. Result :unknown
[2020-06-04 10:39:48] [INFO ] [Real]Absence check using 15 positive place invariants in 33 ms returned sat
[2020-06-04 10:39:48] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 48 ms returned sat
[2020-06-04 10:39:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:39:52] [INFO ] [Real]Absence check using state equation in 3692 ms returned sat
[2020-06-04 10:39:52] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:39:52] [INFO ] [Nat]Absence check using 15 positive place invariants in 60 ms returned sat
[2020-06-04 10:39:52] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 54 ms returned sat
[2020-06-04 10:39:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:39:57] [INFO ] [Nat]Absence check using state equation in 5036 ms returned unsat
[2020-06-04 10:39:57] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2020-06-04 10:39:57] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 37 ms returned sat
[2020-06-04 10:39:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:40:01] [INFO ] [Real]Absence check using state equation in 3745 ms returned sat
[2020-06-04 10:40:01] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:40:01] [INFO ] [Nat]Absence check using 15 positive place invariants in 67 ms returned sat
[2020-06-04 10:40:01] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 55 ms returned sat
[2020-06-04 10:40:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:40:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:40:13] [INFO ] [Nat]Absence check using state equation in 11131 ms returned unknown
[2020-06-04 10:40:13] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2020-06-04 10:40:13] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 36 ms returned sat
[2020-06-04 10:40:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:40:16] [INFO ] [Real]Absence check using state equation in 3480 ms returned sat
[2020-06-04 10:40:16] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:40:16] [INFO ] [Nat]Absence check using 15 positive place invariants in 54 ms returned sat
[2020-06-04 10:40:17] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 54 ms returned sat
[2020-06-04 10:40:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:40:20] [INFO ] [Nat]Absence check using state equation in 3779 ms returned sat
[2020-06-04 10:40:21] [INFO ] [Nat]Added 5 Read/Feed constraints in 508 ms returned sat
[2020-06-04 10:40:21] [INFO ] Computed and/alt/rep : 1650/25856/1650 causal constraints in 126 ms.
[2020-06-04 10:40:41] [INFO ] Added : 295 causal constraints over 59 iterations in 20319 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 153 ms.
FORMULA ASLink-PT-08a-ReachabilityFireability-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08a-ReachabilityFireability-04 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Incomplete Parikh walk after 561300 steps, including 6447 resets, run finished after 3147 ms. (steps per millisecond=178 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 456000 steps, including 5383 resets, run finished after 2204 ms. (steps per millisecond=206 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 519800 steps, including 5994 resets, run finished after 2379 ms. (steps per millisecond=218 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Support contains 28 out of 657 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 657/657 places, 1651/1651 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 657 transition count 1650
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 656 transition count 1650
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 2 place count 656 transition count 1649
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 655 transition count 1649
Symmetric choice reduction at 2 with 1 rule applications. Total rules 5 place count 655 transition count 1649
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 7 place count 654 transition count 1641
Symmetric choice reduction at 2 with 1 rule applications. Total rules 8 place count 654 transition count 1641
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 10 place count 653 transition count 1633
Symmetric choice reduction at 2 with 1 rule applications. Total rules 11 place count 653 transition count 1633
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 13 place count 652 transition count 1625
Symmetric choice reduction at 2 with 1 rule applications. Total rules 14 place count 652 transition count 1625
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 16 place count 651 transition count 1617
Symmetric choice reduction at 2 with 1 rule applications. Total rules 17 place count 651 transition count 1617
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 19 place count 650 transition count 1609
Symmetric choice reduction at 2 with 1 rule applications. Total rules 20 place count 650 transition count 1609
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 22 place count 649 transition count 1601
Symmetric choice reduction at 2 with 1 rule applications. Total rules 23 place count 649 transition count 1601
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 25 place count 648 transition count 1593
Symmetric choice reduction at 2 with 1 rule applications. Total rules 26 place count 648 transition count 1593
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 28 place count 647 transition count 1585
Symmetric choice reduction at 2 with 1 rule applications. Total rules 29 place count 647 transition count 1585
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 31 place count 646 transition count 1577
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 41 place count 641 transition count 1572
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 42 place count 641 transition count 1571
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 43 place count 640 transition count 1571
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 44 place count 640 transition count 1571
Applied a total of 44 rules in 198 ms. Remains 640 /657 variables (removed 17) and now considering 1571/1651 (removed 80) transitions.
Finished structural reductions, in 1 iterations. Remains : 640/657 places, 1571/1651 transitions.
Incomplete random walk after 1000000 steps, including 17663 resets, run finished after 4189 ms. (steps per millisecond=238 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2850 resets, run finished after 1607 ms. (steps per millisecond=622 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2881 resets, run finished after 1636 ms. (steps per millisecond=611 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2881 resets, run finished after 1188 ms. (steps per millisecond=841 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2872 resets, run finished after 1189 ms. (steps per millisecond=841 ) properties seen :[0, 0, 0, 0]
Interrupted probabilistic random walk after 2661931 steps, run timeout after 30001 ms. (steps per millisecond=88 ) properties seen :[0, 0, 0, 0]
Probabilistic random walk after 2661931 steps, saw 673789 distinct states, run finished after 30001 ms. (steps per millisecond=88 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 1571 rows 640 cols
[2020-06-04 10:41:29] [INFO ] Computed 61 place invariants in 23 ms
[2020-06-04 10:41:29] [INFO ] [Real]Absence check using 16 positive place invariants in 33 ms returned sat
[2020-06-04 10:41:30] [INFO ] [Real]Absence check using 16 positive and 45 generalized place invariants in 40 ms returned sat
[2020-06-04 10:41:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:41:33] [INFO ] [Real]Absence check using state equation in 3481 ms returned sat
[2020-06-04 10:41:33] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:41:33] [INFO ] [Nat]Absence check using 16 positive place invariants in 142 ms returned sat
[2020-06-04 10:41:33] [INFO ] [Nat]Absence check using 16 positive and 45 generalized place invariants in 60 ms returned sat
[2020-06-04 10:41:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:41:38] [INFO ] [Nat]Absence check using state equation in 4137 ms returned sat
[2020-06-04 10:41:38] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 10:41:38] [INFO ] [Nat]Added 7 Read/Feed constraints in 522 ms returned sat
[2020-06-04 10:41:38] [INFO ] Deduced a trap composed of 14 places in 86 ms
[2020-06-04 10:41:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 263 ms
[2020-06-04 10:41:39] [INFO ] Computed and/alt/rep : 1570/24151/1570 causal constraints in 161 ms.
[2020-06-04 10:41:59] [INFO ] Added : 295 causal constraints over 59 iterations in 20322 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 138 ms.
[2020-06-04 10:41:59] [INFO ] [Real]Absence check using 16 positive place invariants in 50 ms returned sat
[2020-06-04 10:41:59] [INFO ] [Real]Absence check using 16 positive and 45 generalized place invariants in 71 ms returned sat
[2020-06-04 10:41:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:42:03] [INFO ] [Real]Absence check using state equation in 3460 ms returned sat
[2020-06-04 10:42:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:42:03] [INFO ] [Nat]Absence check using 16 positive place invariants in 55 ms returned sat
[2020-06-04 10:42:03] [INFO ] [Nat]Absence check using 16 positive and 45 generalized place invariants in 59 ms returned sat
[2020-06-04 10:42:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:42:12] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 10:42:14] [INFO ] [Nat]Absence check using state equation in 10510 ms returned sat
[2020-06-04 10:42:14] [INFO ] [Nat]Added 7 Read/Feed constraints in 434 ms returned sat
[2020-06-04 10:42:14] [INFO ] Computed and/alt/rep : 1570/24151/1570 causal constraints in 123 ms.
[2020-06-04 10:42:34] [INFO ] Added : 315 causal constraints over 63 iterations in 20269 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 108 ms.
[2020-06-04 10:42:35] [INFO ] [Real]Absence check using 16 positive place invariants in 39 ms returned sat
[2020-06-04 10:42:35] [INFO ] [Real]Absence check using 16 positive and 45 generalized place invariants in 40 ms returned sat
[2020-06-04 10:42:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:42:38] [INFO ] [Real]Absence check using state equation in 3197 ms returned sat
[2020-06-04 10:42:38] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:42:38] [INFO ] [Nat]Absence check using 16 positive place invariants in 150 ms returned sat
[2020-06-04 10:42:38] [INFO ] [Nat]Absence check using 16 positive and 45 generalized place invariants in 51 ms returned sat
[2020-06-04 10:42:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:42:43] [INFO ] [Nat]Absence check using state equation in 4633 ms returned unsat
[2020-06-04 10:42:43] [INFO ] [Real]Absence check using 16 positive place invariants in 32 ms returned sat
[2020-06-04 10:42:43] [INFO ] [Real]Absence check using 16 positive and 45 generalized place invariants in 34 ms returned sat
[2020-06-04 10:42:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:42:47] [INFO ] [Real]Absence check using state equation in 3353 ms returned sat
[2020-06-04 10:42:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:42:47] [INFO ] [Nat]Absence check using 16 positive place invariants in 130 ms returned sat
[2020-06-04 10:42:47] [INFO ] [Nat]Absence check using 16 positive and 45 generalized place invariants in 41 ms returned sat
[2020-06-04 10:42:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:42:51] [INFO ] [Nat]Absence check using state equation in 3798 ms returned sat
[2020-06-04 10:42:52] [INFO ] [Nat]Added 7 Read/Feed constraints in 1060 ms returned sat
[2020-06-04 10:42:52] [INFO ] Computed and/alt/rep : 1570/24151/1570 causal constraints in 183 ms.
[2020-06-04 10:43:07] [INFO ] Added : 215 causal constraints over 43 iterations in 15429 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 80 ms.
FORMULA ASLink-PT-08a-ReachabilityFireability-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Incomplete Parikh walk after 1095500 steps, including 17785 resets, run finished after 5426 ms. (steps per millisecond=201 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 516600 steps, including 8845 resets, run finished after 2484 ms. (steps per millisecond=207 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 322900 steps, including 5476 resets, run finished after 1542 ms. (steps per millisecond=209 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 26 out of 640 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 640/640 places, 1571/1571 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 640 transition count 1570
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 639 transition count 1570
Applied a total of 2 rules in 38 ms. Remains 639 /640 variables (removed 1) and now considering 1570/1571 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 639/640 places, 1570/1571 transitions.
Incomplete random walk after 1000000 steps, including 17593 resets, run finished after 4348 ms. (steps per millisecond=229 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2907 resets, run finished after 1615 ms. (steps per millisecond=619 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2878 resets, run finished after 1639 ms. (steps per millisecond=610 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2897 resets, run finished after 1181 ms. (steps per millisecond=846 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 2712140 steps, run timeout after 30001 ms. (steps per millisecond=90 ) properties seen :[0, 0, 0]
Probabilistic random walk after 2712140 steps, saw 680789 distinct states, run finished after 30001 ms. (steps per millisecond=90 ) properties seen :[0, 0, 0]
// Phase 1: matrix 1570 rows 639 cols
[2020-06-04 10:43:56] [INFO ] Computed 61 place invariants in 21 ms
[2020-06-04 10:43:56] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2020-06-04 10:43:56] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 43 ms returned sat
[2020-06-04 10:43:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:43:59] [INFO ] [Real]Absence check using state equation in 3389 ms returned sat
[2020-06-04 10:43:59] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:44:00] [INFO ] [Nat]Absence check using 15 positive place invariants in 129 ms returned sat
[2020-06-04 10:44:00] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 50 ms returned sat
[2020-06-04 10:44:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:44:03] [INFO ] [Nat]Absence check using state equation in 3636 ms returned sat
[2020-06-04 10:44:03] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 10:44:04] [INFO ] [Nat]Added 7 Read/Feed constraints in 381 ms returned sat
[2020-06-04 10:44:04] [INFO ] Deduced a trap composed of 25 places in 99 ms
[2020-06-04 10:44:04] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 220 ms
[2020-06-04 10:44:04] [INFO ] Computed and/alt/rep : 1569/24297/1569 causal constraints in 170 ms.
[2020-06-04 10:44:25] [INFO ] Added : 280 causal constraints over 56 iterations in 20992 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 111 ms.
[2020-06-04 10:44:25] [INFO ] [Real]Absence check using 15 positive place invariants in 39 ms returned sat
[2020-06-04 10:44:26] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 59 ms returned sat
[2020-06-04 10:44:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:44:29] [INFO ] [Real]Absence check using state equation in 3702 ms returned sat
[2020-06-04 10:44:29] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:44:30] [INFO ] [Nat]Absence check using 15 positive place invariants in 156 ms returned sat
[2020-06-04 10:44:30] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 64 ms returned sat
[2020-06-04 10:44:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:44:34] [INFO ] [Nat]Absence check using state equation in 3918 ms returned sat
[2020-06-04 10:44:34] [INFO ] [Nat]Added 7 Read/Feed constraints in 347 ms returned sat
[2020-06-04 10:44:34] [INFO ] Computed and/alt/rep : 1569/24297/1569 causal constraints in 128 ms.
[2020-06-04 10:44:54] [INFO ] Added : 335 causal constraints over 67 iterations in 20424 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 128 ms.
[2020-06-04 10:44:55] [INFO ] [Real]Absence check using 15 positive place invariants in 51 ms returned sat
[2020-06-04 10:44:55] [INFO ] [Real]Absence check using 15 positive and 46 generalized place invariants in 54 ms returned sat
[2020-06-04 10:44:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:44:58] [INFO ] [Real]Absence check using state equation in 3287 ms returned sat
[2020-06-04 10:44:58] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:44:59] [INFO ] [Nat]Absence check using 15 positive place invariants in 86 ms returned sat
[2020-06-04 10:44:59] [INFO ] [Nat]Absence check using 15 positive and 46 generalized place invariants in 49 ms returned sat
[2020-06-04 10:44:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:45:03] [INFO ] [Nat]Absence check using state equation in 4390 ms returned sat
[2020-06-04 10:45:03] [INFO ] [Nat]Added 7 Read/Feed constraints in 106 ms returned sat
[2020-06-04 10:45:03] [INFO ] Computed and/alt/rep : 1569/24297/1569 causal constraints in 173 ms.
[2020-06-04 10:45:25] [INFO ] Added : 345 causal constraints over 69 iterations in 22059 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 122 ms.
Incomplete Parikh walk after 602100 steps, including 6917 resets, run finished after 2957 ms. (steps per millisecond=203 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 479900 steps, including 5731 resets, run finished after 2256 ms. (steps per millisecond=212 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 498500 steps, including 5896 resets, run finished after 2304 ms. (steps per millisecond=216 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 26 out of 639 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 639/639 places, 1570/1570 transitions.
Applied a total of 0 rules in 20 ms. Remains 639 /639 variables (removed 0) and now considering 1570/1570 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 639/639 places, 1570/1570 transitions.
Starting structural reductions, iteration 0 : 639/639 places, 1570/1570 transitions.
Applied a total of 0 rules in 20 ms. Remains 639 /639 variables (removed 0) and now considering 1570/1570 (removed 0) transitions.
// Phase 1: matrix 1570 rows 639 cols
[2020-06-04 10:45:33] [INFO ] Computed 61 place invariants in 22 ms
[2020-06-04 10:45:35] [INFO ] Implicit Places using invariants in 2409 ms returned [84]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2412 ms to find 1 implicit places.
[2020-06-04 10:45:36] [INFO ] Redundant transitions in 161 ms returned []
// Phase 1: matrix 1570 rows 638 cols
[2020-06-04 10:45:36] [INFO ] Computed 60 place invariants in 36 ms
[2020-06-04 10:45:41] [INFO ] Dead Transitions using invariants and state equation in 5760 ms returned []
Starting structural reductions, iteration 1 : 638/639 places, 1570/1570 transitions.
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 638 transition count 1570
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 637 transition count 1569
Symmetric choice reduction at 0 with 1 rule applications. Total rules 4 place count 637 transition count 1569
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 6 place count 636 transition count 1568
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 8 place count 635 transition count 1567
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 9 place count 635 transition count 1566
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 10 place count 634 transition count 1566
Applied a total of 10 rules in 126 ms. Remains 634 /638 variables (removed 4) and now considering 1566/1570 (removed 4) transitions.
// Phase 1: matrix 1566 rows 634 cols
[2020-06-04 10:45:42] [INFO ] Computed 60 place invariants in 35 ms
[2020-06-04 10:45:44] [INFO ] Implicit Places using invariants in 2843 ms returned []
// Phase 1: matrix 1566 rows 634 cols
[2020-06-04 10:45:44] [INFO ] Computed 60 place invariants in 35 ms
[2020-06-04 10:45:47] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 10:45:56] [INFO ] Implicit Places using invariants and state equation in 11150 ms returned []
Implicit Place search using SMT with State Equation took 13994 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 634/639 places, 1566/1570 transitions.
Incomplete random walk after 1000000 steps, including 17695 resets, run finished after 4101 ms. (steps per millisecond=243 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 2903 resets, run finished after 1647 ms. (steps per millisecond=607 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2916 resets, run finished after 1671 ms. (steps per millisecond=598 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2881 resets, run finished after 1312 ms. (steps per millisecond=762 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 2498149 steps, run timeout after 30001 ms. (steps per millisecond=83 ) properties seen :[0, 1, 0]
Probabilistic random walk after 2498149 steps, saw 702176 distinct states, run finished after 30001 ms. (steps per millisecond=83 ) properties seen :[0, 1, 0]
FORMULA ASLink-PT-08a-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
// Phase 1: matrix 1566 rows 634 cols
[2020-06-04 10:46:34] [INFO ] Computed 60 place invariants in 21 ms
[2020-06-04 10:46:34] [INFO ] [Real]Absence check using 13 positive place invariants in 30 ms returned sat
[2020-06-04 10:46:34] [INFO ] [Real]Absence check using 13 positive and 47 generalized place invariants in 39 ms returned sat
[2020-06-04 10:46:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:46:38] [INFO ] [Real]Absence check using state equation in 3726 ms returned sat
[2020-06-04 10:46:38] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:46:38] [INFO ] [Nat]Absence check using 13 positive place invariants in 58 ms returned sat
[2020-06-04 10:46:39] [INFO ] [Nat]Absence check using 13 positive and 47 generalized place invariants in 63 ms returned sat
[2020-06-04 10:46:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:46:42] [INFO ] [Nat]Absence check using state equation in 3636 ms returned sat
[2020-06-04 10:46:42] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 10:46:43] [INFO ] [Nat]Added 7 Read/Feed constraints in 593 ms returned sat
[2020-06-04 10:46:43] [INFO ] Computed and/alt/rep : 1565/24276/1565 causal constraints in 137 ms.
[2020-06-04 10:47:03] [INFO ] Added : 360 causal constraints over 72 iterations in 20530 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 116 ms.
[2020-06-04 10:47:04] [INFO ] [Real]Absence check using 13 positive place invariants in 40 ms returned sat
[2020-06-04 10:47:04] [INFO ] [Real]Absence check using 13 positive and 47 generalized place invariants in 45 ms returned sat
[2020-06-04 10:47:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:47:07] [INFO ] [Real]Absence check using state equation in 3258 ms returned sat
[2020-06-04 10:47:07] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:47:07] [INFO ] [Nat]Absence check using 13 positive place invariants in 49 ms returned sat
[2020-06-04 10:47:07] [INFO ] [Nat]Absence check using 13 positive and 47 generalized place invariants in 40 ms returned sat
[2020-06-04 10:47:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:47:11] [INFO ] [Nat]Absence check using state equation in 3476 ms returned sat
[2020-06-04 10:47:11] [INFO ] [Nat]Added 7 Read/Feed constraints in 410 ms returned sat
[2020-06-04 10:47:11] [INFO ] Deduced a trap composed of 14 places in 91 ms
[2020-06-04 10:47:11] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 188 ms
[2020-06-04 10:47:12] [INFO ] Computed and/alt/rep : 1565/24276/1565 causal constraints in 114 ms.
[2020-06-04 10:47:35] [INFO ] Added : 320 causal constraints over 64 iterations in 23838 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 112 ms.
Incomplete Parikh walk after 537300 steps, including 6367 resets, run finished after 2592 ms. (steps per millisecond=207 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 582900 steps, including 6850 resets, run finished after 2695 ms. (steps per millisecond=216 ) properties seen :[0, 0] could not realise parikh vector
Support contains 12 out of 634 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 634/634 places, 1566/1566 transitions.
Ensure Unique test removed 1 places
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 633 transition count 1565
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 3 place count 632 transition count 1565
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 5 place count 631 transition count 1564
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 6 place count 631 transition count 1563
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 7 place count 630 transition count 1563
Applied a total of 7 rules in 81 ms. Remains 630 /634 variables (removed 4) and now considering 1563/1566 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 630/634 places, 1563/1566 transitions.
Incomplete random walk after 1000000 steps, including 17717 resets, run finished after 3924 ms. (steps per millisecond=254 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2902 resets, run finished after 1577 ms. (steps per millisecond=634 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2914 resets, run finished after 1153 ms. (steps per millisecond=867 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 3092793 steps, run timeout after 30001 ms. (steps per millisecond=103 ) properties seen :[0, 0]
Probabilistic random walk after 3092793 steps, saw 689934 distinct states, run finished after 30001 ms. (steps per millisecond=103 ) properties seen :[0, 0]
// Phase 1: matrix 1563 rows 630 cols
[2020-06-04 10:48:18] [INFO ] Computed 59 place invariants in 21 ms
[2020-06-04 10:48:18] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2020-06-04 10:48:18] [INFO ] [Real]Absence check using 15 positive and 44 generalized place invariants in 41 ms returned sat
[2020-06-04 10:48:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:48:21] [INFO ] [Real]Absence check using state equation in 3482 ms returned sat
[2020-06-04 10:48:21] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:48:22] [INFO ] [Nat]Absence check using 15 positive place invariants in 62 ms returned sat
[2020-06-04 10:48:22] [INFO ] [Nat]Absence check using 15 positive and 44 generalized place invariants in 61 ms returned sat
[2020-06-04 10:48:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:48:26] [INFO ] [Nat]Absence check using state equation in 4625 ms returned sat
[2020-06-04 10:48:26] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 10:48:27] [INFO ] [Nat]Added 7 Read/Feed constraints in 756 ms returned sat
[2020-06-04 10:48:27] [INFO ] Computed and/alt/rep : 1562/24296/1562 causal constraints in 114 ms.
[2020-06-04 10:48:33] [INFO ] Added : 15 causal constraints over 3 iterations in 6342 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 32 ms.
[2020-06-04 10:48:34] [INFO ] [Real]Absence check using 15 positive place invariants in 50 ms returned sat
[2020-06-04 10:48:34] [INFO ] [Real]Absence check using 15 positive and 44 generalized place invariants in 50 ms returned sat
[2020-06-04 10:48:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:48:37] [INFO ] [Real]Absence check using state equation in 3403 ms returned sat
[2020-06-04 10:48:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:48:37] [INFO ] [Nat]Absence check using 15 positive place invariants in 46 ms returned sat
[2020-06-04 10:48:37] [INFO ] [Nat]Absence check using 15 positive and 44 generalized place invariants in 43 ms returned sat
[2020-06-04 10:48:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:48:41] [INFO ] [Nat]Absence check using state equation in 3689 ms returned sat
[2020-06-04 10:48:42] [INFO ] [Nat]Added 7 Read/Feed constraints in 628 ms returned sat
[2020-06-04 10:48:42] [INFO ] Computed and/alt/rep : 1562/24296/1562 causal constraints in 116 ms.
[2020-06-04 10:49:02] [INFO ] Added : 280 causal constraints over 56 iterations in 20166 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 90 ms.
Incomplete Parikh walk after 726200 steps, including 9308 resets, run finished after 3376 ms. (steps per millisecond=215 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 414400 steps, including 5668 resets, run finished after 1923 ms. (steps per millisecond=215 ) properties seen :[0, 0] could not realise parikh vector
Support contains 12 out of 630 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 630/630 places, 1563/1563 transitions.
Applied a total of 0 rules in 19 ms. Remains 630 /630 variables (removed 0) and now considering 1563/1563 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 630/630 places, 1563/1563 transitions.
Starting structural reductions, iteration 0 : 630/630 places, 1563/1563 transitions.
Applied a total of 0 rules in 19 ms. Remains 630 /630 variables (removed 0) and now considering 1563/1563 (removed 0) transitions.
// Phase 1: matrix 1563 rows 630 cols
[2020-06-04 10:49:08] [INFO ] Computed 59 place invariants in 21 ms
[2020-06-04 10:49:10] [INFO ] Implicit Places using invariants in 2536 ms returned [234]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2543 ms to find 1 implicit places.
[2020-06-04 10:49:10] [INFO ] Redundant transitions in 32 ms returned []
// Phase 1: matrix 1563 rows 629 cols
[2020-06-04 10:49:10] [INFO ] Computed 58 place invariants in 22 ms
[2020-06-04 10:49:16] [INFO ] Dead Transitions using invariants and state equation in 5551 ms returned []
Starting structural reductions, iteration 1 : 629/630 places, 1563/1563 transitions.
Applied a total of 0 rules in 21 ms. Remains 629 /629 variables (removed 0) and now considering 1563/1563 (removed 0) transitions.
[2020-06-04 10:49:16] [INFO ] Redundant transitions in 32 ms returned []
// Phase 1: matrix 1563 rows 629 cols
[2020-06-04 10:49:16] [INFO ] Computed 58 place invariants in 23 ms
[2020-06-04 10:49:21] [INFO ] Dead Transitions using invariants and state equation in 5569 ms returned []
Finished structural reductions, in 2 iterations. Remains : 629/630 places, 1563/1563 transitions.
Incomplete random walk after 1000000 steps, including 17751 resets, run finished after 4256 ms. (steps per millisecond=234 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2905 resets, run finished after 1603 ms. (steps per millisecond=623 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2893 resets, run finished after 1197 ms. (steps per millisecond=835 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2839810 steps, run timeout after 30001 ms. (steps per millisecond=94 ) properties seen :[0, 0]
Probabilistic random walk after 2839810 steps, saw 696685 distinct states, run finished after 30001 ms. (steps per millisecond=94 ) properties seen :[0, 0]
// Phase 1: matrix 1563 rows 629 cols
[2020-06-04 10:49:58] [INFO ] Computed 58 place invariants in 21 ms
[2020-06-04 10:49:59] [INFO ] [Real]Absence check using 13 positive place invariants in 32 ms returned sat
[2020-06-04 10:49:59] [INFO ] [Real]Absence check using 13 positive and 45 generalized place invariants in 41 ms returned sat
[2020-06-04 10:49:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:50:02] [INFO ] [Real]Absence check using state equation in 3225 ms returned sat
[2020-06-04 10:50:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:50:02] [INFO ] [Nat]Absence check using 13 positive place invariants in 243 ms returned sat
[2020-06-04 10:50:02] [INFO ] [Nat]Absence check using 13 positive and 45 generalized place invariants in 58 ms returned sat
[2020-06-04 10:50:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:50:06] [INFO ] [Nat]Absence check using state equation in 3936 ms returned sat
[2020-06-04 10:50:06] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 10:50:07] [INFO ] [Nat]Added 7 Read/Feed constraints in 771 ms returned sat
[2020-06-04 10:50:07] [INFO ] Computed and/alt/rep : 1562/24268/1562 causal constraints in 123 ms.
[2020-06-04 10:50:20] [INFO ] Added : 170 causal constraints over 34 iterations in 13342 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 67 ms.
[2020-06-04 10:50:21] [INFO ] [Real]Absence check using 13 positive place invariants in 33 ms returned sat
[2020-06-04 10:50:21] [INFO ] [Real]Absence check using 13 positive and 45 generalized place invariants in 36 ms returned sat
[2020-06-04 10:50:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:50:24] [INFO ] [Real]Absence check using state equation in 3323 ms returned sat
[2020-06-04 10:50:24] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:50:25] [INFO ] [Nat]Absence check using 13 positive place invariants in 257 ms returned sat
[2020-06-04 10:50:25] [INFO ] [Nat]Absence check using 13 positive and 45 generalized place invariants in 57 ms returned sat
[2020-06-04 10:50:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:50:28] [INFO ] [Nat]Absence check using state equation in 3589 ms returned sat
[2020-06-04 10:50:30] [INFO ] [Nat]Added 7 Read/Feed constraints in 1714 ms returned sat
[2020-06-04 10:50:30] [INFO ] Computed and/alt/rep : 1562/24268/1562 causal constraints in 164 ms.
[2020-06-04 10:50:53] [INFO ] Added : 330 causal constraints over 66 iterations in 23461 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 113 ms.
Incomplete Parikh walk after 722600 steps, including 9250 resets, run finished after 3533 ms. (steps per millisecond=204 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 207900 steps, including 3040 resets, run finished after 939 ms. (steps per millisecond=221 ) properties seen :[0, 0] could not realise parikh vector
Support contains 12 out of 629 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 629/629 places, 1563/1563 transitions.
Applied a total of 0 rules in 19 ms. Remains 629 /629 variables (removed 0) and now considering 1563/1563 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 629/629 places, 1563/1563 transitions.
Starting structural reductions, iteration 0 : 629/629 places, 1563/1563 transitions.
Applied a total of 0 rules in 19 ms. Remains 629 /629 variables (removed 0) and now considering 1563/1563 (removed 0) transitions.
// Phase 1: matrix 1563 rows 629 cols
[2020-06-04 10:50:58] [INFO ] Computed 58 place invariants in 22 ms
[2020-06-04 10:51:01] [INFO ] Implicit Places using invariants in 2706 ms returned []
// Phase 1: matrix 1563 rows 629 cols
[2020-06-04 10:51:01] [INFO ] Computed 58 place invariants in 35 ms
[2020-06-04 10:51:04] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 10:51:13] [INFO ] Implicit Places using invariants and state equation in 12035 ms returned []
Implicit Place search using SMT with State Equation took 14743 ms to find 0 implicit places.
[2020-06-04 10:51:13] [INFO ] Redundant transitions in 30 ms returned []
// Phase 1: matrix 1563 rows 629 cols
[2020-06-04 10:51:13] [INFO ] Computed 58 place invariants in 22 ms
[2020-06-04 10:51:19] [INFO ] Dead Transitions using invariants and state equation in 5839 ms returned []
Finished structural reductions, in 1 iterations. Remains : 629/629 places, 1563/1563 transitions.
Incomplete random walk after 100000 steps, including 1775 resets, run finished after 684 ms. (steps per millisecond=146 ) properties seen :[0, 0]
// Phase 1: matrix 1563 rows 629 cols
[2020-06-04 10:51:20] [INFO ] Computed 58 place invariants in 33 ms
[2020-06-04 10:51:20] [INFO ] [Real]Absence check using 13 positive place invariants in 48 ms returned sat
[2020-06-04 10:51:20] [INFO ] [Real]Absence check using 13 positive and 45 generalized place invariants in 60 ms returned sat
[2020-06-04 10:51:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:51:23] [INFO ] [Real]Absence check using state equation in 3550 ms returned sat
[2020-06-04 10:51:23] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:51:24] [INFO ] [Nat]Absence check using 13 positive place invariants in 241 ms returned sat
[2020-06-04 10:51:24] [INFO ] [Nat]Absence check using 13 positive and 45 generalized place invariants in 54 ms returned sat
[2020-06-04 10:51:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:51:28] [INFO ] [Nat]Absence check using state equation in 3784 ms returned sat
[2020-06-04 10:51:28] [INFO ] State equation strengthened by 7 read => feed constraints.
[2020-06-04 10:51:28] [INFO ] [Nat]Added 7 Read/Feed constraints in 576 ms returned sat
[2020-06-04 10:51:28] [INFO ] Computed and/alt/rep : 1562/24268/1562 causal constraints in 136 ms.
[2020-06-04 10:51:42] [INFO ] Added : 170 causal constraints over 34 iterations in 13409 ms. Result :sat
[2020-06-04 10:51:42] [INFO ] [Real]Absence check using 13 positive place invariants in 30 ms returned sat
[2020-06-04 10:51:42] [INFO ] [Real]Absence check using 13 positive and 45 generalized place invariants in 34 ms returned sat
[2020-06-04 10:51:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:51:45] [INFO ] [Real]Absence check using state equation in 3260 ms returned sat
[2020-06-04 10:51:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:51:46] [INFO ] [Nat]Absence check using 13 positive place invariants in 290 ms returned sat
[2020-06-04 10:51:46] [INFO ] [Nat]Absence check using 13 positive and 45 generalized place invariants in 54 ms returned sat
[2020-06-04 10:51:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:51:49] [INFO ] [Nat]Absence check using state equation in 3572 ms returned sat
[2020-06-04 10:51:51] [INFO ] [Nat]Added 7 Read/Feed constraints in 1391 ms returned sat
[2020-06-04 10:51:51] [INFO ] Computed and/alt/rep : 1562/24268/1562 causal constraints in 114 ms.
[2020-06-04 10:52:05] [INFO ] Added : 230 causal constraints over 46 iterations in 14471 ms. Result :unknown
Applied a total of 0 rules in 21 ms. Remains 629 /629 variables (removed 0) and now considering 1563/1563 (removed 0) transitions.
// Phase 1: matrix 1563 rows 629 cols
[2020-06-04 10:52:05] [INFO ] Computed 58 place invariants in 21 ms
[2020-06-04 10:52:06] [INFO ] [Real]Absence check using 13 positive place invariants in 31 ms returned sat
[2020-06-04 10:52:06] [INFO ] [Real]Absence check using 13 positive and 45 generalized place invariants in 42 ms returned sat
[2020-06-04 10:52:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:52:09] [INFO ] [Real]Absence check using state equation in 3632 ms returned sat
[2020-06-04 10:52:09] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:52:10] [INFO ] [Nat]Absence check using 13 positive place invariants in 264 ms returned sat
[2020-06-04 10:52:10] [INFO ] [Nat]Absence check using 13 positive and 45 generalized place invariants in 63 ms returned sat
[2020-06-04 10:52:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:52:14] [INFO ] [Nat]Absence check using state equation in 4198 ms returned sat
[2020-06-04 10:52:14] [INFO ] Deduced a trap composed of 14 places in 106 ms
[2020-06-04 10:52:14] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 221 ms
[2020-06-04 10:52:14] [INFO ] Computed and/alt/rep : 1562/24168/1562 causal constraints in 149 ms.
[2020-06-04 10:52:35] [INFO ] Added : 345 causal constraints over 69 iterations in 20420 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 106 ms.
[2020-06-04 10:52:35] [INFO ] [Real]Absence check using 13 positive place invariants in 30 ms returned sat
[2020-06-04 10:52:35] [INFO ] [Real]Absence check using 13 positive and 45 generalized place invariants in 33 ms returned sat
[2020-06-04 10:52:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 10:52:38] [INFO ] [Real]Absence check using state equation in 3145 ms returned sat
[2020-06-04 10:52:38] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 10:52:38] [INFO ] [Nat]Absence check using 13 positive place invariants in 207 ms returned sat
[2020-06-04 10:52:39] [INFO ] [Nat]Absence check using 13 positive and 45 generalized place invariants in 38 ms returned sat
[2020-06-04 10:52:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 10:52:42] [INFO ] [Nat]Absence check using state equation in 3471 ms returned sat
[2020-06-04 10:52:42] [INFO ] Computed and/alt/rep : 1562/24168/1562 causal constraints in 179 ms.
[2020-06-04 10:53:02] [INFO ] Added : 355 causal constraints over 71 iterations in 20461 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 173 ms.
[2020-06-04 10:53:03] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 4 ms.
[2020-06-04 10:53:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 25 ms.
[2020-06-04 10:53:04] [INFO ] Flatten gal took : 359 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityFireability @ ASLink-PT-08a @ 3570 seconds
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 14857272 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16310660 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-08a"
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-08a, 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-158987787300127"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08a.tgz
mv ASLink-PT-08a 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 ;