About the Execution of ITS-Tools for ASLink-PT-09b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7776.403 | 3600000.00 | 11852599.00 | 64027.00 | ?FFTTTFTTTFFTFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r007-tall-162037989600150.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-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 itstools
Input is ASLink-PT-09b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989600150
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 22 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.3M May 5 16:51 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-09b-ReachabilityCardinality-00
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-01
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-02
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-03
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-04
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-05
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-06
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-07
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-08
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-09
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-10
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-11
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-12
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-13
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-14
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1620441207220
Running Version 0
[2021-05-08 02:33:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-08 02:33:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 02:33:28] [INFO ] Load time of PNML (sax parser for PT used): 201 ms
[2021-05-08 02:33:29] [INFO ] Transformed 4014 places.
[2021-05-08 02:33:29] [INFO ] Transformed 4932 transitions.
[2021-05-08 02:33:29] [INFO ] Found NUPN structural information;
[2021-05-08 02:33:29] [INFO ] Parsed PT model containing 4014 places and 4932 transitions in 309 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 10 ms.
Working with output stream class java.io.PrintStream
FORMULA ASLink-PT-09b-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=87 ) properties (out of 13) seen :6
FORMULA ASLink-PT-09b-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
// Phase 1: matrix 4932 rows 4014 cols
[2021-05-08 02:33:29] [INFO ] Computed 394 place invariants in 425 ms
[2021-05-08 02:33:31] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:7
[2021-05-08 02:33:32] [INFO ] [Nat]Absence check using 93 positive place invariants in 51 ms returned sat
[2021-05-08 02:33:32] [INFO ] [Nat]Absence check using 93 positive and 301 generalized place invariants in 205 ms returned sat
[2021-05-08 02:33:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:33:56] [INFO ] [Nat]Absence check using state equation in 23379 ms returned unsat :1 sat :1
Attempting to minimize the solution found.
Minimization took 2 ms.
[2021-05-08 02:33:56] [INFO ] SMT Verify possible in nat domain returned unsat :1 sat :1
FORMULA ASLink-PT-09b-ReachabilityCardinality-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 7 Parikh solutions to 2 different solutions.
Incomplete Parikh walk after 274200 steps, including 1002 resets, run finished after 1767 ms. (steps per millisecond=155 ) properties (out of 6) seen :1 could not realise parikh vector
FORMULA ASLink-PT-09b-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 22 out of 4014 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4014/4014 places, 4932/4932 transitions.
Drop transitions removed 923 transitions
Trivial Post-agglo rules discarded 923 transitions
Performed 923 trivial Post agglomeration. Transition count delta: 923
Iterating post reduction 0 with 923 rules applied. Total rules applied 923 place count 4014 transition count 4009
Reduce places removed 923 places and 0 transitions.
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 1 with 965 rules applied. Total rules applied 1888 place count 3091 transition count 3967
Reduce places removed 11 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 2 with 17 rules applied. Total rules applied 1905 place count 3080 transition count 3961
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 1911 place count 3074 transition count 3961
Performed 926 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 926 Pre rules applied. Total rules applied 1911 place count 3074 transition count 3035
Deduced a syphon composed of 926 places in 9 ms
Ensure Unique test removed 89 places
Reduce places removed 1015 places and 0 transitions.
Iterating global reduction 4 with 1941 rules applied. Total rules applied 3852 place count 2059 transition count 3035
Discarding 11 places :
Implicit places reduction removed 11 places
Drop transitions removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 4 with 67 rules applied. Total rules applied 3919 place count 2048 transition count 2979
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 5 with 56 rules applied. Total rules applied 3975 place count 1992 transition count 2979
Performed 34 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 34 Pre rules applied. Total rules applied 3975 place count 1992 transition count 2945
Deduced a syphon composed of 34 places in 25 ms
Ensure Unique test removed 34 places
Reduce places removed 68 places and 0 transitions.
Iterating global reduction 6 with 102 rules applied. Total rules applied 4077 place count 1924 transition count 2945
Performed 34 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 34 Pre rules applied. Total rules applied 4077 place count 1924 transition count 2911
Deduced a syphon composed of 34 places in 22 ms
Reduce places removed 34 places and 0 transitions.
Iterating global reduction 6 with 68 rules applied. Total rules applied 4145 place count 1890 transition count 2911
Discarding 127 places :
Symmetric choice reduction at 6 with 127 rule applications. Total rules 4272 place count 1763 transition count 2784
Iterating global reduction 6 with 127 rules applied. Total rules applied 4399 place count 1763 transition count 2784
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 4400 place count 1763 transition count 2783
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 40 Pre rules applied. Total rules applied 4400 place count 1763 transition count 2743
Deduced a syphon composed of 40 places in 6 ms
Ensure Unique test removed 1 places
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 7 with 81 rules applied. Total rules applied 4481 place count 1722 transition count 2743
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 4481 place count 1722 transition count 2742
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 4483 place count 1721 transition count 2742
Discarding 10 places :
Symmetric choice reduction at 7 with 10 rule applications. Total rules 4493 place count 1711 transition count 2679
Iterating global reduction 7 with 10 rules applied. Total rules applied 4503 place count 1711 transition count 2679
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 9 Pre rules applied. Total rules applied 4503 place count 1711 transition count 2670
Deduced a syphon composed of 9 places in 6 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 7 with 18 rules applied. Total rules applied 4521 place count 1702 transition count 2670
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4522 place count 1701 transition count 2662
Iterating global reduction 7 with 1 rules applied. Total rules applied 4523 place count 1701 transition count 2662
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4524 place count 1700 transition count 2654
Iterating global reduction 7 with 1 rules applied. Total rules applied 4525 place count 1700 transition count 2654
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4526 place count 1699 transition count 2646
Iterating global reduction 7 with 1 rules applied. Total rules applied 4527 place count 1699 transition count 2646
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4528 place count 1698 transition count 2638
Iterating global reduction 7 with 1 rules applied. Total rules applied 4529 place count 1698 transition count 2638
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4530 place count 1697 transition count 2630
Iterating global reduction 7 with 1 rules applied. Total rules applied 4531 place count 1697 transition count 2630
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4532 place count 1696 transition count 2622
Iterating global reduction 7 with 1 rules applied. Total rules applied 4533 place count 1696 transition count 2622
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4534 place count 1695 transition count 2614
Iterating global reduction 7 with 1 rules applied. Total rules applied 4535 place count 1695 transition count 2614
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4536 place count 1694 transition count 2606
Iterating global reduction 7 with 1 rules applied. Total rules applied 4537 place count 1694 transition count 2606
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4538 place count 1693 transition count 2598
Iterating global reduction 7 with 1 rules applied. Total rules applied 4539 place count 1693 transition count 2598
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4540 place count 1692 transition count 2590
Iterating global reduction 7 with 1 rules applied. Total rules applied 4541 place count 1692 transition count 2590
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4542 place count 1691 transition count 2582
Iterating global reduction 7 with 1 rules applied. Total rules applied 4543 place count 1691 transition count 2582
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4544 place count 1690 transition count 2574
Iterating global reduction 7 with 1 rules applied. Total rules applied 4545 place count 1690 transition count 2574
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4546 place count 1689 transition count 2566
Iterating global reduction 7 with 1 rules applied. Total rules applied 4547 place count 1689 transition count 2566
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4548 place count 1688 transition count 2558
Iterating global reduction 7 with 1 rules applied. Total rules applied 4549 place count 1688 transition count 2558
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4550 place count 1687 transition count 2550
Iterating global reduction 7 with 1 rules applied. Total rules applied 4551 place count 1687 transition count 2550
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4552 place count 1686 transition count 2542
Iterating global reduction 7 with 1 rules applied. Total rules applied 4553 place count 1686 transition count 2542
Performed 234 Post agglomeration using F-continuation condition.Transition count delta: 234
Deduced a syphon composed of 234 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 235 places and 0 transitions.
Iterating global reduction 7 with 469 rules applied. Total rules applied 5022 place count 1451 transition count 2308
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 5023 place count 1450 transition count 2307
Ensure Unique test removed 1 places
Iterating global reduction 7 with 2 rules applied. Total rules applied 5025 place count 1449 transition count 2307
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 5026 place count 1448 transition count 2306
Iterating global reduction 7 with 1 rules applied. Total rules applied 5027 place count 1448 transition count 2306
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 7 with 2 rules applied. Total rules applied 5029 place count 1448 transition count 2304
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 5030 place count 1447 transition count 2304
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 5032 place count 1446 transition count 2313
Free-agglomeration rule applied 10 times.
Iterating global reduction 9 with 10 rules applied. Total rules applied 5042 place count 1446 transition count 2303
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 9 with 10 rules applied. Total rules applied 5052 place count 1436 transition count 2303
Free-agglomeration rule (complex) applied 10 times.
Iterating global reduction 10 with 10 rules applied. Total rules applied 5062 place count 1436 transition count 2293
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 10 with 10 rules applied. Total rules applied 5072 place count 1426 transition count 2293
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 5073 place count 1425 transition count 2292
Reduce places removed 16 places and 0 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 11 with 23 rules applied. Total rules applied 5096 place count 1409 transition count 2285
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 12 with 7 rules applied. Total rules applied 5103 place count 1402 transition count 2285
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 24 Pre rules applied. Total rules applied 5103 place count 1402 transition count 2261
Deduced a syphon composed of 24 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 13 with 49 rules applied. Total rules applied 5152 place count 1377 transition count 2261
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 13 with 9 rules applied. Total rules applied 5161 place count 1368 transition count 2261
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 1 Pre rules applied. Total rules applied 5161 place count 1368 transition count 2260
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 5163 place count 1367 transition count 2260
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 4 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 14 with 36 rules applied. Total rules applied 5199 place count 1349 transition count 2242
Discarding 8 places :
Symmetric choice reduction at 14 with 8 rule applications. Total rules 5207 place count 1341 transition count 2234
Iterating global reduction 14 with 8 rules applied. Total rules applied 5215 place count 1341 transition count 2234
Free-agglomeration rule applied 8 times.
Iterating global reduction 14 with 8 rules applied. Total rules applied 5223 place count 1341 transition count 2226
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 14 with 8 rules applied. Total rules applied 5231 place count 1333 transition count 2226
Applied a total of 5231 rules in 3168 ms. Remains 1333 /4014 variables (removed 2681) and now considering 2226/4932 (removed 2706) transitions.
Finished structural reductions, in 1 iterations. Remains : 1333/4014 places, 2226/4932 transitions.
[2021-05-08 02:34:01] [INFO ] Flatten gal took : 224 ms
[2021-05-08 02:34:01] [INFO ] Flatten gal took : 141 ms
[2021-05-08 02:34:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2359416968990950526.gal : 38 ms
[2021-05-08 02:34:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13185135671584127447.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2359416968990950526.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13185135671584127447.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2359416968990950526.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13185135671584127447.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality13185135671584127447.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :2 after 4
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :4 after 6
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :6 after 8
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :8 after 10
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :10 after 864
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :864 after 2.02532e+06
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :2.02532e+06 after 8.07598e+09
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :8.07598e+09 after 1.71747e+16
Reachability property ASLink-PT-09b-ReachabilityCardinality-03 is true.
FORMULA ASLink-PT-09b-ReachabilityCardinality-03 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :1.71747e+16 after 1.74027e+16
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :1.74027e+16 after 1.74027e+16
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :1.74027e+16 after 1.74029e+16
SDD proceeding with computation,4 properties remain. new max is 8192
SDD size :1.74029e+16 after 3.07337e+17
SDD proceeding with computation,4 properties remain. new max is 16384
SDD size :3.07337e+17 after 2.40514e+18
Reachability property ASLink-PT-09b-ReachabilityCardinality-12 is true.
FORMULA ASLink-PT-09b-ReachabilityCardinality-12 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
Detected timeout of ITS tools.
[2021-05-08 02:34:16] [INFO ] Flatten gal took : 106 ms
[2021-05-08 02:34:16] [INFO ] Applying decomposition
[2021-05-08 02:34:16] [INFO ] Flatten gal took : 99 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph12505741328379576348.txt, -o, /tmp/graph12505741328379576348.bin, -w, /tmp/graph12505741328379576348.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph12505741328379576348.bin, -l, -1, -v, -w, /tmp/graph12505741328379576348.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:34:17] [INFO ] Decomposing Gal with order
[2021-05-08 02:34:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:34:17] [INFO ] Removed a total of 3464 redundant transitions.
[2021-05-08 02:34:17] [INFO ] Flatten gal took : 260 ms
[2021-05-08 02:34:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 65 labels/synchronizations in 41 ms.
[2021-05-08 02:34:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12348345922781414971.gal : 17 ms
[2021-05-08 02:34:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality642099953091746943.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12348345922781414971.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality642099953091746943.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12348345922781414971.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality642099953091746943.prop --nowitness
Loading property file /tmp/ReachabilityCardinality642099953091746943.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :8 after 11
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :11 after 11
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :11 after 11
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :11 after 256
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :256 after 3228
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :3228 after 1.80029e+06
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :1.80029e+06 after 2.60035e+13
Reachability property ASLink-PT-09b-ReachabilityCardinality-09 is true.
FORMULA ASLink-PT-09b-ReachabilityCardinality-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2.46299e+16 after 2.46433e+20
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin17366825065215403881
[2021-05-08 02:34:32] [INFO ] Built C files in 35ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17366825065215403881
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17366825065215403881]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17366825065215403881] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17366825065215403881] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 8638 resets, run finished after 10375 ms. (steps per millisecond=96 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 933 resets, run finished after 1669 ms. (steps per millisecond=599 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1077 resets, run finished after 1704 ms. (steps per millisecond=586 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 2881315 steps, run timeout after 30001 ms. (steps per millisecond=96 ) properties seen :{}
Probabilistic random walk after 2881315 steps, saw 422446 distinct states, run finished after 32820 ms. (steps per millisecond=87 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 2226 rows 1333 cols
[2021-05-08 02:35:20] [INFO ] Computed 231 place invariants in 97 ms
[2021-05-08 02:35:20] [INFO ] [Real]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:35:20] [INFO ] [Real]Absence check using 56 positive and 175 generalized place invariants in 78 ms returned sat
[2021-05-08 02:35:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:35:21] [INFO ] [Real]Absence check using state equation in 771 ms returned sat
[2021-05-08 02:35:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:35:21] [INFO ] [Nat]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:35:21] [INFO ] [Nat]Absence check using 56 positive and 175 generalized place invariants in 34 ms returned sat
[2021-05-08 02:35:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:35:22] [INFO ] [Nat]Absence check using state equation in 1015 ms returned sat
[2021-05-08 02:35:23] [INFO ] Deduced a trap composed of 110 places in 406 ms of which 3 ms to minimize.
[2021-05-08 02:35:23] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 545 ms
[2021-05-08 02:35:23] [INFO ] Computed and/alt/rep : 908/3537/908 causal constraints (skipped 1273 transitions) in 129 ms.
[2021-05-08 02:35:44] [INFO ] Added : 600 causal constraints over 120 iterations in 20872 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 18 ms.
[2021-05-08 02:35:44] [INFO ] [Real]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:35:44] [INFO ] [Real]Absence check using 56 positive and 175 generalized place invariants in 37 ms returned sat
[2021-05-08 02:35:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:35:45] [INFO ] [Real]Absence check using state equation in 795 ms returned sat
[2021-05-08 02:35:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:35:45] [INFO ] [Nat]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:35:45] [INFO ] [Nat]Absence check using 56 positive and 175 generalized place invariants in 37 ms returned sat
[2021-05-08 02:35:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:35:46] [INFO ] [Nat]Absence check using state equation in 896 ms returned sat
[2021-05-08 02:35:46] [INFO ] Computed and/alt/rep : 908/3537/908 causal constraints (skipped 1273 transitions) in 121 ms.
[2021-05-08 02:36:02] [INFO ] Added : 706 causal constraints over 142 iterations in 15515 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 34 ms.
Incomplete Parikh walk after 1318200 steps, including 7610 resets, run finished after 6229 ms. (steps per millisecond=211 ) properties (out of 2) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1719100 steps, including 10514 resets, run finished after 7635 ms. (steps per millisecond=225 ) properties (out of 2) seen :0 could not realise parikh vector
Support contains 7 out of 1333 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1333/1333 places, 2226/2226 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 1333 transition count 2221
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 11 place count 1327 transition count 2221
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 11 place count 1327 transition count 2211
Deduced a syphon composed of 10 places in 4 ms
Ensure Unique test removed 2 places
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 22 rules applied. Total rules applied 33 place count 1315 transition count 2211
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 33 place count 1315 transition count 2210
Deduced a syphon composed of 1 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 36 place count 1313 transition count 2210
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 2 with 8 rules applied. Total rules applied 44 place count 1309 transition count 2206
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 45 place count 1309 transition count 2205
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 46 place count 1308 transition count 2205
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 47 place count 1307 transition count 2204
Applied a total of 47 rules in 224 ms. Remains 1307 /1333 variables (removed 26) and now considering 2204/2226 (removed 22) transitions.
Finished structural reductions, in 1 iterations. Remains : 1307/1333 places, 2204/2226 transitions.
[2021-05-08 02:36:16] [INFO ] Flatten gal took : 87 ms
[2021-05-08 02:36:16] [INFO ] Flatten gal took : 89 ms
[2021-05-08 02:36:28] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13149310798847526000.gal : 11504 ms
[2021-05-08 02:36:28] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6941128468215508855.prop : 140 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13149310798847526000.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6941128468215508855.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13149310798847526000.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6941128468215508855.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6941128468215508855.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :2 after 3
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :3 after 6
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :6 after 9
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :9 after 93
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :93 after 1071
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1071 after 1.02117e+06
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :1.02117e+06 after 4.56013e+10
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :4.56013e+10 after 2.35355e+15
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :2.35355e+15 after 2.3599e+15
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :2.3599e+15 after 2.3599e+15
SDD proceeding with computation,2 properties remain. new max is 8192
SDD size :2.3599e+15 after 5.24167e+16
SDD proceeding with computation,2 properties remain. new max is 16384
SDD size :5.24167e+16 after 5.18312e+17
SDD proceeding with computation,2 properties remain. new max is 32768
SDD size :5.18312e+17 after 8.67585e+18
Detected timeout of ITS tools.
[2021-05-08 02:36:43] [INFO ] Flatten gal took : 85 ms
[2021-05-08 02:36:43] [INFO ] Applying decomposition
[2021-05-08 02:36:43] [INFO ] Flatten gal took : 87 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2341138260091155298.txt, -o, /tmp/graph2341138260091155298.bin, -w, /tmp/graph2341138260091155298.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2341138260091155298.bin, -l, -1, -v, -w, /tmp/graph2341138260091155298.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:36:50] [INFO ] Decomposing Gal with order
[2021-05-08 02:36:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:36:51] [INFO ] Removed a total of 3489 redundant transitions.
[2021-05-08 02:36:51] [INFO ] Flatten gal took : 199 ms
[2021-05-08 02:36:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 62 labels/synchronizations in 28 ms.
[2021-05-08 02:36:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17186723063077315808.gal : 12 ms
[2021-05-08 02:36:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2929475737951390855.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17186723063077315808.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2929475737951390855.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17186723063077315808.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2929475737951390855.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2929475737951390855.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :8 after 21
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :21 after 21
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :21 after 21
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :21 after 310
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :310 after 12852
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :12852 after 1.14213e+09
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :1.14213e+09 after 1.74946e+15
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :5.76859e+15 after 7.08179e+16
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11346435756584563926
[2021-05-08 02:37:06] [INFO ] Built C files in 26ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11346435756584563926
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11346435756584563926]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11346435756584563926] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11346435756584563926] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 8987 resets, run finished after 4308 ms. (steps per millisecond=232 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1015 resets, run finished after 1608 ms. (steps per millisecond=621 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1176 resets, run finished after 1645 ms. (steps per millisecond=607 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 2888544 steps, run timeout after 30001 ms. (steps per millisecond=96 ) properties seen :{}
Probabilistic random walk after 2888544 steps, saw 422558 distinct states, run finished after 30001 ms. (steps per millisecond=96 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 2204 rows 1307 cols
[2021-05-08 02:37:44] [INFO ] Computed 227 place invariants in 39 ms
[2021-05-08 02:37:44] [INFO ] [Real]Absence check using 56 positive place invariants in 18 ms returned sat
[2021-05-08 02:37:44] [INFO ] [Real]Absence check using 56 positive and 171 generalized place invariants in 35 ms returned sat
[2021-05-08 02:37:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:37:45] [INFO ] [Real]Absence check using state equation in 596 ms returned sat
[2021-05-08 02:37:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:37:45] [INFO ] [Nat]Absence check using 56 positive place invariants in 18 ms returned sat
[2021-05-08 02:37:45] [INFO ] [Nat]Absence check using 56 positive and 171 generalized place invariants in 33 ms returned sat
[2021-05-08 02:37:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:37:46] [INFO ] [Nat]Absence check using state equation in 753 ms returned sat
[2021-05-08 02:37:46] [INFO ] Computed and/alt/rep : 877/3355/877 causal constraints (skipped 1284 transitions) in 110 ms.
[2021-05-08 02:38:01] [INFO ] Deduced a trap composed of 83 places in 104 ms of which 1 ms to minimize.
[2021-05-08 02:38:01] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 290 ms
[2021-05-08 02:38:01] [INFO ] Added : 700 causal constraints over 140 iterations in 14835 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 24 ms.
[2021-05-08 02:38:01] [INFO ] [Real]Absence check using 56 positive place invariants in 18 ms returned sat
[2021-05-08 02:38:01] [INFO ] [Real]Absence check using 56 positive and 171 generalized place invariants in 46 ms returned sat
[2021-05-08 02:38:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:38:02] [INFO ] [Real]Absence check using state equation in 710 ms returned sat
[2021-05-08 02:38:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:38:02] [INFO ] [Nat]Absence check using 56 positive place invariants in 19 ms returned sat
[2021-05-08 02:38:02] [INFO ] [Nat]Absence check using 56 positive and 171 generalized place invariants in 35 ms returned sat
[2021-05-08 02:38:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:38:03] [INFO ] [Nat]Absence check using state equation in 856 ms returned sat
[2021-05-08 02:38:03] [INFO ] Computed and/alt/rep : 877/3355/877 causal constraints (skipped 1284 transitions) in 150 ms.
[2021-05-08 02:38:16] [INFO ] Added : 662 causal constraints over 133 iterations in 13421 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 28 ms.
Incomplete Parikh walk after 1222200 steps, including 8503 resets, run finished after 5746 ms. (steps per millisecond=212 ) properties (out of 2) seen :0 could not realise parikh vector
Incomplete Parikh walk after 883000 steps, including 6741 resets, run finished after 4228 ms. (steps per millisecond=208 ) properties (out of 2) seen :0 could not realise parikh vector
Support contains 7 out of 1307 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1307/1307 places, 2204/2204 transitions.
Applied a total of 0 rules in 48 ms. Remains 1307 /1307 variables (removed 0) and now considering 2204/2204 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1307/1307 places, 2204/2204 transitions.
Starting structural reductions, iteration 0 : 1307/1307 places, 2204/2204 transitions.
Applied a total of 0 rules in 114 ms. Remains 1307 /1307 variables (removed 0) and now considering 2204/2204 (removed 0) transitions.
// Phase 1: matrix 2204 rows 1307 cols
[2021-05-08 02:38:27] [INFO ] Computed 227 place invariants in 38 ms
[2021-05-08 02:38:28] [INFO ] Implicit Places using invariants in 1008 ms returned [1, 18, 19, 31, 48, 66, 136, 140, 149, 150, 151, 169, 187, 256, 260, 261, 272, 273, 275, 292, 310, 379, 383, 384, 395, 396, 398, 418, 436, 505, 509, 510, 521, 522, 524, 560, 629, 633, 634, 645, 646, 648, 665, 683, 752, 756, 757, 768, 769, 771, 788, 806, 875, 879, 880, 891, 892, 894, 911, 929, 1004, 1008, 1009, 1020, 1022, 1023, 1025, 1042, 1060, 1129, 1133, 1134, 1137, 1148, 1149, 1150, 1168, 1170, 1174, 1192, 1193, 1194, 1195, 1207, 1214, 1220, 1226, 1232, 1238, 1244, 1250, 1256, 1262, 1268, 1304]
Discarding 95 places :
Implicit Place search using SMT only with invariants took 1012 ms to find 95 implicit places.
[2021-05-08 02:38:28] [INFO ] Redundant transitions in 168 ms returned []
// Phase 1: matrix 2204 rows 1212 cols
[2021-05-08 02:38:28] [INFO ] Computed 132 place invariants in 25 ms
[2021-05-08 02:38:29] [INFO ] Dead Transitions using invariants and state equation in 918 ms returned []
Starting structural reductions, iteration 1 : 1212/1307 places, 2204/2204 transitions.
Drop transitions removed 171 transitions
Trivial Post-agglo rules discarded 171 transitions
Performed 171 trivial Post agglomeration. Transition count delta: 171
Iterating post reduction 0 with 171 rules applied. Total rules applied 171 place count 1212 transition count 2033
Reduce places removed 171 places and 0 transitions.
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 180 rules applied. Total rules applied 351 place count 1041 transition count 2024
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 352 place count 1040 transition count 2024
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 44 Pre rules applied. Total rules applied 352 place count 1040 transition count 1980
Deduced a syphon composed of 44 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 3 with 89 rules applied. Total rules applied 441 place count 995 transition count 1980
Discarding 5 places :
Implicit places reduction removed 5 places
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 3 with 13 rules applied. Total rules applied 454 place count 990 transition count 1972
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 462 place count 982 transition count 1972
Discarding 14 places :
Symmetric choice reduction at 5 with 14 rule applications. Total rules 476 place count 968 transition count 1958
Iterating global reduction 5 with 14 rules applied. Total rules applied 490 place count 968 transition count 1958
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 493 place count 968 transition count 1955
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 496 place count 965 transition count 1949
Iterating global reduction 6 with 3 rules applied. Total rules applied 499 place count 965 transition count 1949
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 500 place count 964 transition count 1948
Iterating global reduction 6 with 1 rules applied. Total rules applied 501 place count 964 transition count 1948
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 502 place count 963 transition count 1946
Iterating global reduction 6 with 1 rules applied. Total rules applied 503 place count 963 transition count 1946
Performed 62 Post agglomeration using F-continuation condition.Transition count delta: 62
Deduced a syphon composed of 62 places in 3 ms
Reduce places removed 62 places and 0 transitions.
Iterating global reduction 6 with 124 rules applied. Total rules applied 627 place count 901 transition count 1884
Discarding 9 places :
Symmetric choice reduction at 6 with 9 rule applications. Total rules 636 place count 892 transition count 1875
Iterating global reduction 6 with 9 rules applied. Total rules applied 645 place count 892 transition count 1875
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 6 with 9 rules applied. Total rules applied 654 place count 892 transition count 1866
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 658 place count 890 transition count 1867
Free-agglomeration rule applied 1 times.
Iterating global reduction 7 with 1 rules applied. Total rules applied 659 place count 890 transition count 1866
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 660 place count 889 transition count 1866
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 8 with 20 rules applied. Total rules applied 680 place count 889 transition count 1846
Ensure Unique test removed 1 places
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 8 with 21 rules applied. Total rules applied 701 place count 868 transition count 1846
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 702 place count 868 transition count 1845
Partial Free-agglomeration rule applied 24 times.
Drop transitions removed 24 transitions
Iterating global reduction 9 with 24 rules applied. Total rules applied 726 place count 868 transition count 1845
Applied a total of 726 rules in 662 ms. Remains 868 /1212 variables (removed 344) and now considering 1845/2204 (removed 359) transitions.
// Phase 1: matrix 1845 rows 868 cols
[2021-05-08 02:38:30] [INFO ] Computed 125 place invariants in 34 ms
[2021-05-08 02:38:30] [INFO ] Implicit Places using invariants in 590 ms returned [72, 90, 96, 99, 101, 104, 105, 157, 174, 180, 183, 185, 190, 191, 243, 260, 266, 269, 271, 276, 277, 332, 349, 355, 358, 360, 365, 366, 420, 441, 449, 455, 460, 461, 513, 530, 536, 539, 541, 546, 547, 599, 616, 622, 625, 627, 632, 633, 685, 702, 708, 711, 713, 718, 719, 772, 789, 795, 798, 800]
Discarding 60 places :
Implicit Place search using SMT only with invariants took 592 ms to find 60 implicit places.
Starting structural reductions, iteration 2 : 808/1307 places, 1845/2204 transitions.
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 26 place count 782 transition count 1819
Iterating global reduction 0 with 26 rules applied. Total rules applied 52 place count 782 transition count 1819
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 62 place count 772 transition count 1809
Iterating global reduction 0 with 10 rules applied. Total rules applied 72 place count 772 transition count 1809
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 74 place count 770 transition count 1807
Iterating global reduction 0 with 2 rules applied. Total rules applied 76 place count 770 transition count 1807
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 77 place count 769 transition count 1806
Iterating global reduction 0 with 1 rules applied. Total rules applied 78 place count 769 transition count 1806
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 79 place count 768 transition count 1805
Iterating global reduction 0 with 1 rules applied. Total rules applied 80 place count 768 transition count 1805
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 3 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 0 with 36 rules applied. Total rules applied 116 place count 750 transition count 1787
Free-agglomeration rule applied 27 times.
Iterating global reduction 0 with 27 rules applied. Total rules applied 143 place count 750 transition count 1760
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 0 with 27 rules applied. Total rules applied 170 place count 723 transition count 1760
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 1 with 9 rules applied. Total rules applied 179 place count 723 transition count 1751
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 188 place count 714 transition count 1751
Applied a total of 188 rules in 256 ms. Remains 714 /808 variables (removed 94) and now considering 1751/1845 (removed 94) transitions.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:38:30] [INFO ] Computed 65 place invariants in 18 ms
[2021-05-08 02:38:31] [INFO ] Implicit Places using invariants in 432 ms returned []
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:38:31] [INFO ] Computed 65 place invariants in 18 ms
[2021-05-08 02:38:32] [INFO ] Implicit Places using invariants and state equation in 1315 ms returned []
Implicit Place search using SMT with State Equation took 1747 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 714/1307 places, 1751/2204 transitions.
[2021-05-08 02:38:32] [INFO ] Flatten gal took : 59 ms
[2021-05-08 02:38:32] [INFO ] Flatten gal took : 59 ms
[2021-05-08 02:38:34] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13490115997614379039.gal : 1566 ms
[2021-05-08 02:38:35] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10015972324363181848.prop : 727 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13490115997614379039.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10015972324363181848.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13490115997614379039.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10015972324363181848.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality10015972324363181848.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :2 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 44
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :44 after 328
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :328 after 984
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :984 after 54816
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :54816 after 2.2795e+07
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2.2795e+07 after 1.25769e+09
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1.25769e+09 after 1.29974e+09
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :1.29974e+09 after 1.29992e+09
Detected timeout of ITS tools.
[2021-05-08 02:38:50] [INFO ] Flatten gal took : 58 ms
[2021-05-08 02:38:50] [INFO ] Applying decomposition
[2021-05-08 02:38:50] [INFO ] Flatten gal took : 58 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph95154981366301517.txt, -o, /tmp/graph95154981366301517.bin, -w, /tmp/graph95154981366301517.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph95154981366301517.bin, -l, -1, -v, -w, /tmp/graph95154981366301517.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:38:52] [INFO ] Decomposing Gal with order
[2021-05-08 02:38:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:38:52] [INFO ] Removed a total of 3565 redundant transitions.
[2021-05-08 02:38:52] [INFO ] Flatten gal took : 103 ms
[2021-05-08 02:38:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 187 labels/synchronizations in 22 ms.
[2021-05-08 02:38:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5648028105160540147.gal : 8 ms
[2021-05-08 02:38:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1595184587895680815.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5648028105160540147.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1595184587895680815.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5648028105160540147.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1595184587895680815.prop --nowitness
Loading property file /tmp/ReachabilityCardinality1595184587895680815.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 12
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :12 after 176
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :176 after 264
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :264 after 44064
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :44064 after 3.52731e+10
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :3.52731e+10 after 2.47901e+11
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :2.47901e+11 after 6.50987e+11
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :6.50987e+11 after 4.23098e+12
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :4.23098e+12 after 2.13463e+13
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :2.13463e+13 after 1.14048e+14
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :1.14048e+14 after 6.93087e+14
SDD proceeding with computation,2 properties remain. new max is 8192
SDD size :6.93087e+14 after 6.38469e+15
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16338485308753981953
[2021-05-08 02:39:07] [INFO ] Built C files in 23ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16338485308753981953
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16338485308753981953]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16338485308753981953] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16338485308753981953] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 15737 resets, run finished after 3503 ms. (steps per millisecond=285 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000000 steps, including 2239 resets, run finished after 1052 ms. (steps per millisecond=950 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2606 resets, run finished after 1015 ms. (steps per millisecond=985 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 2632949 steps, run timeout after 30001 ms. (steps per millisecond=87 ) properties seen :{}
Probabilistic random walk after 2632949 steps, saw 1076267 distinct states, run finished after 30001 ms. (steps per millisecond=87 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:44] [INFO ] Computed 65 place invariants in 17 ms
[2021-05-08 02:39:44] [INFO ] [Real]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:39:44] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 14 ms returned sat
[2021-05-08 02:39:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:44] [INFO ] [Real]Absence check using state equation in 409 ms returned sat
[2021-05-08 02:39:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:39:44] [INFO ] [Nat]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:39:44] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 14 ms returned sat
[2021-05-08 02:39:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:45] [INFO ] [Nat]Absence check using state equation in 554 ms returned sat
[2021-05-08 02:39:45] [INFO ] Deduced a trap composed of 61 places in 78 ms of which 1 ms to minimize.
[2021-05-08 02:39:45] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 169 ms
[2021-05-08 02:39:45] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 92 ms.
[2021-05-08 02:39:46] [INFO ] Added : 36 causal constraints over 8 iterations in 754 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 4 ms.
[2021-05-08 02:39:46] [INFO ] [Real]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:39:46] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:46] [INFO ] [Real]Absence check using state equation in 402 ms returned sat
[2021-05-08 02:39:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:39:46] [INFO ] [Nat]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:39:46] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:47] [INFO ] [Nat]Absence check using state equation in 520 ms returned sat
[2021-05-08 02:39:47] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 86 ms.
[2021-05-08 02:39:48] [INFO ] Added : 56 causal constraints over 12 iterations in 1174 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
Incomplete Parikh walk after 414500 steps, including 5888 resets, run finished after 1478 ms. (steps per millisecond=280 ) properties (out of 2) seen :0 could not realise parikh vector
Incomplete Parikh walk after 733500 steps, including 23694 resets, run finished after 2475 ms. (steps per millisecond=296 ) properties (out of 2) seen :0 could not realise parikh vector
Support contains 7 out of 714 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 714/714 places, 1751/1751 transitions.
Applied a total of 0 rules in 24 ms. Remains 714 /714 variables (removed 0) and now considering 1751/1751 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 714/714 places, 1751/1751 transitions.
Starting structural reductions, iteration 0 : 714/714 places, 1751/1751 transitions.
Applied a total of 0 rules in 27 ms. Remains 714 /714 variables (removed 0) and now considering 1751/1751 (removed 0) transitions.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:52] [INFO ] Computed 65 place invariants in 17 ms
[2021-05-08 02:39:53] [INFO ] Implicit Places using invariants in 416 ms returned []
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:53] [INFO ] Computed 65 place invariants in 36 ms
[2021-05-08 02:39:54] [INFO ] Implicit Places using invariants and state equation in 1332 ms returned []
Implicit Place search using SMT with State Equation took 1749 ms to find 0 implicit places.
[2021-05-08 02:39:54] [INFO ] Redundant transitions in 30 ms returned []
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:54] [INFO ] Computed 65 place invariants in 37 ms
[2021-05-08 02:39:55] [INFO ] Dead Transitions using invariants and state equation in 649 ms returned []
Finished structural reductions, in 1 iterations. Remains : 714/714 places, 1751/1751 transitions.
Incomplete random walk after 100000 steps, including 1573 resets, run finished after 543 ms. (steps per millisecond=184 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:39:55] [INFO ] Computed 65 place invariants in 17 ms
[2021-05-08 02:39:55] [INFO ] [Real]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:39:55] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:56] [INFO ] [Real]Absence check using state equation in 452 ms returned sat
[2021-05-08 02:39:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:39:56] [INFO ] [Nat]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:39:56] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 14 ms returned sat
[2021-05-08 02:39:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:56] [INFO ] [Nat]Absence check using state equation in 551 ms returned sat
[2021-05-08 02:39:57] [INFO ] Deduced a trap composed of 61 places in 93 ms of which 0 ms to minimize.
[2021-05-08 02:39:57] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 176 ms
[2021-05-08 02:39:57] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 127 ms.
[2021-05-08 02:39:57] [INFO ] Added : 36 causal constraints over 8 iterations in 803 ms. Result :sat
[2021-05-08 02:39:57] [INFO ] [Real]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:39:57] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:58] [INFO ] [Real]Absence check using state equation in 404 ms returned sat
[2021-05-08 02:39:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:39:58] [INFO ] [Nat]Absence check using 15 positive place invariants in 15 ms returned sat
[2021-05-08 02:39:58] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:39:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:39:59] [INFO ] [Nat]Absence check using state equation in 512 ms returned sat
[2021-05-08 02:39:59] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 87 ms.
[2021-05-08 02:40:00] [INFO ] Added : 56 causal constraints over 12 iterations in 1163 ms. Result :sat
[2021-05-08 02:40:00] [INFO ] Flatten gal took : 58 ms
[2021-05-08 02:40:00] [INFO ] Flatten gal took : 56 ms
[2021-05-08 02:40:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3456168377463375907.gal : 1607 ms
[2021-05-08 02:40:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15300964240037233109.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3456168377463375907.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15300964240037233109.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3456168377463375907.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15300964240037233109.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality15300964240037233109.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :2 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 44
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :44 after 328
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :328 after 984
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :984 after 54816
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :54816 after 2.2795e+07
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2.2795e+07 after 1.25769e+09
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1.25769e+09 after 1.29974e+09
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :1.29974e+09 after 1.29992e+09
Detected timeout of ITS tools.
[2021-05-08 02:40:22] [INFO ] Flatten gal took : 60 ms
[2021-05-08 02:40:22] [INFO ] Applying decomposition
[2021-05-08 02:40:22] [INFO ] Flatten gal took : 59 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph11934423247881984958.txt, -o, /tmp/graph11934423247881984958.bin, -w, /tmp/graph11934423247881984958.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph11934423247881984958.bin, -l, -1, -v, -w, /tmp/graph11934423247881984958.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:40:22] [INFO ] Decomposing Gal with order
[2021-05-08 02:40:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:40:22] [INFO ] Removed a total of 3621 redundant transitions.
[2021-05-08 02:40:22] [INFO ] Flatten gal took : 107 ms
[2021-05-08 02:40:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 217 labels/synchronizations in 22 ms.
[2021-05-08 02:40:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7914505685199050974.gal : 7 ms
[2021-05-08 02:40:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2929059576531250495.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7914505685199050974.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2929059576531250495.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7914505685199050974.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2929059576531250495.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2929059576531250495.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 12
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :12 after 4896
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :4896 after 44064
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :44064 after 409152
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :409152 after 3.52731e+10
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :3.52731e+10 after 1.28211e+11
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1.28211e+11 after 7.1664e+11
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :7.1664e+11 after 1.37352e+14
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin714316126510891794
[2021-05-08 02:40:42] [INFO ] Built C files in 18ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin714316126510891794
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin714316126510891794]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin714316126510891794] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin714316126510891794] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Applied a total of 0 rules in 26 ms. Remains 714 /714 variables (removed 0) and now considering 1751/1751 (removed 0) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:40:44] [INFO ] Computed 65 place invariants in 16 ms
[2021-05-08 02:40:44] [INFO ] [Real]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:40:44] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:40:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:40:45] [INFO ] [Real]Absence check using state equation in 392 ms returned sat
[2021-05-08 02:40:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:40:45] [INFO ] [Nat]Absence check using 15 positive place invariants in 7 ms returned sat
[2021-05-08 02:40:45] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:40:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:40:45] [INFO ] [Nat]Absence check using state equation in 551 ms returned sat
[2021-05-08 02:40:45] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 86 ms.
[2021-05-08 02:40:46] [INFO ] Added : 36 causal constraints over 8 iterations in 752 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 4 ms.
[2021-05-08 02:40:46] [INFO ] [Real]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:40:46] [INFO ] [Real]Absence check using 15 positive and 50 generalized place invariants in 14 ms returned sat
[2021-05-08 02:40:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:40:47] [INFO ] [Real]Absence check using state equation in 451 ms returned sat
[2021-05-08 02:40:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 02:40:47] [INFO ] [Nat]Absence check using 15 positive place invariants in 8 ms returned sat
[2021-05-08 02:40:47] [INFO ] [Nat]Absence check using 15 positive and 50 generalized place invariants in 13 ms returned sat
[2021-05-08 02:40:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:40:47] [INFO ] [Nat]Absence check using state equation in 622 ms returned sat
[2021-05-08 02:40:48] [INFO ] Computed and/alt/rep : 418/1769/418 causal constraints (skipped 1288 transitions) in 107 ms.
[2021-05-08 02:40:49] [INFO ] Added : 56 causal constraints over 12 iterations in 1228 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-08 02:40:49] [INFO ] Flatten gal took : 60 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin4655141317708872357
[2021-05-08 02:40:49] [INFO ] Too many transitions (1751) to apply POR reductions. Disabling POR matrices.
[2021-05-08 02:40:49] [INFO ] Applying decomposition
[2021-05-08 02:40:49] [INFO ] Flatten gal took : 106 ms
[2021-05-08 02:40:49] [INFO ] Flatten gal took : 72 ms
[2021-05-08 02:40:49] [INFO ] Input system was already deterministic with 1751 transitions.
[2021-05-08 02:40:58] [INFO ] Built C files in 9459ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4655141317708872357
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4655141317708872357]
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph4722820619694053138.txt, -o, /tmp/graph4722820619694053138.bin, -w, /tmp/graph4722820619694053138.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph4722820619694053138.bin, -l, -1, -v, -w, /tmp/graph4722820619694053138.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:40:59] [INFO ] Decomposing Gal with order
[2021-05-08 02:40:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:40:59] [INFO ] Removed a total of 3651 redundant transitions.
[2021-05-08 02:40:59] [INFO ] Flatten gal took : 215 ms
[2021-05-08 02:40:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 203 labels/synchronizations in 43 ms.
[2021-05-08 02:40:59] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13002068062492387750.gal : 30 ms
[2021-05-08 02:40:59] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12324757767674849783.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13002068062492387750.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12324757767674849783.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13002068062492387750.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12324757767674849783.prop --nowitness
Loading property file /tmp/ReachabilityCardinality12324757767674849783.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 12
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :12 after 656
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :656 after 44064
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :44064 after 3.66474e+07
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :2.62546e+09 after 1.37082e+11
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1.37082e+11 after 1.69515e+11
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1.69515e+11 after 2.49992e+11
[2021-05-08 02:41:00] [INFO ] Ran tautology test, simplified 0 / 2 in 11086 ms.
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2.49992e+11 after 2.85909e+12
[2021-05-08 02:41:00] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-00(UNSAT) depth K=0 took 60 ms
[2021-05-08 02:41:00] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-07(UNSAT) depth K=0 took 2 ms
[2021-05-08 02:41:00] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-00(UNSAT) depth K=1 took 62 ms
[2021-05-08 02:41:00] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-07(UNSAT) depth K=1 took 29 ms
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :2.85909e+12 after 1.39903e+13
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1751 rows 714 cols
[2021-05-08 02:41:01] [INFO ] Computed 65 place invariants in 18 ms
inv : -p3397 - p3458 - p3495 - p3529 + p3606 + p3608 + p3609 = 0
inv : p3392 + p3395 + p3397 - p3399 - p3404 - p3409 - p3413 - p3418 = 0
inv : p2602 + p2605 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 = 0
inv : p19 + p23 + p27 + p31 + p35 + p39 + p43 + p47 + p137 + p140 + p143 + p146 + p149 + p152 + p155 + p158 + p161 + p168 + p171 + p174 + p177 + p180 + p183 + p186 + p228 - p237 + p239 + p244 + p249 + p253 + p258 - p436 + p822 + p823 + p831 = 1
inv : p2509 + p2512 + p2515 + p2518 + p2521 + p2524 + p2527 + p2530 + p2607 + p2668 + p2705 + p2739 + p2806 - p3192 - p3193 - p3201 = 0
inv : p2997 + p3000 + p3002 - p3004 - p3009 - p3014 - p3018 - p3023 = 0
inv : p1812 + p1815 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 = 0
inv : p929 + p932 + p935 + p938 + p941 + p944 + p947 + p950 + p1027 + p1088 + p1125 + p1159 + p1226 - p1612 - p1613 - p1621 = 0
inv : p498 + p502 + p506 + p510 + p514 + p518 + p522 + p526 + p927 + p930 + p933 + p936 + p939 + p942 + p945 + p948 + p951 + p958 + p961 + p964 + p967 + p970 + p973 + p976 + p1018 - p1027 + p1029 + p1034 + p1039 + p1043 + p1048 - p1226 + p1612 + p1613 + p1621 = 1
inv : p3702 + p3705 + p3706 + p3709 + p3712 + p3714 + p3715 + p3717 + p3718 + p3720 + p3721 + p3723 + p3724 + p3726 + p3727 + p3729 + p3730 + p3732 + p3733 + p3735 + p3736 + p3841 - p3849 - p3868 - p3876 - p3884 - p3892 - p3919 - p3938 = 0
inv : p495 + p499 + p503 + p507 + p511 + p515 + p519 + p523 + p527 - p532 - p535 - p538 - p541 - p544 - p547 - p550 - p553 - p556 - p623 + p632 - p634 - p639 - p644 - p648 - p653 + p831 - p927 - p930 - p933 - p936 - p939 - p942 - p945 - p948 - p951 - p958 - p961 - p964 - p967 - p970 - p973 - p976 - p1018 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 - p1217 - p1218 - p1612 - p1613 - p1621 = -1
inv : p1417 + p1420 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 = 0
inv : p232 + p235 + p237 - p239 - p244 - p249 - p253 - p258 = 0
inv : p1616 + p2007 + p2008 + p2016 = 1
inv : p1278 + p1285 + p1289 + p1293 + p1297 + p1301 + p1305 + p1309 + p1313 + p1317 + p1318 - p1322 - p1325 - p1328 - p1331 - p1334 - p1337 - p1340 - p1343 - p1346 - p1413 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 + p1621 + p1719 + p1722 + p1725 + p1728 + p1731 + p1734 + p1737 + p1740 - p1748 - p1751 - p1754 - p1757 - p1760 - p1763 - p1766 - p1808 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 - p1864 - p1865 - p1867 - p1868 - p1870 - p1871 - p1873 - p1874 - p2007 - p2008 - p2402 - p2403 - p2411 = -1
inv : p3763 + p3766 + p3769 + p3772 + p3835 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 + p3951 + p3997 + p4012 = 1
inv : p1717 + p1719 + p1720 + p1722 + p1723 + p1725 + p1726 + p1728 + p1729 + p1731 + p1732 + p1734 + p1735 + p1737 + p1738 + p1740 + p1741 - p1864 - p1867 - p1870 - p1873 = 0
inv : p2858 + p2865 + p2869 + p2873 + p2877 + p2881 + p2885 + p2889 + p2893 - p2902 - p2905 - p2908 - p2911 - p2914 - p2917 - p2920 - p2923 - p2926 - p2993 + p3002 - p3004 - p3009 - p3014 - p3018 - p3023 + p3196 + p3201 - p3297 - p3299 - p3300 - p3302 - p3303 - p3305 - p3306 - p3308 - p3309 - p3311 - p3312 - p3314 - p3315 - p3317 - p3318 - p3320 - p3321 - p3328 - p3331 - p3334 - p3337 - p3340 - p3343 - p3346 - p3388 - p3399 - p3404 - p3409 - p3413 - p3418 - p3458 - p3495 - p3529 = 0
inv : p1221 + p1612 + p1613 + p1621 = 1
inv : p431 + p822 + p823 + p831 = 1
inv : p2011 + p2402 + p2403 + p2411 = 1
inv : p2801 + p3192 + p3193 + p3201 = 1
inv : p826 + p1217 + p1218 + p1226 = 1
inv : p2904 + p2907 + p2910 + p2913 + p2916 + p2919 + p2922 + p2925 + p3002 + p3063 + p3100 + p3134 + p3196 + p3201 = 1
inv : p103 + p107 + p111 + p115 + p119 + p123 + p127 + p131 + p532 + p535 + p538 + p541 + p544 + p547 + p550 + p553 + p556 + p563 + p566 + p569 + p572 + p575 + p578 + p581 + p623 - p632 + p634 + p639 + p644 + p648 + p653 - p831 + p1217 + p1218 + p1226 = 1
inv : p2078 + p2082 + p2086 + p2090 + p2094 + p2098 + p2102 + p2106 + p2507 + p2510 + p2513 + p2516 + p2519 + p2522 + p2525 + p2528 + p2531 + p2538 + p2541 + p2544 + p2547 + p2550 + p2553 + p2556 + p2598 - p2607 + p2609 + p2614 + p2619 + p2623 + p2628 - p2806 + p3192 + p3193 + p3201 = 1
inv : p3196 - p3397 - p3458 - p3495 - p3529 + p3587 + p3588 - p3602 + p3606 + p3609 - p3706 - p3709 - p3712 - p3715 - p3718 - p3721 - p3724 - p3727 - p3730 - p3733 - p3736 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 = 1
inv : p2406 + p2797 + p2798 + p2806 = 1
inv : p2112 + p2115 + p2118 + p2121 + p2124 + p2127 + p2130 + p2133 + p2136 + p2142 + p2143 + p2145 + p2146 + p2148 + p2149 + p2151 + p2152 + p2154 + p2155 + p2157 + p2158 + p2160 + p2161 + p2163 + p2203 - p2212 + p2214 + p2219 + p2224 + p2228 + p2233 - p2411 + p2797 + p2798 + p2806 = 1
inv : p12 + p16 + p20 + p24 + p28 + p32 + p36 + p40 + p44 - p137 - p140 - p143 - p146 - p149 - p152 - p155 - p158 - p161 - p168 - p171 - p174 - p177 - p180 - p183 - p186 - p228 + p237 - p239 - p244 - p249 - p253 - p258 + p436 - p822 - p823 - p831 = 0
inv : p2463 + p2470 + p2474 + p2478 + p2482 + p2486 + p2490 + p2494 + p2498 - p2507 - p2510 - p2513 - p2516 - p2519 - p2522 - p2525 - p2528 - p2531 - p2598 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 + p2806 - p2902 - p2905 - p2908 - p2911 - p2914 - p2917 - p2920 - p2923 - p2926 - p2933 - p2936 - p2939 - p2942 - p2945 - p2948 - p2951 - p2993 + p3002 - p3004 - p3009 - p3014 - p3018 - p3023 - p3192 - p3193 + p3196 - p3217 = 0
inv : p893 + p897 + p901 + p905 + p909 + p913 + p917 + p921 + p1322 + p1325 + p1328 + p1331 + p1334 + p1337 + p1340 + p1343 + p1346 + p1353 + p1356 + p1359 + p1362 + p1365 + p1368 + p1371 + p1413 - p1422 + p1424 + p1429 + p1434 + p1438 + p1443 - p1621 + p2007 + p2008 + p2016 = 1
inv : p2068 + p2075 + p2079 + p2083 + p2087 + p2091 + p2095 + p2099 + p2103 - p2112 - p2115 - p2118 - p2121 - p2124 - p2127 - p2130 - p2133 - p2136 - p2203 + p2212 - p2214 - p2219 - p2224 - p2228 - p2233 + p2411 - p2507 - p2510 - p2513 - p2516 - p2519 - p2522 - p2525 - p2528 - p2531 - p2538 - p2541 - p2544 - p2547 - p2550 - p2553 - p2556 - p2598 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 - p2797 - p2798 - p3192 - p3193 - p3201 = -1
inv : p3297 + p3299 + p3300 + p3302 + p3303 + p3305 + p3306 + p3308 + p3309 + p3311 + p3312 + p3314 + p3315 + p3317 + p3318 + p3320 + p3321 + p3327 + p3328 + p3330 + p3331 + p3333 + p3334 + p3336 + p3337 + p3339 + p3340 + p3342 + p3343 + p3345 + p3346 + p3348 + p3388 + p3399 + p3404 + p3409 + p3413 + p3418 + p3458 + p3495 + p3529 = 1
inv : -p3299 - p3302 - p3305 - p3308 - p3311 - p3314 - p3317 - p3320 + p3600 + p3602 + p3603 = 0
inv : p3263 + p3267 + p3271 + p3275 + p3279 + p3283 + p3287 + p3291 + p3647 + p3650 + p3653 + p3656 + p3659 + p3662 + p3665 + p3668 + p3671 + p3835 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 + p4012 = 1
inv : p2114 + p2117 + p2120 + p2123 + p2126 + p2129 + p2132 + p2135 + p2212 + p2273 + p2310 + p2344 + p2411 - p2797 - p2798 - p2806 = 0
inv : p3397 + p3458 + p3495 + p3529 + p3596 + p3602 - p3606 - p3609 + p3706 + p3709 + p3712 + p3715 + p3718 + p3721 + p3724 + p3727 + p3730 + p3733 + p3736 - p3849 - p3868 - p3876 - p3884 - p3892 - p3919 - p3938 = 0
inv : p1322 + p1325 + p1328 + p1331 + p1334 + p1337 + p1340 + p1343 + p1346 + p1352 + p1353 + p1355 + p1356 + p1358 + p1359 + p1361 + p1362 + p1364 + p1365 + p1367 + p1368 + p1370 + p1371 + p1373 + p1413 - p1422 + p1424 + p1429 + p1434 + p1438 + p1443 - p1621 + p2007 + p2008 + p2016 = 1
inv : p1719 + p1722 + p1725 + p1728 + p1731 + p1734 + p1737 + p1740 + p1817 + p1878 + p1915 + p1949 + p2016 - p2402 - p2403 - p2411 = 0
inv : p137 + p140 + p143 + p146 + p149 + p152 + p155 + p158 + p161 + p167 + p168 + p170 + p171 + p173 + p174 + p176 + p177 + p179 + p180 + p182 + p183 + p185 + p186 + p188 + p228 - p237 + p239 + p244 + p249 + p253 + p258 - p436 + p822 + p823 + p831 = 1
inv : p1324 + p1327 + p1330 + p1333 + p1336 + p1339 + p1342 + p1345 + p1422 + p1483 + p1520 + p1554 + p1621 - p2007 - p2008 - p2016 = 0
inv : p2902 + p2905 + p2908 + p2911 + p2914 + p2917 + p2920 + p2923 + p2926 + p2932 + p2933 + p2935 + p2936 + p2938 + p2939 + p2941 + p2942 + p2944 + p2945 + p2947 + p2948 + p2950 + p2951 + p2953 + p2993 - p3002 + p3004 + p3009 + p3014 + p3018 + p3023 - p3196 - p3201 + p3217 = 0
inv : p883 + p890 + p894 + p898 + p902 + p906 + p910 + p914 + p918 - p927 - p930 - p933 - p936 - p939 - p942 - p945 - p948 - p951 - p1018 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 + p1226 - p1322 - p1325 - p1328 - p1331 - p1334 - p1337 - p1340 - p1343 - p1346 - p1353 - p1356 - p1359 - p1362 - p1365 - p1368 - p1371 - p1413 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 - p1612 - p1613 - p2007 - p2008 - p2016 = -1
inv : p59 + p70 + p73 + p78 + p436 = 1
inv : p3253 + p3260 + p3264 + p3268 + p3272 + p3276 + p3280 + p3284 + p3288 - p3297 - p3299 - p3300 - p3302 - p3303 - p3305 - p3306 - p3308 - p3309 - p3311 - p3312 - p3314 - p3315 - p3317 - p3318 - p3320 - p3321 - p3388 - p3399 - p3404 - p3409 - p3413 - p3418 - p3458 - p3495 - p3529 - p3647 - p3650 - p3653 - p3656 - p3659 - p3662 - p3665 - p3668 - p3671 - p3835 - p3849 - p3868 - p3876 - p3884 - p3892 - p3919 - p3938 - p4012 = -1
inv : p927 + p930 + p933 + p936 + p939 + p942 + p945 + p948 + p951 + p957 + p958 + p960 + p961 + p963 + p964 + p966 + p967 + p969 + p970 + p972 + p973 + p975 + p976 + p978 + p1018 - p1027 + p1029 + p1034 + p1039 + p1043 + p1048 - p1226 + p1612 + p1613 + p1621 = 1
inv : p2507 + p2510 + p2513 + p2516 + p2519 + p2522 + p2525 + p2528 + p2531 + p2537 + p2538 + p2540 + p2541 + p2543 + p2544 + p2546 + p2547 + p2549 + p2550 + p2552 + p2553 + p2555 + p2556 + p2558 + p2598 - p2607 + p2609 + p2614 + p2619 + p2623 + p2628 - p2806 + p3192 + p3193 + p3201 = 1
inv : p534 + p537 + p540 + p543 + p546 + p549 + p552 + p555 + p632 + p693 + p730 + p764 + p831 - p1217 - p1218 - p1226 = 0
inv : p1714 + p1715 + p1864 + p1867 + p1870 + p1873 = 1
inv : p1673 + p1680 + p1684 + p1688 + p1692 + p1696 + p1700 + p1704 + p1708 + p1719 + p1722 + p1725 + p1728 + p1731 + p1734 + p1737 + p1740 - p1808 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 - p1864 - p1865 - p1867 - p1868 - p1870 - p1871 - p1873 - p1874 + p2016 - p2112 - p2115 - p2118 - p2121 - p2124 - p2127 - p2130 - p2133 - p2136 - p2143 - p2146 - p2149 - p2152 - p2155 - p2158 - p2161 - p2203 + p2212 - p2214 - p2219 - p2224 - p2228 - p2233 - p2402 - p2403 - p2797 - p2798 - p2806 = -1
inv : p2473 + p2477 + p2481 + p2485 + p2489 + p2493 + p2497 + p2501 + p2902 + p2905 + p2908 + p2911 + p2914 + p2917 + p2920 + p2923 + p2926 + p2933 + p2936 + p2939 + p2942 + p2945 + p2948 + p2951 + p2993 - p3002 + p3004 + p3009 + p3014 + p3018 + p3023 - p3196 - p3201 + p3217 = 0
inv : p3647 + p3649 + p3650 + p3652 + p3653 + p3655 + p3656 + p3658 + p3659 + p3661 + p3662 + p3664 + p3665 + p3667 + p3668 + p3670 + p3671 + p3835 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 + p4012 = 1
inv : p1288 + p1292 + p1296 + p1300 + p1304 + p1306 + p1308 + p1312 + p1316 - p1719 - p1722 - p1725 - p1728 - p1731 - p1734 - p1737 - p1740 + p1748 + p1751 + p1754 + p1757 + p1760 + p1763 + p1766 + p1808 - p1817 + p1819 + p1824 + p1829 + p1833 + p1838 + p1864 + p1865 + p1867 + p1868 + p1870 + p1871 + p1873 + p1874 - p2016 + p2402 + p2403 + p2411 = 1
inv : p2868 + p2872 + p2876 + p2880 + p2884 + p2888 + p2892 + p2896 + p3297 + p3299 + p3300 + p3302 + p3303 + p3305 + p3306 + p3308 + p3309 + p3311 + p3312 + p3314 + p3315 + p3317 + p3318 + p3320 + p3321 + p3328 + p3331 + p3334 + p3337 + p3340 + p3343 + p3346 + p3388 + p3399 + p3404 + p3409 + p3413 + p3418 + p3458 + p3495 + p3529 = 1
inv : p3299 + p3302 + p3305 + p3308 + p3311 + p3314 + p3317 + p3320 + p3591 - p3602 + p3606 + p3609 - p3706 - p3709 - p3712 - p3715 - p3718 - p3721 - p3724 - p3727 - p3730 - p3733 - p3736 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 = 1
inv : p532 + p535 + p538 + p541 + p544 + p547 + p550 + p553 + p556 + p562 + p563 + p565 + p566 + p568 + p569 + p571 + p572 + p574 + p575 + p577 + p578 + p580 + p581 + p583 + p623 - p632 + p634 + p639 + p644 + p648 + p653 - p831 + p1217 + p1218 + p1226 = 1
inv : p93 + p100 + p104 + p108 + p112 + p116 + p120 + p124 + p128 - p137 - p140 - p143 - p146 - p149 - p152 - p155 - p158 - p161 - p228 + p237 - p239 - p244 - p249 - p253 - p258 + p436 - p532 - p535 - p538 - p541 - p544 - p547 - p550 - p553 - p556 - p563 - p566 - p569 - p572 - p575 - p578 - p581 - p623 + p632 - p634 - p639 - p644 - p648 - p653 - p822 - p823 - p1217 - p1218 - p1226 = -1
inv : p1022 + p1025 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 = 0
inv : p627 + p630 + p632 - p634 - p639 - p644 - p648 - p653 = 0
inv : p1683 + p1687 + p1691 + p1695 + p1699 + p1703 + p1707 + p1711 + p2112 + p2115 + p2118 + p2121 + p2124 + p2127 + p2130 + p2133 + p2136 + p2143 + p2146 + p2149 + p2152 + p2155 + p2158 + p2161 + p2203 - p2212 + p2214 + p2219 + p2224 + p2228 + p2233 - p2411 + p2797 + p2798 + p2806 = 1
inv : -p1719 - p1722 - p1725 - p1728 - p1731 - p1734 - p1737 - p1740 + p1747 + p1748 + p1750 + p1751 + p1753 + p1754 + p1756 + p1757 + p1759 + p1760 + p1762 + p1763 + p1765 + p1766 + p1768 + p1808 - p1817 + p1819 + p1824 + p1829 + p1833 + p1838 + p1864 + p1865 + p1867 + p1868 + p1870 + p1871 + p1873 + p1874 - p2016 + p2402 + p2403 + p2411 = 1
inv : p139 + p142 + p145 + p148 + p151 + p154 + p157 + p160 + p237 + p298 + p335 + p369 + p436 - p822 - p823 - p831 = 0
inv : p3702 + p3709 + p3839 + p3841 - p3849 + p3850 - p3868 - p3876 - p3884 + p3885 - p3892 - p3919 - p3938 = 0
inv : p2207 + p2210 + p2212 - p2214 - p2219 - p2224 - p2228 - p2233 = 0
Total of 65 invariants.
[2021-05-08 02:41:01] [INFO ] Computed 65 place invariants in 27 ms
Reachability property ASLink-PT-09b-ReachabilityCardinality-07 is true.
FORMULA ASLink-PT-09b-ReachabilityCardinality-07 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
[2021-05-08 02:41:04] [INFO ] Proved 714 variables to be positive in 3436 ms
[2021-05-08 02:41:04] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesASLink-PT-09b-ReachabilityCardinality-00
[2021-05-08 02:41:04] [INFO ] KInduction solution for property ASLink-PT-09b-ReachabilityCardinality-00(SAT) depth K=0 took 197 ms
[2021-05-08 02:41:05] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesASLink-PT-09b-ReachabilityCardinality-00
[2021-05-08 02:41:05] [INFO ] KInduction solution for property ASLink-PT-09b-ReachabilityCardinality-00(SAT) depth K=1 took 955 ms
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :2.99964e+14 after 3.03263e+14
[2021-05-08 02:41:18] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-00(UNSAT) depth K=2 took 17225 ms
Compilation finished in 24841 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin4655141317708872357]
Link finished in 53 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ASLinkPT09bReachabilityCardinality00==true], workingDir=/tmp/ltsmin4655141317708872357]
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :3.03263e+14 after 5.00855e+15
[2021-05-08 02:43:33] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesASLink-PT-09b-ReachabilityCardinality-00
[2021-05-08 02:43:33] [INFO ] KInduction solution for property ASLink-PT-09b-ReachabilityCardinality-00(SAT) depth K=2 took 147211 ms
[2021-05-08 02:57:28] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-00(UNSAT) depth K=3 took 970454 ms
Detected timeout of ITS tools.
[2021-05-08 03:03:25] [INFO ] Applying decomposition
[2021-05-08 03:03:25] [INFO ] Flatten gal took : 174 ms
[2021-05-08 03:03:25] [INFO ] Decomposing Gal with order
[2021-05-08 03:03:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 03:03:26] [INFO ] Removed a total of 3621 redundant transitions.
[2021-05-08 03:03:26] [INFO ] Flatten gal took : 385 ms
[2021-05-08 03:03:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 217 labels/synchronizations in 93 ms.
[2021-05-08 03:03:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7005076556234868620.gal : 21 ms
[2021-05-08 03:03:26] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13192527987830911570.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7005076556234868620.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13192527987830911570.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7005076556234868620.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13192527987830911570.prop --nowitness
Loading property file /tmp/ReachabilityCardinality13192527987830911570.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 12
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :12 after 656
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :656 after 44064
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :44064 after 409152
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :409152 after 3.00875e+10
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :3.00875e+10 after 2.72217e+11
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :2.72217e+11 after 9.3264e+11
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :9.3264e+11 after 1.89562e+14
WARNING : LTSmin timed out (>1800 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ASLinkPT09bReachabilityCardinality00==true], workingDir=/tmp/ltsmin4655141317708872357]
Retrying LTSmin with larger timeout 14400 s
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ASLinkPT09bReachabilityCardinality00==true], workingDir=/tmp/ltsmin4655141317708872357]
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :1.89562e+14 after 1.54127e+16
Detected timeout of ITS tools.
[2021-05-08 03:25:53] [INFO ] Flatten gal took : 210 ms
[2021-05-08 03:25:53] [INFO ] Input system was already deterministic with 1751 transitions.
[2021-05-08 03:25:53] [INFO ] Transformed 714 places.
[2021-05-08 03:25:53] [INFO ] Transformed 1751 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-08 03:25:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16266099601889535770.gal : 18 ms
[2021-05-08 03:25:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16951293904963819954.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16266099601889535770.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16951293904963819954.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16266099601889535770.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16951293904963819954.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality16951293904963819954.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :8 after 16
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :16 after 22
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :22 after 112
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :112 after 138
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :138 after 820
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :820 after 3207
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :3207 after 11346
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :11346 after 59436
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :59436 after 141811
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :141811 after 498374
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :498374 after 2.27326e+06
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :2.27326e+06 after 1.51799e+07
SDD proceeding with computation,1 properties remain. new max is 32768
SDD size :1.51799e+07 after 1.65234e+08
SDD proceeding with computation,1 properties remain. new max is 65536
SDD size :1.65234e+08 after 2.05911e+09
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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-09b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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 itstools"
echo " Input is ASLink-PT-09b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r007-tall-162037989600150"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-09b.tgz
mv ASLink-PT-09b execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;