About the Execution of ITS-LoLa for ASLink-PT-08b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15757.500 | 3600000.00 | 371200.00 | 620.30 | TTTTTFTFTTFFTTTF | 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-158987787300135.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ASLink-PT-08b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787300135
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.9K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-00
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-01
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-02
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-03
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-04
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-05
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-06
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-07
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-08
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-09
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-10
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-11
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-12
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-13
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-14
FORMULA_NAME ASLink-PT-08b-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1591278867027
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 13:54:29] [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 13:54:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 13:54:29] [INFO ] Load time of PNML (sax parser for PT used): 420 ms
[2020-06-04 13:54:29] [INFO ] Transformed 3618 places.
[2020-06-04 13:54:29] [INFO ] Transformed 4459 transitions.
[2020-06-04 13:54:29] [INFO ] Found NUPN structural information;
[2020-06-04 13:54:29] [INFO ] Parsed PT model containing 3618 places and 4459 transitions in 557 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 263 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 13 resets, run finished after 142 ms. (steps per millisecond=70 ) properties seen :[0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1]
FORMULA ASLink-PT-08b-ReachabilityFireability-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08b-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08b-ReachabilityFireability-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08b-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 1 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 1 resets, run finished after 57 ms. (steps per millisecond=175 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 25 ms. (steps per millisecond=400 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 26 ms. (steps per millisecond=384 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 25 ms. (steps per millisecond=400 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 25 ms. (steps per millisecond=400 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 25 ms. (steps per millisecond=400 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 25 ms. (steps per millisecond=400 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 19 ms. (steps per millisecond=526 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10000 steps, including 1 resets, run finished after 19 ms. (steps per millisecond=526 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 21 ms. (steps per millisecond=476 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 4459 rows 3618 cols
[2020-06-04 13:54:31] [INFO ] Computed 355 place invariants in 502 ms
[2020-06-04 13:54:33] [INFO ] [Real]Absence check using 83 positive place invariants in 562 ms returned sat
[2020-06-04 13:54:33] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 898 ms returned unsat
[2020-06-04 13:54:34] [INFO ] [Real]Absence check using 83 positive place invariants in 345 ms returned sat
[2020-06-04 13:54:35] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 825 ms returned sat
[2020-06-04 13:54:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:54:38] [INFO ] [Real]Absence check using state equation in 3118 ms returned (error "Solver has unexpectedly terminated")
[2020-06-04 13:54:40] [INFO ] [Real]Absence check using 83 positive place invariants in 341 ms returned sat
[2020-06-04 13:54:41] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 1042 ms returned sat
[2020-06-04 13:54:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:54:43] [INFO ] [Real]Absence check using state equation in 2607 ms returned (error "Solver has unexpectedly terminated")
[2020-06-04 13:54:45] [INFO ] [Real]Absence check using 83 positive place invariants in 338 ms returned sat
[2020-06-04 13:54:45] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 416 ms returned unsat
[2020-06-04 13:54:47] [INFO ] [Real]Absence check using 83 positive place invariants in 329 ms returned sat
[2020-06-04 13:54:47] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 700 ms returned sat
[2020-06-04 13:54:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:54:50] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:54:50] [INFO ] [Real]Absence check using state equation in 2973 ms returned (error "Failed to check-sat")
[2020-06-04 13:54:52] [INFO ] [Real]Absence check using 83 positive place invariants in 532 ms returned sat
[2020-06-04 13:54:53] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 1117 ms returned sat
[2020-06-04 13:54:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:54:55] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (= s191 (- t1 t1909))") while checking expression at index 5
[2020-06-04 13:54:56] [INFO ] [Real]Absence check using 83 positive place invariants in 334 ms returned sat
[2020-06-04 13:54:57] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 791 ms returned sat
[2020-06-04 13:54:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:55:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:55:00] [INFO ] [Real]Absence check using state equation in 3086 ms returned (error "Failed to check-sat")
[2020-06-04 13:55:02] [INFO ] [Real]Absence check using 83 positive place invariants in 536 ms returned sat
[2020-06-04 13:55:03] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 1227 ms returned sat
[2020-06-04 13:55:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:55:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:55:05] [INFO ] [Real]Absence check using state equation in 2474 ms returned (error "Failed to check-sat")
[2020-06-04 13:55:07] [INFO ] [Real]Absence check using 83 positive place invariants in 346 ms returned sat
[2020-06-04 13:55:07] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 724 ms returned sat
[2020-06-04 13:55:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:55:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:55:10] [INFO ] [Real]Absence check using state equation in 2990 ms returned (error "Failed to check-sat")
[2020-06-04 13:55:12] [INFO ] [Real]Absence check using 83 positive place invariants in 416 ms returned sat
[2020-06-04 13:55:13] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 946 ms returned sat
[2020-06-04 13:55:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:55:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:55:15] [INFO ] [Real]Absence check using state equation in 2786 ms returned unknown
[2020-06-04 13:55:16] [INFO ] [Real]Absence check using 83 positive place invariants in 334 ms returned sat
[2020-06-04 13:55:17] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 722 ms returned sat
[2020-06-04 13:55:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:55:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 13:55:20] [INFO ] [Real]Absence check using state equation in 3104 ms returned (error "Failed to check-sat")
[2020-06-04 13:55:22] [INFO ] [Real]Absence check using 83 positive place invariants in 333 ms returned sat
[2020-06-04 13:55:22] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 733 ms returned sat
[2020-06-04 13:55:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:55:25] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (= s271 (- t2155 t0))") while checking expression at index 11
FORMULA ASLink-PT-08b-ReachabilityFireability-03 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08b-ReachabilityFireability-00 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Support contains 33 out of 3618 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3618/3618 places, 4459/4459 transitions.
Performed 831 Post agglomeration using F-continuation condition.Transition count delta: 831
Iterating post reduction 0 with 831 rules applied. Total rules applied 831 place count 3618 transition count 3628
Reduce places removed 831 places and 0 transitions.
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 1 with 869 rules applied. Total rules applied 1700 place count 2787 transition count 3590
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 1710 place count 2777 transition count 3590
Performed 832 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 832 Pre rules applied. Total rules applied 1710 place count 2777 transition count 2758
Deduced a syphon composed of 832 places in 19 ms
Ensure Unique test removed 83 places
Reduce places removed 915 places and 0 transitions.
Iterating global reduction 3 with 1747 rules applied. Total rules applied 3457 place count 1862 transition count 2758
Discarding 8 places :
Implicit places reduction removed 8 places
Performed 52 Post agglomeration using F-continuation condition.Transition count delta: 52
Iterating post reduction 3 with 60 rules applied. Total rules applied 3517 place count 1854 transition count 2706
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 4 with 52 rules applied. Total rules applied 3569 place count 1802 transition count 2706
Performed 32 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 32 Pre rules applied. Total rules applied 3569 place count 1802 transition count 2674
Deduced a syphon composed of 32 places in 47 ms
Ensure Unique test removed 32 places
Reduce places removed 64 places and 0 transitions.
Iterating global reduction 5 with 96 rules applied. Total rules applied 3665 place count 1738 transition count 2674
Performed 32 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 32 Pre rules applied. Total rules applied 3665 place count 1738 transition count 2642
Deduced a syphon composed of 32 places in 46 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 5 with 64 rules applied. Total rules applied 3729 place count 1706 transition count 2642
Symmetric choice reduction at 5 with 115 rule applications. Total rules 3844 place count 1706 transition count 2642
Deduced a syphon composed of 115 places in 29 ms
Reduce places removed 115 places and 115 transitions.
Iterating global reduction 5 with 230 rules applied. Total rules applied 4074 place count 1591 transition count 2527
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 4075 place count 1591 transition count 2526
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 36 Pre rules applied. Total rules applied 4075 place count 1591 transition count 2490
Deduced a syphon composed of 36 places in 24 ms
Ensure Unique test removed 1 places
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 6 with 73 rules applied. Total rules applied 4148 place count 1554 transition count 2490
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 4148 place count 1554 transition count 2489
Deduced a syphon composed of 1 places in 24 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 3 rules applied. Total rules applied 4151 place count 1552 transition count 2489
Symmetric choice reduction at 6 with 8 rule applications. Total rules 4159 place count 1552 transition count 2489
Deduced a syphon composed of 8 places in 24 ms
Reduce places removed 8 places and 51 transitions.
Iterating global reduction 6 with 16 rules applied. Total rules applied 4175 place count 1544 transition count 2438
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 7 Pre rules applied. Total rules applied 4175 place count 1544 transition count 2431
Deduced a syphon composed of 7 places in 26 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 6 with 14 rules applied. Total rules applied 4189 place count 1537 transition count 2431
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4190 place count 1537 transition count 2431
Deduced a syphon composed of 1 places in 23 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4192 place count 1536 transition count 2423
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4193 place count 1536 transition count 2423
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4195 place count 1535 transition count 2415
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4196 place count 1535 transition count 2415
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4198 place count 1534 transition count 2407
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4199 place count 1534 transition count 2407
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 4201 place count 1533 transition count 2399
Performed 208 Post agglomeration using F-continuation condition.Transition count delta: 208
Deduced a syphon composed of 208 places in 6 ms
Reduce places removed 208 places and 0 transitions.
Iterating global reduction 6 with 416 rules applied. Total rules applied 4617 place count 1325 transition count 2191
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4618 place count 1325 transition count 2191
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4620 place count 1324 transition count 2190
Ensure Unique test removed 1 places
Iterating post reduction 6 with 1 rules applied. Total rules applied 4621 place count 1323 transition count 2190
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4622 place count 1323 transition count 2190
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 4624 place count 1322 transition count 2189
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 7 with 2 rules applied. Total rules applied 4626 place count 1322 transition count 2187
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 4627 place count 1321 transition count 2187
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 4629 place count 1320 transition count 2196
Free-agglomeration rule applied 9 times.
Iterating global reduction 9 with 9 rules applied. Total rules applied 4638 place count 1320 transition count 2187
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 9 with 9 rules applied. Total rules applied 4647 place count 1311 transition count 2187
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 10 with 7 rules applied. Total rules applied 4654 place count 1311 transition count 2180
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 10 with 7 rules applied. Total rules applied 4661 place count 1304 transition count 2180
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 4662 place count 1303 transition count 2179
Reduce places removed 15 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 11 with 22 rules applied. Total rules applied 4684 place count 1288 transition count 2172
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 12 with 7 rules applied. Total rules applied 4691 place count 1281 transition count 2172
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 22 Pre rules applied. Total rules applied 4691 place count 1281 transition count 2150
Deduced a syphon composed of 22 places in 8 ms
Ensure Unique test removed 1 places
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 13 with 45 rules applied. Total rules applied 4736 place count 1258 transition count 2150
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 13 with 9 rules applied. Total rules applied 4745 place count 1249 transition count 2150
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 1 Pre rules applied. Total rules applied 4745 place count 1249 transition count 2149
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 4747 place count 1248 transition count 2149
Symmetric choice reduction at 14 with 1 rule applications. Total rules 4748 place count 1248 transition count 2149
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 4750 place count 1247 transition count 2148
Symmetric choice reduction at 14 with 1 rule applications. Total rules 4751 place count 1247 transition count 2148
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 4753 place count 1246 transition count 2147
Symmetric choice reduction at 14 with 1 rule applications. Total rules 4754 place count 1246 transition count 2147
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 4756 place count 1245 transition count 2146
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 14 with 1 rules applied. Total rules applied 4757 place count 1245 transition count 2145
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Deduced a syphon composed of 16 places in 6 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 15 with 32 rules applied. Total rules applied 4789 place count 1229 transition count 2129
Symmetric choice reduction at 15 with 7 rule applications. Total rules 4796 place count 1229 transition count 2129
Deduced a syphon composed of 7 places in 5 ms
Reduce places removed 7 places and 7 transitions.
Iterating global reduction 15 with 14 rules applied. Total rules applied 4810 place count 1222 transition count 2122
Free-agglomeration rule applied 7 times.
Iterating global reduction 15 with 7 rules applied. Total rules applied 4817 place count 1222 transition count 2115
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 15 with 7 rules applied. Total rules applied 4824 place count 1215 transition count 2115
Applied a total of 4824 rules in 3351 ms. Remains 1215 /3618 variables (removed 2403) and now considering 2115/4459 (removed 2344) transitions.
Finished structural reductions, in 1 iterations. Remains : 1215/3618 places, 2115/4459 transitions.
Incomplete random walk after 1000000 steps, including 9589 resets, run finished after 6922 ms. (steps per millisecond=144 ) properties seen :[0, 0, 0, 1, 0, 0, 1, 0, 0, 0]
FORMULA ASLink-PT-08b-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-08b-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000000 steps, including 1161 resets, run finished after 2566 ms. (steps per millisecond=389 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1168 resets, run finished after 2272 ms. (steps per millisecond=440 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1178 resets, run finished after 2307 ms. (steps per millisecond=433 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1165 resets, run finished after 2127 ms. (steps per millisecond=470 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1170 resets, run finished after 2519 ms. (steps per millisecond=396 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1173 resets, run finished after 2099 ms. (steps per millisecond=476 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1172 resets, run finished after 2128 ms. (steps per millisecond=469 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1178 resets, run finished after 2479 ms. (steps per millisecond=403 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 2115 rows 1215 cols
[2020-06-04 13:55:54] [INFO ] Computed 204 place invariants in 321 ms
[2020-06-04 13:55:55] [INFO ] [Real]Absence check using 56 positive place invariants in 143 ms returned sat
[2020-06-04 13:55:55] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 190 ms returned sat
[2020-06-04 13:55:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:56:02] [INFO ] [Real]Absence check using state equation in 7104 ms returned sat
[2020-06-04 13:56:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:56:03] [INFO ] [Nat]Absence check using 56 positive place invariants in 85 ms returned sat
[2020-06-04 13:56:03] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 149 ms returned sat
[2020-06-04 13:56:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:56:04] [INFO ] [Nat]Absence check using state equation in 1136 ms returned unsat
[2020-06-04 13:56:04] [INFO ] [Real]Absence check using 56 positive place invariants in 97 ms returned sat
[2020-06-04 13:56:04] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 235 ms returned sat
[2020-06-04 13:56:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:56:10] [INFO ] [Real]Absence check using state equation in 5983 ms returned sat
[2020-06-04 13:56:11] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:56:11] [INFO ] [Nat]Absence check using 56 positive place invariants in 85 ms returned sat
[2020-06-04 13:56:11] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 156 ms returned sat
[2020-06-04 13:56:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:56:18] [INFO ] [Nat]Absence check using state equation in 6636 ms returned sat
[2020-06-04 13:56:18] [INFO ] Computed and/alt/rep : 2074/23043/2074 causal constraints in 303 ms.
[2020-06-04 13:56:38] [INFO ] Added : 360 causal constraints over 72 iterations in 20249 ms.(timeout) Result :sat
[2020-06-04 13:56:38] [INFO ] Deduced a trap composed of 30 places in 276 ms
[2020-06-04 13:56:39] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 603 ms
Attempting to minimize the solution found.
Minimization took 96 ms.
[2020-06-04 13:56:39] [INFO ] [Real]Absence check using 56 positive place invariants in 145 ms returned sat
[2020-06-04 13:56:40] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 237 ms returned sat
[2020-06-04 13:56:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:56:47] [INFO ] [Real]Absence check using state equation in 7403 ms returned sat
[2020-06-04 13:56:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:56:48] [INFO ] [Nat]Absence check using 56 positive place invariants in 159 ms returned sat
[2020-06-04 13:56:48] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 241 ms returned sat
[2020-06-04 13:56:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:56:50] [INFO ] [Nat]Absence check using state equation in 2078 ms returned unsat
[2020-06-04 13:56:50] [INFO ] [Real]Absence check using 56 positive place invariants in 88 ms returned sat
[2020-06-04 13:56:51] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 204 ms returned sat
[2020-06-04 13:56:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:56:58] [INFO ] [Real]Absence check using state equation in 6902 ms returned sat
[2020-06-04 13:56:58] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:56:58] [INFO ] [Nat]Absence check using 56 positive place invariants in 95 ms returned sat
[2020-06-04 13:56:58] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 177 ms returned sat
[2020-06-04 13:56:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:04] [INFO ] [Nat]Absence check using state equation in 5761 ms returned unsat
[2020-06-04 13:57:04] [INFO ] [Real]Absence check using 56 positive place invariants in 144 ms returned sat
[2020-06-04 13:57:05] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 177 ms returned sat
[2020-06-04 13:57:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:12] [INFO ] [Real]Absence check using state equation in 7106 ms returned sat
[2020-06-04 13:57:12] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:57:12] [INFO ] [Nat]Absence check using 56 positive place invariants in 135 ms returned sat
[2020-06-04 13:57:13] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 251 ms returned sat
[2020-06-04 13:57:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:14] [INFO ] [Nat]Absence check using state equation in 1453 ms returned unsat
[2020-06-04 13:57:14] [INFO ] [Real]Absence check using 56 positive place invariants in 121 ms returned sat
[2020-06-04 13:57:15] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 207 ms returned sat
[2020-06-04 13:57:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:22] [INFO ] [Real]Absence check using state equation in 7011 ms returned sat
[2020-06-04 13:57:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:57:22] [INFO ] [Nat]Absence check using 56 positive place invariants in 83 ms returned sat
[2020-06-04 13:57:22] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 153 ms returned sat
[2020-06-04 13:57:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:25] [INFO ] [Nat]Absence check using state equation in 2992 ms returned unsat
[2020-06-04 13:57:26] [INFO ] [Real]Absence check using 56 positive place invariants in 138 ms returned sat
[2020-06-04 13:57:26] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 228 ms returned sat
[2020-06-04 13:57:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:33] [INFO ] [Real]Absence check using state equation in 7017 ms returned sat
[2020-06-04 13:57:33] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:57:33] [INFO ] [Nat]Absence check using 56 positive place invariants in 142 ms returned sat
[2020-06-04 13:57:34] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 235 ms returned sat
[2020-06-04 13:57:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:39] [INFO ] [Nat]Absence check using state equation in 5850 ms returned unsat
[2020-06-04 13:57:40] [INFO ] [Real]Absence check using 56 positive place invariants in 138 ms returned sat
[2020-06-04 13:57:40] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 232 ms returned sat
[2020-06-04 13:57:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:48] [INFO ] [Real]Absence check using state equation in 7620 ms returned sat
[2020-06-04 13:57:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:57:48] [INFO ] [Nat]Absence check using 56 positive place invariants in 81 ms returned sat
[2020-06-04 13:57:48] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 167 ms returned sat
[2020-06-04 13:57:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:57:55] [INFO ] [Nat]Absence check using state equation in 6308 ms returned unsat
FORMULA ASLink-PT-08b-ReachabilityFireability-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08b-ReachabilityFireability-12 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08b-ReachabilityFireability-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08b-ReachabilityFireability-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08b-ReachabilityFireability-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08b-ReachabilityFireability-05 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-08b-ReachabilityFireability-01 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Incomplete Parikh walk after 425900 steps, including 5943 resets, run finished after 3005 ms. (steps per millisecond=141 ) properties seen :[0] could not realise parikh vector
Support contains 2 out of 1215 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1215/1215 places, 2115/2115 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 1215 transition count 2111
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 1211 transition count 2111
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 8 place count 1211 transition count 2091
Deduced a syphon composed of 20 places in 9 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 2 with 41 rules applied. Total rules applied 49 place count 1190 transition count 2091
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 50 place count 1190 transition count 2090
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 51 place count 1189 transition count 2090
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 2 Pre rules applied. Total rules applied 51 place count 1189 transition count 2088
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 55 place count 1187 transition count 2088
Symmetric choice reduction at 4 with 2 rule applications. Total rules 57 place count 1187 transition count 2088
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 14 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 61 place count 1185 transition count 2074
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 1 rules applied. Total rules applied 62 place count 1184 transition count 2074
Symmetric choice reduction at 5 with 1 rule applications. Total rules 63 place count 1184 transition count 2074
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 65 place count 1183 transition count 2066
Symmetric choice reduction at 5 with 1 rule applications. Total rules 66 place count 1183 transition count 2066
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 68 place count 1182 transition count 2058
Symmetric choice reduction at 5 with 1 rule applications. Total rules 69 place count 1182 transition count 2058
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 71 place count 1181 transition count 2050
Symmetric choice reduction at 5 with 1 rule applications. Total rules 72 place count 1181 transition count 2050
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 74 place count 1180 transition count 2042
Symmetric choice reduction at 5 with 1 rule applications. Total rules 75 place count 1180 transition count 2042
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 77 place count 1179 transition count 2034
Symmetric choice reduction at 5 with 1 rule applications. Total rules 78 place count 1179 transition count 2034
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 80 place count 1178 transition count 2026
Symmetric choice reduction at 5 with 1 rule applications. Total rules 81 place count 1178 transition count 2026
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 83 place count 1177 transition count 2018
Symmetric choice reduction at 5 with 1 rule applications. Total rules 84 place count 1177 transition count 2018
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 86 place count 1176 transition count 2010
Symmetric choice reduction at 5 with 1 rule applications. Total rules 87 place count 1176 transition count 2010
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 89 place count 1175 transition count 2002
Symmetric choice reduction at 5 with 1 rule applications. Total rules 90 place count 1175 transition count 2002
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 92 place count 1174 transition count 1994
Symmetric choice reduction at 5 with 1 rule applications. Total rules 93 place count 1174 transition count 1994
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 95 place count 1173 transition count 1986
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 5 with 8 rules applied. Total rules applied 103 place count 1169 transition count 1982
Symmetric choice reduction at 5 with 1 rule applications. Total rules 104 place count 1169 transition count 1982
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 106 place count 1168 transition count 1981
Free-agglomeration rule applied 1 times.
Iterating global reduction 5 with 1 rules applied. Total rules applied 107 place count 1168 transition count 1980
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 108 place count 1167 transition count 1980
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 109 place count 1166 transition count 1979
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 110 place count 1165 transition count 1978
Applied a total of 110 rules in 732 ms. Remains 1165 /1215 variables (removed 50) and now considering 1978/2115 (removed 137) transitions.
Finished structural reductions, in 1 iterations. Remains : 1165/1215 places, 1978/2115 transitions.
Incomplete random walk after 1000000 steps, including 10343 resets, run finished after 5954 ms. (steps per millisecond=167 ) properties seen :[0]
Incomplete Best-First random walk after 1000001 steps, including 1275 resets, run finished after 1985 ms. (steps per millisecond=503 ) properties seen :[0]
Interrupted probabilistic random walk after 2160151 steps, run timeout after 30001 ms. (steps per millisecond=72 ) properties seen :[0]
Probabilistic random walk after 2160151 steps, saw 392327 distinct states, run finished after 30001 ms. (steps per millisecond=72 ) properties seen :[0]
// Phase 1: matrix 1978 rows 1165 cols
[2020-06-04 13:58:36] [INFO ] Computed 202 place invariants in 129 ms
[2020-06-04 13:58:37] [INFO ] [Real]Absence check using 56 positive place invariants in 133 ms returned sat
[2020-06-04 13:58:37] [INFO ] [Real]Absence check using 56 positive and 146 generalized place invariants in 228 ms returned sat
[2020-06-04 13:58:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 13:58:43] [INFO ] [Real]Absence check using state equation in 6416 ms returned sat
[2020-06-04 13:58:43] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 13:58:44] [INFO ] [Nat]Absence check using 56 positive place invariants in 126 ms returned sat
[2020-06-04 13:58:44] [INFO ] [Nat]Absence check using 56 positive and 146 generalized place invariants in 223 ms returned sat
[2020-06-04 13:58:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 13:58:51] [INFO ] [Nat]Absence check using state equation in 6585 ms returned sat
[2020-06-04 13:58:51] [INFO ] Computed and/alt/rep : 1937/20741/1937 causal constraints in 241 ms.
[2020-06-04 13:59:14] [INFO ] Added : 420 causal constraints over 84 iterations in 23208 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 117 ms.
Incomplete Parikh walk after 379700 steps, including 5304 resets, run finished after 2654 ms. (steps per millisecond=143 ) properties seen :[0] could not realise parikh vector
Support contains 2 out of 1165 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1165/1165 places, 1978/1978 transitions.
Applied a total of 0 rules in 45 ms. Remains 1165 /1165 variables (removed 0) and now considering 1978/1978 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1165/1165 places, 1978/1978 transitions.
Starting structural reductions, iteration 0 : 1165/1165 places, 1978/1978 transitions.
Applied a total of 0 rules in 51 ms. Remains 1165 /1165 variables (removed 0) and now considering 1978/1978 (removed 0) transitions.
// Phase 1: matrix 1978 rows 1165 cols
[2020-06-04 13:59:17] [INFO ] Computed 202 place invariants in 76 ms
[2020-06-04 13:59:23] [INFO ] Implicit Places using invariants in 5879 ms returned [1, 18, 19, 31, 48, 66, 85, 135, 144, 145, 147, 164, 182, 251, 255, 256, 267, 268, 270, 287, 305, 374, 378, 379, 390, 391, 393, 410, 428, 497, 501, 502, 513, 514, 516, 534, 552, 621, 625, 626, 637, 638, 640, 657, 675, 745, 749, 750, 761, 762, 764, 781, 799, 868, 872, 873, 884, 885, 886, 904, 922, 991, 995, 996, 999, 1010, 1011, 1012, 1030, 1032, 1036, 1054, 1055, 1056, 1057, 1069, 1075, 1081, 1087, 1093, 1099, 1105, 1111, 1117, 1123, 1129]
Discarding 86 places :
Implicit Place search using SMT only with invariants took 5886 ms to find 86 implicit places.
[2020-06-04 13:59:23] [INFO ] Redundant transitions in 291 ms returned []
// Phase 1: matrix 1978 rows 1079 cols
[2020-06-04 13:59:23] [INFO ] Computed 116 place invariants in 54 ms
[2020-06-04 13:59:33] [INFO ] Dead Transitions using invariants and state equation in 9827 ms returned []
Starting structural reductions, iteration 1 : 1079/1165 places, 1978/1978 transitions.
Performed 158 Post agglomeration using F-continuation condition.Transition count delta: 158
Iterating post reduction 0 with 158 rules applied. Total rules applied 158 place count 1079 transition count 1820
Reduce places removed 158 places and 0 transitions.
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 166 rules applied. Total rules applied 324 place count 921 transition count 1812
Performed 39 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 39 Pre rules applied. Total rules applied 324 place count 921 transition count 1773
Deduced a syphon composed of 39 places in 6 ms
Ensure Unique test removed 1 places
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 2 with 79 rules applied. Total rules applied 403 place count 881 transition count 1773
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 415 place count 877 transition count 1765
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 423 place count 869 transition count 1765
Symmetric choice reduction at 4 with 15 rule applications. Total rules 438 place count 869 transition count 1765
Deduced a syphon composed of 15 places in 6 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 468 place count 854 transition count 1750
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 471 place count 854 transition count 1747
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 471 place count 854 transition count 1746
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 473 place count 853 transition count 1746
Symmetric choice reduction at 5 with 3 rule applications. Total rules 476 place count 853 transition count 1746
Deduced a syphon composed of 3 places in 5 ms
Reduce places removed 3 places and 6 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 482 place count 850 transition count 1740
Symmetric choice reduction at 5 with 1 rule applications. Total rules 483 place count 850 transition count 1740
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 485 place count 849 transition count 1739
Symmetric choice reduction at 5 with 1 rule applications. Total rules 486 place count 849 transition count 1739
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 488 place count 848 transition count 1737
Performed 58 Post agglomeration using F-continuation condition.Transition count delta: 58
Deduced a syphon composed of 58 places in 5 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 5 with 116 rules applied. Total rules applied 604 place count 790 transition count 1679
Symmetric choice reduction at 5 with 7 rule applications. Total rules 611 place count 790 transition count 1679
Deduced a syphon composed of 7 places in 5 ms
Reduce places removed 7 places and 7 transitions.
Iterating global reduction 5 with 14 rules applied. Total rules applied 625 place count 783 transition count 1672
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 5 with 7 rules applied. Total rules applied 632 place count 783 transition count 1665
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 636 place count 781 transition count 1666
Free-agglomeration rule (complex) applied 17 times.
Iterating global reduction 6 with 17 rules applied. Total rules applied 653 place count 781 transition count 1649
Ensure Unique test removed 1 places
Reduce places removed 18 places and 0 transitions.
Iterating post reduction 6 with 18 rules applied. Total rules applied 671 place count 763 transition count 1649
Partial Free-agglomeration rule applied 24 times.
Drop transitions removed 24 transitions
Iterating global reduction 7 with 24 rules applied. Total rules applied 695 place count 763 transition count 1649
Applied a total of 695 rules in 551 ms. Remains 763 /1079 variables (removed 316) and now considering 1649/1978 (removed 329) transitions.
// Phase 1: matrix 1649 rows 763 cols
[2020-06-04 13:59:34] [INFO ] Computed 110 place invariants in 45 ms
[2020-06-04 13:59:36] [INFO ] Implicit Places using invariants in 2695 ms returned [86, 92, 95, 97, 100, 101, 153, 170, 176, 179, 181, 186, 187, 239, 256, 262, 265, 267, 272, 273, 325, 342, 348, 351, 353, 358, 359, 412, 429, 435, 438, 440, 445, 446, 499, 516, 522, 525, 527, 532, 533, 585, 602, 608, 611, 613, 618, 619, 671, 688, 694, 697, 699]
Discarding 53 places :
Implicit Place search using SMT only with invariants took 2701 ms to find 53 implicit places.
Starting structural reductions, iteration 2 : 710/1165 places, 1649/1978 transitions.
Symmetric choice reduction at 0 with 24 rule applications. Total rules 24 place count 710 transition count 1649
Deduced a syphon composed of 24 places in 3 ms
Reduce places removed 24 places and 24 transitions.
Iterating global reduction 0 with 48 rules applied. Total rules applied 72 place count 686 transition count 1625
Symmetric choice reduction at 0 with 8 rule applications. Total rules 80 place count 686 transition count 1625
Deduced a syphon composed of 8 places in 3 ms
Reduce places removed 8 places and 8 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 96 place count 678 transition count 1617
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 15
Deduced a syphon composed of 15 places in 2 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 0 with 30 rules applied. Total rules applied 126 place count 663 transition count 1602
Free-agglomeration rule applied 24 times.
Iterating global reduction 0 with 24 rules applied. Total rules applied 150 place count 663 transition count 1578
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 0 with 24 rules applied. Total rules applied 174 place count 639 transition count 1578
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 1 with 7 rules applied. Total rules applied 181 place count 639 transition count 1571
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 188 place count 632 transition count 1571
Partial Post-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 2 with 8 rules applied. Total rules applied 196 place count 632 transition count 1571
Applied a total of 196 rules in 215 ms. Remains 632 /710 variables (removed 78) and now considering 1571/1649 (removed 78) transitions.
// Phase 1: matrix 1571 rows 632 cols
[2020-06-04 13:59:37] [INFO ] Computed 57 place invariants in 20 ms
[2020-06-04 13:59:38] [INFO ] Implicit Places using invariants in 1790 ms returned []
// Phase 1: matrix 1571 rows 632 cols
[2020-06-04 13:59:38] [INFO ] Computed 57 place invariants in 22 ms
[2020-06-04 13:59:49] [INFO ] Implicit Places using invariants and state equation in 10841 ms returned []
Implicit Place search using SMT with State Equation took 12632 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 632/1165 places, 1571/1978 transitions.
Incomplete random walk after 1000000 steps, including 16801 resets, run finished after 4484 ms. (steps per millisecond=223 ) properties seen :[0]
Incomplete Best-First random walk after 1000000 steps, including 2777 resets, run finished after 1196 ms. (steps per millisecond=836 ) properties seen :[0]
Finished probabilistic random walk after 1901 steps, run visited all 1 properties in 26 ms. (steps per millisecond=73 )
Probabilistic random walk after 1901 steps, saw 546 distinct states, run finished after 27 ms. (steps per millisecond=70 ) properties seen :[1]
FORMULA ASLink-PT-08b-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
All properties solved without resorting to model-checking.
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-08b"
export BK_EXAMINATION="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-08b, 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-158987787300135"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08b.tgz
mv ASLink-PT-08b execution
cd execution
if [ "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 ;