About the Execution of GreatSPN+red for ASLink-PT-08b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1409.728 | 650252.00 | 765237.00 | 2192.20 | 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r003-smll-171620117100133.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is ASLink-PT-08b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r003-smll-171620117100133
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 7.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K May 19 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 15:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 17:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 1.2M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-08b-UpperBounds-00
FORMULA_NAME ASLink-PT-08b-UpperBounds-01
FORMULA_NAME ASLink-PT-08b-UpperBounds-02
FORMULA_NAME ASLink-PT-08b-UpperBounds-03
FORMULA_NAME ASLink-PT-08b-UpperBounds-04
FORMULA_NAME ASLink-PT-08b-UpperBounds-05
FORMULA_NAME ASLink-PT-08b-UpperBounds-06
FORMULA_NAME ASLink-PT-08b-UpperBounds-07
FORMULA_NAME ASLink-PT-08b-UpperBounds-08
FORMULA_NAME ASLink-PT-08b-UpperBounds-09
FORMULA_NAME ASLink-PT-08b-UpperBounds-10
FORMULA_NAME ASLink-PT-08b-UpperBounds-11
FORMULA_NAME ASLink-PT-08b-UpperBounds-12
FORMULA_NAME ASLink-PT-08b-UpperBounds-13
FORMULA_NAME ASLink-PT-08b-UpperBounds-14
FORMULA_NAME ASLink-PT-08b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1716363290501
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-08b
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-22 07:34:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2024-05-22 07:34:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-22 07:34:54] [INFO ] Load time of PNML (sax parser for PT used): 724 ms
[2024-05-22 07:34:54] [INFO ] Transformed 3618 places.
[2024-05-22 07:34:54] [INFO ] Transformed 4459 transitions.
[2024-05-22 07:34:54] [INFO ] Found NUPN structural information;
[2024-05-22 07:34:54] [INFO ] Parsed PT model containing 3618 places and 4459 transitions and 13543 arcs in 1075 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 13 ms.
Current structural bounds on expressions (Initiallly, because the net is safe) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
Current structural bounds on expressions (Before main loop) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 4459 rows 3618 cols
[2024-05-22 07:34:54] [INFO ] Computed 355 invariants in 267 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
RANDOM walk for 10000 steps (16 resets) in 114 ms. (86 steps per ms)
FORMULA ASLink-PT-08b-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 70007 steps (14 resets) in 160 ms. (434 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 1]
[2024-05-22 07:34:55] [INFO ] Invariant cache hit.
[2024-05-22 07:34:56] [INFO ] [Real]Absence check using 83 positive place invariants in 226 ms returned sat
[2024-05-22 07:34:57] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 216 ms returned sat
[2024-05-22 07:35:00] [INFO ] [Real]Absence check using state equation in 3102 ms returned unknown
[2024-05-22 07:35:01] [INFO ] [Real]Absence check using 83 positive place invariants in 131 ms returned sat
[2024-05-22 07:35:01] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 171 ms returned sat
[2024-05-22 07:35:05] [INFO ] [Real]Absence check using state equation in 3703 ms returned unknown
[2024-05-22 07:35:06] [INFO ] [Real]Absence check using 83 positive place invariants in 132 ms returned sat
[2024-05-22 07:35:06] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 173 ms returned sat
[2024-05-22 07:35:09] [INFO ] [Real]Absence check using state equation in 2636 ms returned sat
[2024-05-22 07:35:09] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:35:10] [INFO ] [Nat]Absence check using 83 positive place invariants in 141 ms returned sat
[2024-05-22 07:35:10] [INFO ] [Nat]Absence check using 83 positive and 272 generalized place invariants in 163 ms returned sat
[2024-05-22 07:35:13] [INFO ] [Nat]Absence check using state equation in 2553 ms returned sat
[2024-05-22 07:35:14] [INFO ] Computed and/alt/rep : 3767/8216/3767 causal constraints (skipped 691 transitions) in 456 ms.
Maximisation of solution failed !
Minimization took 1 ms.
[2024-05-22 07:35:15] [INFO ] [Real]Absence check using 83 positive place invariants in 139 ms returned sat
[2024-05-22 07:35:16] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 169 ms returned sat
[2024-05-22 07:35:19] [INFO ] [Real]Absence check using state equation in 3576 ms returned unknown
[2024-05-22 07:35:20] [INFO ] [Real]Absence check using 83 positive place invariants in 132 ms returned sat
[2024-05-22 07:35:20] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 162 ms returned sat
[2024-05-22 07:35:24] [INFO ] [Real]Absence check using state equation in 3662 ms returned unknown
[2024-05-22 07:35:26] [INFO ] [Real]Absence check using 83 positive place invariants in 157 ms returned sat
[2024-05-22 07:35:26] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 173 ms returned sat
[2024-05-22 07:35:29] [INFO ] [Real]Absence check using state equation in 3358 ms returned unknown
[2024-05-22 07:35:30] [INFO ] [Real]Absence check using 83 positive place invariants in 132 ms returned sat
[2024-05-22 07:35:30] [INFO ] [Real]Absence check using 83 positive and 272 generalized place invariants in 170 ms returned sat
[2024-05-22 07:35:34] [INFO ] [Real]Absence check using state equation in 3672 ms returned sat
[2024-05-22 07:35:39] [INFO ] Deduced a trap composed of 15 places in 4623 ms of which 352 ms to minimize.
[2024-05-22 07:35:39] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.SMTTrapUtils.refineWithTraps(SMTTrapUtils.java:177)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:868)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2249)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:910)
at fr.lip6.move.gal.application.Application.start(Application.java:189)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:651)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:588)
at org.eclipse.equinox.launcher.Main.run(Main.java:1459)
at org.eclipse.equinox.launcher.Main.main(Main.java:1432)
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 1]
Support contains 7 out of 3618 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3618/3618 places, 4459/4459 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 843 transitions
Trivial Post-agglo rules discarded 843 transitions
Performed 843 trivial Post agglomeration. Transition count delta: 843
Iterating post reduction 0 with 843 rules applied. Total rules applied 843 place count 3618 transition count 3616
Reduce places removed 843 places and 0 transitions.
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 1 with 878 rules applied. Total rules applied 1721 place count 2775 transition count 3581
Reduce places removed 8 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 2 with 10 rules applied. Total rules applied 1731 place count 2767 transition count 3579
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 1733 place count 2765 transition count 3579
Performed 839 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 839 Pre rules applied. Total rules applied 1733 place count 2765 transition count 2740
Deduced a syphon composed of 839 places in 15 ms
Ensure Unique test removed 82 places
Reduce places removed 921 places and 0 transitions.
Iterating global reduction 4 with 1760 rules applied. Total rules applied 3493 place count 1844 transition count 2740
Discarding 8 places :
Implicit places reduction removed 8 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 50 transitions
Trivial Post-agglo rules discarded 50 transitions
Performed 50 trivial Post agglomeration. Transition count delta: 50
Iterating post reduction 4 with 58 rules applied. Total rules applied 3551 place count 1836 transition count 2690
Reduce places removed 50 places and 0 transitions.
Iterating post reduction 5 with 50 rules applied. Total rules applied 3601 place count 1786 transition count 2690
Performed 32 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 32 Pre rules applied. Total rules applied 3601 place count 1786 transition count 2658
Deduced a syphon composed of 32 places in 35 ms
Ensure Unique test removed 32 places
Reduce places removed 64 places and 0 transitions.
Iterating global reduction 6 with 96 rules applied. Total rules applied 3697 place count 1722 transition count 2658
Performed 32 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 32 Pre rules applied. Total rules applied 3697 place count 1722 transition count 2626
Deduced a syphon composed of 32 places in 34 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 6 with 64 rules applied. Total rules applied 3761 place count 1690 transition count 2626
Discarding 115 places :
Symmetric choice reduction at 6 with 115 rule applications. Total rules 3876 place count 1575 transition count 2511
Iterating global reduction 6 with 115 rules applied. Total rules applied 3991 place count 1575 transition count 2511
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 3992 place count 1575 transition count 2510
Performed 37 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 37 Pre rules applied. Total rules applied 3992 place count 1575 transition count 2473
Deduced a syphon composed of 37 places in 22 ms
Ensure Unique test removed 1 places
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 7 with 75 rules applied. Total rules applied 4067 place count 1537 transition count 2473
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 4067 place count 1537 transition count 2472
Deduced a syphon composed of 1 places in 22 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 3 rules applied. Total rules applied 4070 place count 1535 transition count 2472
Discarding 9 places :
Symmetric choice reduction at 7 with 9 rule applications. Total rules 4079 place count 1526 transition count 2415
Iterating global reduction 7 with 9 rules applied. Total rules applied 4088 place count 1526 transition count 2415
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 8 Pre rules applied. Total rules applied 4088 place count 1526 transition count 2407
Deduced a syphon composed of 8 places in 21 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 7 with 16 rules applied. Total rules applied 4104 place count 1518 transition count 2407
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4105 place count 1517 transition count 2399
Iterating global reduction 7 with 1 rules applied. Total rules applied 4106 place count 1517 transition count 2399
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4107 place count 1516 transition count 2391
Iterating global reduction 7 with 1 rules applied. Total rules applied 4108 place count 1516 transition count 2391
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4109 place count 1515 transition count 2383
Iterating global reduction 7 with 1 rules applied. Total rules applied 4110 place count 1515 transition count 2383
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4111 place count 1514 transition count 2375
Iterating global reduction 7 with 1 rules applied. Total rules applied 4112 place count 1514 transition count 2375
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4113 place count 1513 transition count 2367
Iterating global reduction 7 with 1 rules applied. Total rules applied 4114 place count 1513 transition count 2367
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4115 place count 1512 transition count 2359
Iterating global reduction 7 with 1 rules applied. Total rules applied 4116 place count 1512 transition count 2359
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4117 place count 1511 transition count 2351
Iterating global reduction 7 with 1 rules applied. Total rules applied 4118 place count 1511 transition count 2351
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4119 place count 1510 transition count 2343
Iterating global reduction 7 with 1 rules applied. Total rules applied 4120 place count 1510 transition count 2343
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4121 place count 1509 transition count 2335
Iterating global reduction 7 with 1 rules applied. Total rules applied 4122 place count 1509 transition count 2335
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4123 place count 1508 transition count 2327
Iterating global reduction 7 with 1 rules applied. Total rules applied 4124 place count 1508 transition count 2327
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4125 place count 1507 transition count 2319
Iterating global reduction 7 with 1 rules applied. Total rules applied 4126 place count 1507 transition count 2319
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4127 place count 1506 transition count 2311
Iterating global reduction 7 with 1 rules applied. Total rules applied 4128 place count 1506 transition count 2311
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4129 place count 1505 transition count 2303
Iterating global reduction 7 with 1 rules applied. Total rules applied 4130 place count 1505 transition count 2303
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4131 place count 1504 transition count 2295
Iterating global reduction 7 with 1 rules applied. Total rules applied 4132 place count 1504 transition count 2295
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4133 place count 1503 transition count 2287
Iterating global reduction 7 with 1 rules applied. Total rules applied 4134 place count 1503 transition count 2287
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4135 place count 1502 transition count 2279
Iterating global reduction 7 with 1 rules applied. Total rules applied 4136 place count 1502 transition count 2279
Performed 211 Post agglomeration using F-continuation condition.Transition count delta: 211
Deduced a syphon composed of 211 places in 4 ms
Reduce places removed 211 places and 0 transitions.
Iterating global reduction 7 with 422 rules applied. Total rules applied 4558 place count 1291 transition count 2068
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4559 place count 1290 transition count 2067
Ensure Unique test removed 1 places
Iterating global reduction 7 with 2 rules applied. Total rules applied 4561 place count 1289 transition count 2067
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4562 place count 1288 transition count 2066
Iterating global reduction 7 with 1 rules applied. Total rules applied 4563 place count 1288 transition count 2066
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) 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 4565 place count 1288 transition count 2064
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 4566 place count 1287 transition count 2064
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 4568 place count 1286 transition count 2073
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 4569 place count 1286 transition count 2072
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 9 with 2 rules applied. Total rules applied 4571 place count 1285 transition count 2071
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 4572 place count 1284 transition count 2071
Free-agglomeration rule applied 9 times.
Iterating global reduction 11 with 9 rules applied. Total rules applied 4581 place count 1284 transition count 2062
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 11 with 9 rules applied. Total rules applied 4590 place count 1275 transition count 2062
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 12 with 9 rules applied. Total rules applied 4599 place count 1275 transition count 2053
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 12 with 9 rules applied. Total rules applied 4608 place count 1266 transition count 2053
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 4609 place count 1265 transition count 2052
Reduce places removed 15 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 13 with 22 rules applied. Total rules applied 4631 place count 1250 transition count 2045
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 14 with 7 rules applied. Total rules applied 4638 place count 1243 transition count 2045
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 15 with 22 Pre rules applied. Total rules applied 4638 place count 1243 transition count 2023
Deduced a syphon composed of 22 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 15 with 45 rules applied. Total rules applied 4683 place count 1220 transition count 2023
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 15 with 9 rules applied. Total rules applied 4692 place count 1211 transition count 2023
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 16 with 1 Pre rules applied. Total rules applied 4692 place count 1211 transition count 2022
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 16 with 2 rules applied. Total rules applied 4694 place count 1210 transition count 2022
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 4 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 16 with 34 rules applied. Total rules applied 4728 place count 1193 transition count 2005
Discarding 8 places :
Symmetric choice reduction at 16 with 8 rule applications. Total rules 4736 place count 1185 transition count 1997
Iterating global reduction 16 with 8 rules applied. Total rules applied 4744 place count 1185 transition count 1997
Free-agglomeration rule applied 8 times.
Iterating global reduction 16 with 8 rules applied. Total rules applied 4752 place count 1185 transition count 1989
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 16 with 8 rules applied. Total rules applied 4760 place count 1177 transition count 1989
Applied a total of 4760 rules in 4010 ms. Remains 1177 /3618 variables (removed 2441) and now considering 1989/4459 (removed 2470) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4030 ms. Remains : 1177/3618 places, 1989/4459 transitions.
// Phase 1: matrix 1989 rows 1177 cols
[2024-05-22 07:35:43] [INFO ] Computed 204 invariants in 71 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 1]
RANDOM walk for 1000000 steps (10142 resets) in 5121 ms. (195 steps per ms)
FORMULA ASLink-PT-08b-UpperBounds-04 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-08b-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 4000004 steps (4973 resets) in 7491 ms. (533 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
[2024-05-22 07:35:56] [INFO ] Invariant cache hit.
[2024-05-22 07:35:56] [INFO ] [Real]Absence check using 56 positive place invariants in 57 ms returned sat
[2024-05-22 07:35:56] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 97 ms returned sat
[2024-05-22 07:35:57] [INFO ] [Real]Absence check using state equation in 1150 ms returned sat
[2024-05-22 07:35:57] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:35:58] [INFO ] [Nat]Absence check using 56 positive place invariants in 30 ms returned sat
[2024-05-22 07:35:58] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 63 ms returned sat
[2024-05-22 07:35:59] [INFO ] [Nat]Absence check using state equation in 1122 ms returned sat
[2024-05-22 07:35:59] [INFO ] Computed and/alt/rep : 803/3131/803 causal constraints (skipped 1145 transitions) in 162 ms.
[2024-05-22 07:36:19] [INFO ] Added : 505 causal constraints over 101 iterations in 20094 ms.(timeout) Result :sat
Minimization took 2246 ms.
[2024-05-22 07:36:21] [INFO ] [Real]Absence check using 56 positive place invariants in 30 ms returned sat
[2024-05-22 07:36:22] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 55 ms returned sat
[2024-05-22 07:36:23] [INFO ] [Real]Absence check using state equation in 1214 ms returned sat
[2024-05-22 07:36:23] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:36:23] [INFO ] [Nat]Absence check using 56 positive place invariants in 30 ms returned sat
[2024-05-22 07:36:23] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 72 ms returned sat
[2024-05-22 07:36:24] [INFO ] [Nat]Absence check using state equation in 1340 ms returned sat
[2024-05-22 07:36:25] [INFO ] Computed and/alt/rep : 803/3131/803 causal constraints (skipped 1145 transitions) in 224 ms.
[2024-05-22 07:36:45] [INFO ] Added : 495 causal constraints over 99 iterations in 20215 ms.(timeout) Result :sat
Minimization took 2139 ms.
[2024-05-22 07:36:47] [INFO ] [Real]Absence check using 56 positive place invariants in 50 ms returned sat
[2024-05-22 07:36:47] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 83 ms returned sat
[2024-05-22 07:36:49] [INFO ] [Real]Absence check using state equation in 1364 ms returned sat
[2024-05-22 07:36:49] [INFO ] Computed and/alt/rep : 803/3131/803 causal constraints (skipped 1145 transitions) in 145 ms.
[2024-05-22 07:36:50] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:36:50] [INFO ] [Nat]Absence check using 56 positive place invariants in 52 ms returned sat
[2024-05-22 07:36:50] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 96 ms returned sat
[2024-05-22 07:36:51] [INFO ] [Nat]Absence check using state equation in 1173 ms returned sat
[2024-05-22 07:36:51] [INFO ] Computed and/alt/rep : 803/3131/803 causal constraints (skipped 1145 transitions) in 226 ms.
[2024-05-22 07:37:11] [INFO ] Added : 550 causal constraints over 110 iterations in 20055 ms.(timeout) Result :sat
Minimization took 2216 ms.
[2024-05-22 07:37:14] [INFO ] [Real]Absence check using 56 positive place invariants in 42 ms returned sat
[2024-05-22 07:37:14] [INFO ] [Real]Absence check using 56 positive and 148 generalized place invariants in 66 ms returned sat
[2024-05-22 07:37:15] [INFO ] [Real]Absence check using state equation in 1091 ms returned sat
[2024-05-22 07:37:16] [INFO ] Computed and/alt/rep : 803/3131/803 causal constraints (skipped 1145 transitions) in 220 ms.
[2024-05-22 07:37:16] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:37:16] [INFO ] [Nat]Absence check using 56 positive place invariants in 45 ms returned sat
[2024-05-22 07:37:16] [INFO ] [Nat]Absence check using 56 positive and 148 generalized place invariants in 49 ms returned sat
[2024-05-22 07:37:18] [INFO ] [Nat]Absence check using state equation in 1383 ms returned sat
[2024-05-22 07:37:18] [INFO ] Computed and/alt/rep : 803/3131/803 causal constraints (skipped 1145 transitions) in 141 ms.
[2024-05-22 07:37:38] [INFO ] Added : 475 causal constraints over 95 iterations in 20225 ms.(timeout) Result :sat
Minimization took 2113 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
Support contains 4 out of 1177 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1177/1177 places, 1989/1989 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 1177 transition count 1988
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1176 transition count 1988
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 2 place count 1176 transition count 1986
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 6 place count 1174 transition count 1986
Applied a total of 6 rules in 75 ms. Remains 1174 /1177 variables (removed 3) and now considering 1986/1989 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 75 ms. Remains : 1174/1177 places, 1986/1989 transitions.
// Phase 1: matrix 1986 rows 1174 cols
[2024-05-22 07:37:56] [INFO ] Computed 204 invariants in 51 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
RANDOM walk for 1000000 steps (10225 resets) in 4234 ms. (236 steps per ms)
BEST_FIRST walk for 4000003 steps (4999 resets) in 8564 ms. (467 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
[2024-05-22 07:38:09] [INFO ] Invariant cache hit.
[2024-05-22 07:38:09] [INFO ] [Real]Absence check using 55 positive place invariants in 36 ms returned sat
[2024-05-22 07:38:09] [INFO ] [Real]Absence check using 55 positive and 149 generalized place invariants in 54 ms returned sat
[2024-05-22 07:38:10] [INFO ] [Real]Absence check using state equation in 1214 ms returned sat
[2024-05-22 07:38:10] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:38:11] [INFO ] [Nat]Absence check using 55 positive place invariants in 33 ms returned sat
[2024-05-22 07:38:11] [INFO ] [Nat]Absence check using 55 positive and 149 generalized place invariants in 61 ms returned sat
[2024-05-22 07:38:12] [INFO ] [Nat]Absence check using state equation in 1054 ms returned sat
[2024-05-22 07:38:12] [INFO ] Computed and/alt/rep : 800/3128/800 causal constraints (skipped 1145 transitions) in 142 ms.
[2024-05-22 07:38:26] [INFO ] Added : 514 causal constraints over 103 iterations in 14453 ms. Result :sat
Minimization took 2198 ms.
[2024-05-22 07:38:29] [INFO ] [Real]Absence check using 55 positive place invariants in 33 ms returned sat
[2024-05-22 07:38:29] [INFO ] [Real]Absence check using 55 positive and 149 generalized place invariants in 60 ms returned sat
[2024-05-22 07:38:30] [INFO ] [Real]Absence check using state equation in 922 ms returned sat
[2024-05-22 07:38:30] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:38:30] [INFO ] [Nat]Absence check using 55 positive place invariants in 33 ms returned sat
[2024-05-22 07:38:30] [INFO ] [Nat]Absence check using 55 positive and 149 generalized place invariants in 59 ms returned sat
[2024-05-22 07:38:31] [INFO ] [Nat]Absence check using state equation in 946 ms returned sat
[2024-05-22 07:38:31] [INFO ] Computed and/alt/rep : 800/3128/800 causal constraints (skipped 1145 transitions) in 149 ms.
[2024-05-22 07:38:50] [INFO ] Added : 661 causal constraints over 133 iterations in 18947 ms. Result :sat
Minimization took 2591 ms.
[2024-05-22 07:38:53] [INFO ] [Real]Absence check using 55 positive place invariants in 31 ms returned sat
[2024-05-22 07:38:53] [INFO ] [Real]Absence check using 55 positive and 149 generalized place invariants in 62 ms returned sat
[2024-05-22 07:38:54] [INFO ] [Real]Absence check using state equation in 976 ms returned sat
[2024-05-22 07:38:54] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:38:54] [INFO ] [Nat]Absence check using 55 positive place invariants in 33 ms returned sat
[2024-05-22 07:38:54] [INFO ] [Nat]Absence check using 55 positive and 149 generalized place invariants in 63 ms returned sat
[2024-05-22 07:38:55] [INFO ] [Nat]Absence check using state equation in 967 ms returned sat
[2024-05-22 07:38:56] [INFO ] Computed and/alt/rep : 800/3128/800 causal constraints (skipped 1145 transitions) in 154 ms.
[2024-05-22 07:39:11] [INFO ] Added : 550 causal constraints over 110 iterations in 15512 ms. Result :sat
Minimization took 2114 ms.
[2024-05-22 07:39:13] [INFO ] [Real]Absence check using 55 positive place invariants in 31 ms returned sat
[2024-05-22 07:39:13] [INFO ] [Real]Absence check using 55 positive and 149 generalized place invariants in 60 ms returned sat
[2024-05-22 07:39:14] [INFO ] [Real]Absence check using state equation in 921 ms returned sat
[2024-05-22 07:39:14] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:39:15] [INFO ] [Nat]Absence check using 55 positive place invariants in 31 ms returned sat
[2024-05-22 07:39:15] [INFO ] [Nat]Absence check using 55 positive and 149 generalized place invariants in 58 ms returned sat
[2024-05-22 07:39:16] [INFO ] [Nat]Absence check using state equation in 1015 ms returned sat
[2024-05-22 07:39:16] [INFO ] Computed and/alt/rep : 800/3128/800 causal constraints (skipped 1145 transitions) in 145 ms.
[2024-05-22 07:39:33] [INFO ] Added : 583 causal constraints over 117 iterations in 16995 ms. Result :sat
Minimization took 2242 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
Support contains 4 out of 1174 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1174/1174 places, 1986/1986 transitions.
Applied a total of 0 rules in 64 ms. Remains 1174 /1174 variables (removed 0) and now considering 1986/1986 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 64 ms. Remains : 1174/1174 places, 1986/1986 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1174/1174 places, 1986/1986 transitions.
Applied a total of 0 rules in 59 ms. Remains 1174 /1174 variables (removed 0) and now considering 1986/1986 (removed 0) transitions.
[2024-05-22 07:39:39] [INFO ] Invariant cache hit.
[2024-05-22 07:39:41] [INFO ] Implicit Places using invariants in 2021 ms returned [1, 18, 19, 31, 48, 66, 136, 140, 149, 150, 152, 169, 187, 256, 260, 261, 272, 273, 275, 292, 310, 385, 400, 401, 403, 420, 438, 508, 512, 513, 524, 525, 527, 544, 562, 631, 635, 636, 647, 648, 650, 667, 685, 754, 758, 759, 770, 771, 773, 790, 808, 877, 881, 882, 893, 894, 896, 913, 931, 1000, 1004, 1005, 1008, 1019, 1020, 1021, 1039, 1041, 1045, 1063, 1064, 1065, 1066, 1078, 1084, 1090, 1096, 1102, 1108, 1114, 1120, 1126, 1132, 1138]
[2024-05-22 07:39:41] [INFO ] Actually due to overlaps returned [1039, 1021, 48, 169, 292, 420, 544, 667, 790, 913, 1045, 31, 152, 275, 403, 527, 650, 773, 896, 149, 272, 400, 524, 647, 770, 893, 1019, 1063, 150, 273, 401, 525, 648, 771, 894, 1020, 1041, 1064, 1, 18, 260, 261, 385, 512, 513, 635, 636, 758, 759, 881, 882, 1004, 1005, 66, 187, 310, 438, 562, 685, 808, 931, 1065, 1108, 1126, 1138, 19, 1008, 1066, 1078, 1084, 1090, 1096, 1102, 1114, 1120, 1132]
Discarding 76 places :
Implicit Place search using SMT only with invariants took 2028 ms to find 76 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 1098/1174 places, 1986/1986 transitions.
Discarding 7 places :
Implicit places reduction removed 7 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 156 transitions
Trivial Post-agglo rules discarded 156 transitions
Performed 156 trivial Post agglomeration. Transition count delta: 156
Iterating post reduction 0 with 163 rules applied. Total rules applied 163 place count 1091 transition count 1830
Reduce places removed 156 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 1 with 163 rules applied. Total rules applied 326 place count 935 transition count 1823
Performed 39 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 39 Pre rules applied. Total rules applied 326 place count 935 transition count 1784
Deduced a syphon composed of 39 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 2 with 79 rules applied. Total rules applied 405 place count 895 transition count 1784
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 417 place count 891 transition count 1776
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 425 place count 883 transition count 1776
Discarding 15 places :
Symmetric choice reduction at 4 with 15 rule applications. Total rules 440 place count 868 transition count 1761
Iterating global reduction 4 with 15 rules applied. Total rules applied 455 place count 868 transition count 1761
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 458 place count 868 transition count 1758
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 458 place count 868 transition count 1757
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 460 place count 867 transition count 1757
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 463 place count 864 transition count 1751
Iterating global reduction 5 with 3 rules applied. Total rules applied 466 place count 864 transition count 1751
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 467 place count 863 transition count 1750
Iterating global reduction 5 with 1 rules applied. Total rules applied 468 place count 863 transition count 1750
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 469 place count 862 transition count 1748
Iterating global reduction 5 with 1 rules applied. Total rules applied 470 place count 862 transition count 1748
Performed 59 Post agglomeration using F-continuation condition.Transition count delta: 59
Deduced a syphon composed of 59 places in 3 ms
Reduce places removed 59 places and 0 transitions.
Iterating global reduction 5 with 118 rules applied. Total rules applied 588 place count 803 transition count 1689
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 595 place count 796 transition count 1682
Iterating global reduction 5 with 7 rules applied. Total rules applied 602 place count 796 transition count 1682
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 5 with 7 rules applied. Total rules applied 609 place count 796 transition count 1675
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 6 with 4 rules applied. Total rules applied 613 place count 794 transition count 1676
Free-agglomeration rule (complex) applied 18 times.
Iterating global reduction 6 with 18 rules applied. Total rules applied 631 place count 794 transition count 1658
Ensure Unique test removed 1 places
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 6 with 19 rules applied. Total rules applied 650 place count 775 transition count 1658
Partial Free-agglomeration rule applied 24 times.
Drop transitions (Partial Free agglomeration) removed 24 transitions
Iterating global reduction 7 with 24 rules applied. Total rules applied 674 place count 775 transition count 1658
Applied a total of 674 rules in 560 ms. Remains 775 /1098 variables (removed 323) and now considering 1658/1986 (removed 328) transitions.
// Phase 1: matrix 1658 rows 775 cols
[2024-05-22 07:39:42] [INFO ] Computed 115 invariants in 25 ms
[2024-05-22 07:39:43] [INFO ] Implicit Places using invariants in 1166 ms returned [73, 90, 96, 99, 101, 102, 105, 106, 158, 175, 181, 184, 186, 191, 192, 261, 267, 270, 272, 275, 282, 283, 338, 355, 361, 364, 366, 371, 372, 424, 441, 447, 450, 452, 457, 458, 510, 527, 533, 536, 538, 543, 544, 596, 614, 620, 623, 625, 630, 631, 683, 700, 706, 709, 711]
[2024-05-22 07:39:43] [INFO ] Actually due to overlaps returned [105, 191, 282, 371, 457, 543, 630, 106, 192, 283, 372, 458, 544, 631, 90, 96, 101, 175, 181, 186, 261, 267, 272, 355, 361, 366, 441, 447, 452, 527, 533, 538, 614, 620, 625, 700, 706, 711, 73, 102, 158, 275, 338, 424, 510, 596, 683]
Discarding 47 places :
Implicit Place search using SMT only with invariants took 1170 ms to find 47 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 728/1174 places, 1658/1986 transitions.
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 33 place count 695 transition count 1625
Iterating global reduction 0 with 33 rules applied. Total rules applied 66 place count 695 transition count 1625
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 74 place count 687 transition count 1617
Iterating global reduction 0 with 8 rules applied. Total rules applied 82 place count 687 transition count 1617
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 15
Deduced a syphon composed of 15 places in 3 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 0 with 30 rules applied. Total rules applied 112 place count 672 transition count 1602
Free-agglomeration rule applied 24 times.
Iterating global reduction 0 with 24 rules applied. Total rules applied 136 place count 672 transition count 1578
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 0 with 24 rules applied. Total rules applied 160 place count 648 transition count 1578
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 1 with 7 rules applied. Total rules applied 167 place count 648 transition count 1571
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 174 place count 641 transition count 1571
Applied a total of 174 rules in 198 ms. Remains 641 /728 variables (removed 87) and now considering 1571/1658 (removed 87) transitions.
// Phase 1: matrix 1571 rows 641 cols
[2024-05-22 07:39:43] [INFO ] Computed 68 invariants in 21 ms
[2024-05-22 07:39:44] [INFO ] Implicit Places using invariants in 879 ms returned []
[2024-05-22 07:39:44] [INFO ] Invariant cache hit.
[2024-05-22 07:39:46] [INFO ] Implicit Places using invariants and state equation in 2295 ms returned []
Implicit Place search using SMT with State Equation took 3178 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 3 : 641/1174 places, 1571/1986 transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 7200 ms. Remains : 641/1174 places, 1571/1986 transitions.
[2024-05-22 07:39:46] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
RANDOM walk for 1000000 steps (16620 resets) in 3030 ms. (329 steps per ms)
BEST_FIRST walk for 4000004 steps (10845 resets) in 4322 ms. (925 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
[2024-05-22 07:39:54] [INFO ] Invariant cache hit.
[2024-05-22 07:39:54] [INFO ] [Real]Absence check using 14 positive place invariants in 11 ms returned sat
[2024-05-22 07:39:54] [INFO ] [Real]Absence check using 14 positive and 54 generalized place invariants in 29 ms returned sat
[2024-05-22 07:39:55] [INFO ] [Real]Absence check using state equation in 600 ms returned sat
[2024-05-22 07:39:55] [INFO ] Computed and/alt/rep : 377/1760/377 causal constraints (skipped 1153 transitions) in 125 ms.
[2024-05-22 07:39:55] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:39:55] [INFO ] [Nat]Absence check using 14 positive place invariants in 12 ms returned sat
[2024-05-22 07:39:55] [INFO ] [Nat]Absence check using 14 positive and 54 generalized place invariants in 31 ms returned sat
[2024-05-22 07:39:56] [INFO ] [Nat]Absence check using state equation in 627 ms returned sat
[2024-05-22 07:39:56] [INFO ] Computed and/alt/rep : 377/1760/377 causal constraints (skipped 1153 transitions) in 115 ms.
[2024-05-22 07:39:56] [INFO ] Added : 15 causal constraints over 3 iterations in 482 ms. Result :sat
Minimization took 1260 ms.
[2024-05-22 07:39:58] [INFO ] [Real]Absence check using 14 positive place invariants in 11 ms returned sat
[2024-05-22 07:39:58] [INFO ] [Real]Absence check using 14 positive and 54 generalized place invariants in 29 ms returned sat
[2024-05-22 07:39:58] [INFO ] [Real]Absence check using state equation in 592 ms returned sat
[2024-05-22 07:39:58] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:39:59] [INFO ] [Nat]Absence check using 14 positive place invariants in 11 ms returned sat
[2024-05-22 07:39:59] [INFO ] [Nat]Absence check using 14 positive and 54 generalized place invariants in 29 ms returned sat
[2024-05-22 07:39:59] [INFO ] [Nat]Absence check using state equation in 675 ms returned sat
[2024-05-22 07:39:59] [INFO ] Computed and/alt/rep : 377/1760/377 causal constraints (skipped 1153 transitions) in 115 ms.
[2024-05-22 07:40:02] [INFO ] Deduced a trap composed of 13 places in 100 ms of which 2 ms to minimize.
[2024-05-22 07:40:02] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 244 ms
[2024-05-22 07:40:02] [INFO ] Added : 93 causal constraints over 19 iterations in 2408 ms. Result :sat
Minimization took 1327 ms.
[2024-05-22 07:40:03] [INFO ] [Real]Absence check using 14 positive place invariants in 12 ms returned sat
[2024-05-22 07:40:03] [INFO ] [Real]Absence check using 14 positive and 54 generalized place invariants in 29 ms returned sat
[2024-05-22 07:40:04] [INFO ] [Real]Absence check using state equation in 580 ms returned sat
[2024-05-22 07:40:04] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:40:04] [INFO ] [Nat]Absence check using 14 positive place invariants in 12 ms returned sat
[2024-05-22 07:40:04] [INFO ] [Nat]Absence check using 14 positive and 54 generalized place invariants in 28 ms returned sat
[2024-05-22 07:40:05] [INFO ] [Nat]Absence check using state equation in 819 ms returned sat
[2024-05-22 07:40:05] [INFO ] Computed and/alt/rep : 377/1760/377 causal constraints (skipped 1153 transitions) in 113 ms.
[2024-05-22 07:40:10] [INFO ] Deduced a trap composed of 24 places in 88 ms of which 1 ms to minimize.
[2024-05-22 07:40:10] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 231 ms
[2024-05-22 07:40:10] [INFO ] Added : 87 causal constraints over 19 iterations in 5321 ms. Result :sat
Minimization took 1243 ms.
[2024-05-22 07:40:12] [INFO ] [Real]Absence check using 14 positive place invariants in 12 ms returned sat
[2024-05-22 07:40:12] [INFO ] [Real]Absence check using 14 positive and 54 generalized place invariants in 30 ms returned sat
[2024-05-22 07:40:12] [INFO ] [Real]Absence check using state equation in 670 ms returned sat
[2024-05-22 07:40:12] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:40:13] [INFO ] [Nat]Absence check using 14 positive place invariants in 11 ms returned sat
[2024-05-22 07:40:13] [INFO ] [Nat]Absence check using 14 positive and 54 generalized place invariants in 39 ms returned sat
[2024-05-22 07:40:13] [INFO ] [Nat]Absence check using state equation in 611 ms returned sat
[2024-05-22 07:40:13] [INFO ] Computed and/alt/rep : 377/1760/377 causal constraints (skipped 1153 transitions) in 112 ms.
[2024-05-22 07:40:14] [INFO ] Added : 29 causal constraints over 6 iterations in 810 ms. Result :sat
Minimization took 1063 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 1]
FORMULA ASLink-PT-08b-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA ASLink-PT-08b-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA ASLink-PT-08b-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL PARIKH_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[1]
Support contains 1 out of 641 places. Attempting structural reductions.
Drop transitions (Removing consumers from one bounded place p2609) removed 1 transitions
Starting structural reductions in REACHABILITY mode, iteration 0 : 641/641 places, 1570/1570 transitions.
Graph (complete) has 3931 edges and 641 vertex of which 640 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.4 ms
Discarding 1 places :
Also discarding 0 output transitions
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 1 place count 640 transition count 1568
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 5 place count 638 transition count 1568
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 3 rules applied. Total rules applied 8 place count 636 transition count 1567
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 9 place count 636 transition count 1566
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 9 place count 636 transition count 1565
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 11 place count 635 transition count 1565
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 13 place count 634 transition count 1564
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 14 place count 634 transition count 1563
Applied a total of 14 rules in 137 ms. Remains 634 /641 variables (removed 7) and now considering 1563/1570 (removed 7) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 137 ms. Remains : 634/641 places, 1563/1570 transitions.
// Phase 1: matrix 1563 rows 634 cols
[2024-05-22 07:40:17] [INFO ] Computed 66 invariants in 20 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 1000000 steps (17146 resets) in 2998 ms. (333 steps per ms)
BEST_FIRST walk for 1000001 steps (2802 resets) in 1067 ms. (936 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-05-22 07:40:21] [INFO ] Invariant cache hit.
[2024-05-22 07:40:21] [INFO ] [Real]Absence check using 17 positive place invariants in 14 ms returned sat
[2024-05-22 07:40:21] [INFO ] [Real]Absence check using 17 positive and 49 generalized place invariants in 26 ms returned sat
[2024-05-22 07:40:22] [INFO ] [Real]Absence check using state equation in 528 ms returned sat
[2024-05-22 07:40:22] [INFO ] Computed and/alt/rep : 346/1601/346 causal constraints (skipped 1176 transitions) in 122 ms.
[2024-05-22 07:40:22] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:40:22] [INFO ] [Nat]Absence check using 17 positive place invariants in 13 ms returned sat
[2024-05-22 07:40:22] [INFO ] [Nat]Absence check using 17 positive and 49 generalized place invariants in 25 ms returned sat
[2024-05-22 07:40:23] [INFO ] [Nat]Absence check using state equation in 559 ms returned sat
[2024-05-22 07:40:23] [INFO ] Computed and/alt/rep : 346/1601/346 causal constraints (skipped 1176 transitions) in 114 ms.
[2024-05-22 07:40:23] [INFO ] Added : 12 causal constraints over 3 iterations in 458 ms. Result :sat
Minimization took 993 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[0] Max Struct:[1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[1]
Support contains 1 out of 634 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 634/634 places, 1563/1563 transitions.
Applied a total of 0 rules in 37 ms. Remains 634 /634 variables (removed 0) and now considering 1563/1563 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 37 ms. Remains : 634/634 places, 1563/1563 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 634/634 places, 1563/1563 transitions.
Applied a total of 0 rules in 35 ms. Remains 634 /634 variables (removed 0) and now considering 1563/1563 (removed 0) transitions.
[2024-05-22 07:40:25] [INFO ] Invariant cache hit.
[2024-05-22 07:40:25] [INFO ] Implicit Places using invariants in 703 ms returned [208, 225]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 705 ms to find 2 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 632/634 places, 1563/1563 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 631 transition count 1562
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 631 transition count 1561
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 4 place count 630 transition count 1561
Applied a total of 4 rules in 83 ms. Remains 630 /632 variables (removed 2) and now considering 1561/1563 (removed 2) transitions.
// Phase 1: matrix 1561 rows 630 cols
[2024-05-22 07:40:25] [INFO ] Computed 64 invariants in 18 ms
[2024-05-22 07:40:26] [INFO ] Implicit Places using invariants in 784 ms returned []
[2024-05-22 07:40:26] [INFO ] Invariant cache hit.
[2024-05-22 07:40:28] [INFO ] Implicit Places using invariants and state equation in 1996 ms returned []
Implicit Place search using SMT with State Equation took 2782 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 630/634 places, 1561/1563 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 3606 ms. Remains : 630/634 places, 1561/1563 transitions.
[2024-05-22 07:40:28] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 1000000 steps (16721 resets) in 2972 ms. (336 steps per ms)
BEST_FIRST walk for 1000001 steps (2798 resets) in 1055 ms. (946 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-05-22 07:40:32] [INFO ] Invariant cache hit.
[2024-05-22 07:40:32] [INFO ] [Real]Absence check using 16 positive place invariants in 13 ms returned sat
[2024-05-22 07:40:32] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 32 ms returned sat
[2024-05-22 07:40:33] [INFO ] [Real]Absence check using state equation in 577 ms returned sat
[2024-05-22 07:40:33] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:40:33] [INFO ] [Nat]Absence check using 16 positive place invariants in 13 ms returned sat
[2024-05-22 07:40:33] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 26 ms returned sat
[2024-05-22 07:40:34] [INFO ] [Nat]Absence check using state equation in 555 ms returned sat
[2024-05-22 07:40:34] [INFO ] Computed and/alt/rep : 353/1560/353 causal constraints (skipped 1167 transitions) in 110 ms.
[2024-05-22 07:40:35] [INFO ] Added : 45 causal constraints over 9 iterations in 1007 ms. Result :sat
Minimization took 1075 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[0] Max Struct:[1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[1]
Support contains 1 out of 630 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 29 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 30 ms. Remains : 630/630 places, 1561/1561 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 29 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
[2024-05-22 07:40:36] [INFO ] Invariant cache hit.
[2024-05-22 07:40:37] [INFO ] Implicit Places using invariants in 866 ms returned []
[2024-05-22 07:40:37] [INFO ] Invariant cache hit.
[2024-05-22 07:40:39] [INFO ] Implicit Places using invariants and state equation in 2055 ms returned []
Implicit Place search using SMT with State Equation took 2926 ms to find 0 implicit places.
[2024-05-22 07:40:39] [INFO ] Redundant transitions in 130 ms returned []
Running 1520 sub problems to find dead transitions.
[2024-05-22 07:40:39] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/628 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/628 variables, 45/56 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 628/2191 variables, and 56 constraints, problems are : Problem set: 0 solved, 1520 unsolved in 30062 ms.
Refiners :[Positive P Invariants (semi-flows): 11/16 constraints, Generalized P Invariants (flows): 45/48 constraints, State Equation: 0/630 constraints, PredecessorRefiner: 1520/1520 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1520 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/628 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/628 variables, 45/56 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 628/2191 variables, and 56 constraints, problems are : Problem set: 0 solved, 1520 unsolved in 30037 ms.
Refiners :[Positive P Invariants (semi-flows): 11/16 constraints, Generalized P Invariants (flows): 45/48 constraints, State Equation: 0/630 constraints, PredecessorRefiner: 0/1520 constraints, Known Traps: 0/0 constraints]
After SMT, in 61402ms problems are : Problem set: 0 solved, 1520 unsolved
Search for dead transitions found 0 dead transitions in 61461ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 64576 ms. Remains : 630/630 places, 1561/1561 transitions.
RANDOM walk for 40000 steps (657 resets) in 970 ms. (41 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40003 steps (107 resets) in 217 ms. (183 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (107 resets) in 405 ms. (98 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 153677 steps, run timeout after 3001 ms. (steps per millisecond=51 ) properties seen :0 out of 2
Probabilistic random walk after 153677 steps, saw 72051 distinct states, run finished after 3005 ms. (steps per millisecond=51 ) properties seen :0
[2024-05-22 07:41:44] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 36/37 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11/48 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/48 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 3/51 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/51 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 148/199 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/199 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/220 variables, 5/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/220 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 185/405 variables, 19/36 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/405 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (OVERLAPS) 26/431 variables, 5/41 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/431 variables, 0/41 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (OVERLAPS) 136/567 variables, 13/54 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-22 07:41:45] [INFO ] Deduced a trap composed of 13 places in 118 ms of which 1 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/567 variables, 1/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/567 variables, 0/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 18 (OVERLAPS) 5/572 variables, 2/57 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/572 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 20 (OVERLAPS) 57/629 variables, 8/65 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/629 variables, 0/65 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 22 (OVERLAPS) 1561/2190 variables, 629/694 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/2190 variables, 0/694 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 24 (OVERLAPS) 1/2191 variables, 1/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2191 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 26 (OVERLAPS) 0/2191 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 2191/2191 variables, and 695 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1688 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 630/630 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 1/1 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 36/37 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11/48 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/48 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 3/51 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/51 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 148/199 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/199 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/220 variables, 5/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-22 07:41:46] [INFO ] Deduced a trap composed of 17 places in 46 ms of which 1 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/220 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/220 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 185/405 variables, 19/37 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/405 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 26/431 variables, 5/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/431 variables, 0/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 16 (OVERLAPS) 136/567 variables, 13/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/567 variables, 1/56 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/567 variables, 0/56 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 19 (OVERLAPS) 5/572 variables, 2/58 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/572 variables, 0/58 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 21 (OVERLAPS) 57/629 variables, 8/66 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/629 variables, 0/66 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 23 (OVERLAPS) 1561/2190 variables, 629/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2190 variables, 2/697 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2190 variables, 0/697 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 26 (OVERLAPS) 1/2191 variables, 1/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/2191 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 28 (OVERLAPS) 0/2191 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2191/2191 variables, and 698 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1319 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 630/630 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 2/2 constraints]
After SMT, in 3031ms problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 301 ms.
Support contains 1 out of 630 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 30 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 31 ms. Remains : 630/630 places, 1561/1561 transitions.
RANDOM walk for 40000 steps (686 resets) in 588 ms. (67 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40003 steps (108 resets) in 199 ms. (200 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (111 resets) in 142 ms. (279 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 165815 steps, run timeout after 3001 ms. (steps per millisecond=55 ) properties seen :0 out of 2
Probabilistic random walk after 165815 steps, saw 79351 distinct states, run finished after 3001 ms. (steps per millisecond=55 ) properties seen :0
[2024-05-22 07:41:51] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 36/37 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11/48 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/48 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 3/51 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/51 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 148/199 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/199 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/220 variables, 5/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/220 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 185/405 variables, 19/36 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/405 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (OVERLAPS) 26/431 variables, 5/41 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/431 variables, 0/41 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (OVERLAPS) 136/567 variables, 13/54 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-22 07:41:51] [INFO ] Deduced a trap composed of 13 places in 81 ms of which 4 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/567 variables, 1/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/567 variables, 0/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 18 (OVERLAPS) 5/572 variables, 2/57 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/572 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 20 (OVERLAPS) 57/629 variables, 8/65 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/629 variables, 0/65 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 22 (OVERLAPS) 1561/2190 variables, 629/694 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/2190 variables, 0/694 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 24 (OVERLAPS) 1/2191 variables, 1/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2191 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 26 (OVERLAPS) 0/2191 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 2191/2191 variables, and 695 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1539 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 630/630 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 1/1 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 36/37 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11/48 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/48 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 3/51 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/51 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 148/199 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/199 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/220 variables, 5/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-22 07:41:53] [INFO ] Deduced a trap composed of 17 places in 50 ms of which 2 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/220 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/220 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 185/405 variables, 19/37 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/405 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 26/431 variables, 5/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/431 variables, 0/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 16 (OVERLAPS) 136/567 variables, 13/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/567 variables, 1/56 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/567 variables, 0/56 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 19 (OVERLAPS) 5/572 variables, 2/58 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/572 variables, 0/58 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 21 (OVERLAPS) 57/629 variables, 8/66 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/629 variables, 0/66 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 23 (OVERLAPS) 1561/2190 variables, 629/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2190 variables, 2/697 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2190 variables, 0/697 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 26 (OVERLAPS) 1/2191 variables, 1/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/2191 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 28 (OVERLAPS) 0/2191 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2191/2191 variables, and 698 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1248 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 630/630 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 2/2 constraints]
After SMT, in 2802ms problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 301 ms.
Support contains 1 out of 630 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 31 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 31 ms. Remains : 630/630 places, 1561/1561 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 29 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
[2024-05-22 07:41:54] [INFO ] Invariant cache hit.
[2024-05-22 07:41:55] [INFO ] Implicit Places using invariants in 858 ms returned []
[2024-05-22 07:41:55] [INFO ] Invariant cache hit.
[2024-05-22 07:41:57] [INFO ] Implicit Places using invariants and state equation in 2025 ms returned []
Implicit Place search using SMT with State Equation took 2885 ms to find 0 implicit places.
[2024-05-22 07:41:57] [INFO ] Redundant transitions in 48 ms returned []
Running 1520 sub problems to find dead transitions.
[2024-05-22 07:41:57] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/628 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/628 variables, 45/56 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 628/2191 variables, and 56 constraints, problems are : Problem set: 0 solved, 1520 unsolved in 30034 ms.
Refiners :[Positive P Invariants (semi-flows): 11/16 constraints, Generalized P Invariants (flows): 45/48 constraints, State Equation: 0/630 constraints, PredecessorRefiner: 1520/1520 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1520 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/628 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/628 variables, 45/56 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 628/2191 variables, and 56 constraints, problems are : Problem set: 0 solved, 1520 unsolved in 30038 ms.
Refiners :[Positive P Invariants (semi-flows): 11/16 constraints, Generalized P Invariants (flows): 45/48 constraints, State Equation: 0/630 constraints, PredecessorRefiner: 0/1520 constraints, Known Traps: 0/0 constraints]
After SMT, in 61034ms problems are : Problem set: 0 solved, 1520 unsolved
Search for dead transitions found 0 dead transitions in 61055ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 64036 ms. Remains : 630/630 places, 1561/1561 transitions.
Attempting over-approximation, by ignoring read arcs.
Applied a total of 0 rules in 31 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Running SMT prover for 2 properties.
[2024-05-22 07:42:58] [INFO ] Invariant cache hit.
[2024-05-22 07:42:58] [INFO ] [Real]Absence check using 16 positive place invariants in 10 ms returned sat
[2024-05-22 07:42:58] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 35 ms returned sat
[2024-05-22 07:42:59] [INFO ] After 933ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2024-05-22 07:42:59] [INFO ] [Nat]Absence check using 16 positive place invariants in 8 ms returned sat
[2024-05-22 07:42:59] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 32 ms returned sat
[2024-05-22 07:43:00] [INFO ] After 803ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
TRAPS : Iteration 0
[2024-05-22 07:43:00] [INFO ] After 965ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
[2024-05-22 07:43:00] [INFO ] After 1251ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Over-approximation ignoring read arcs solved 0 properties in 2242 ms.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[0] Max Struct:[1]
Starting property specific reduction for ASLink-PT-08b-UpperBounds-02
Current structural bounds on expressions (Initially) : Max Seen:[0] Max Struct:[+inf]
Current structural bounds on expressions (Adding known information on max bounds.) : Max Seen:[0] Max Struct:[1]
Current structural bounds on expressions (Before main loop) : Max Seen:[0] Max Struct:[1]
[2024-05-22 07:43:00] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 10000 steps (178 resets) in 33 ms. (294 steps per ms)
BEST_FIRST walk for 10001 steps (26 resets) in 13 ms. (714 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-05-22 07:43:00] [INFO ] Invariant cache hit.
[2024-05-22 07:43:01] [INFO ] [Real]Absence check using 16 positive place invariants in 14 ms returned sat
[2024-05-22 07:43:01] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 24 ms returned sat
[2024-05-22 07:43:01] [INFO ] [Real]Absence check using state equation in 558 ms returned sat
[2024-05-22 07:43:01] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:43:01] [INFO ] [Nat]Absence check using 16 positive place invariants in 13 ms returned sat
[2024-05-22 07:43:01] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 26 ms returned sat
[2024-05-22 07:43:02] [INFO ] [Nat]Absence check using state equation in 560 ms returned sat
[2024-05-22 07:43:02] [INFO ] Computed and/alt/rep : 353/1560/353 causal constraints (skipped 1167 transitions) in 118 ms.
[2024-05-22 07:43:03] [INFO ] Added : 45 causal constraints over 9 iterations in 1032 ms. Result :sat
Minimization took 556 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[0] Max Struct:[1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[1]
Support contains 1 out of 630 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 31 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 32 ms. Remains : 630/630 places, 1561/1561 transitions.
[2024-05-22 07:43:04] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 1000000 steps (16911 resets) in 2963 ms. (337 steps per ms)
BEST_FIRST walk for 1000000 steps (2803 resets) in 1035 ms. (965 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-05-22 07:43:08] [INFO ] Invariant cache hit.
[2024-05-22 07:43:08] [INFO ] [Real]Absence check using 16 positive place invariants in 12 ms returned sat
[2024-05-22 07:43:08] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 25 ms returned sat
[2024-05-22 07:43:08] [INFO ] [Real]Absence check using state equation in 581 ms returned sat
[2024-05-22 07:43:08] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 07:43:09] [INFO ] [Nat]Absence check using 16 positive place invariants in 13 ms returned sat
[2024-05-22 07:43:09] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 25 ms returned sat
[2024-05-22 07:43:09] [INFO ] [Nat]Absence check using state equation in 535 ms returned sat
[2024-05-22 07:43:09] [INFO ] Computed and/alt/rep : 353/1560/353 causal constraints (skipped 1167 transitions) in 116 ms.
[2024-05-22 07:43:10] [INFO ] Added : 45 causal constraints over 9 iterations in 1023 ms. Result :sat
Minimization took 1102 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[0] Max Struct:[1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[1]
Support contains 1 out of 630 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 29 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 29 ms. Remains : 630/630 places, 1561/1561 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 28 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
[2024-05-22 07:43:12] [INFO ] Invariant cache hit.
[2024-05-22 07:43:12] [INFO ] Implicit Places using invariants in 869 ms returned []
[2024-05-22 07:43:13] [INFO ] Invariant cache hit.
[2024-05-22 07:43:15] [INFO ] Implicit Places using invariants and state equation in 2346 ms returned []
Implicit Place search using SMT with State Equation took 3217 ms to find 0 implicit places.
[2024-05-22 07:43:15] [INFO ] Redundant transitions in 30 ms returned []
Running 1520 sub problems to find dead transitions.
[2024-05-22 07:43:15] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/628 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/628 variables, 45/56 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 628/2191 variables, and 56 constraints, problems are : Problem set: 0 solved, 1520 unsolved in 30038 ms.
Refiners :[Positive P Invariants (semi-flows): 11/16 constraints, Generalized P Invariants (flows): 45/48 constraints, State Equation: 0/630 constraints, PredecessorRefiner: 1520/1520 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1520 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/628 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/628 variables, 45/56 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 628/2191 variables, and 56 constraints, problems are : Problem set: 0 solved, 1520 unsolved in 30032 ms.
Refiners :[Positive P Invariants (semi-flows): 11/16 constraints, Generalized P Invariants (flows): 45/48 constraints, State Equation: 0/630 constraints, PredecessorRefiner: 0/1520 constraints, Known Traps: 0/0 constraints]
After SMT, in 61040ms problems are : Problem set: 0 solved, 1520 unsolved
Search for dead transitions found 0 dead transitions in 61058ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 64344 ms. Remains : 630/630 places, 1561/1561 transitions.
RANDOM walk for 40000 steps (651 resets) in 210 ms. (189 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (113 resets) in 80 ms. (493 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (113 resets) in 60 ms. (655 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 183459 steps, run timeout after 3001 ms. (steps per millisecond=61 ) properties seen :0 out of 2
Probabilistic random walk after 183459 steps, saw 92102 distinct states, run finished after 3001 ms. (steps per millisecond=61 ) properties seen :0
[2024-05-22 07:44:19] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 36/37 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11/48 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/48 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 3/51 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/51 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 148/199 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/199 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/220 variables, 5/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/220 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 185/405 variables, 19/36 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/405 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (OVERLAPS) 26/431 variables, 5/41 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/431 variables, 0/41 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (OVERLAPS) 136/567 variables, 13/54 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-22 07:44:20] [INFO ] Deduced a trap composed of 13 places in 83 ms of which 2 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/567 variables, 1/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/567 variables, 0/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 18 (OVERLAPS) 5/572 variables, 2/57 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/572 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 20 (OVERLAPS) 57/629 variables, 8/65 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/629 variables, 0/65 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 22 (OVERLAPS) 1561/2190 variables, 629/694 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/2190 variables, 0/694 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 24 (OVERLAPS) 1/2191 variables, 1/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2191 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 26 (OVERLAPS) 0/2191 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 2191/2191 variables, and 695 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1503 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 630/630 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 1/1 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 36/37 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11/48 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/48 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 3/51 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/51 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 148/199 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/199 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/220 variables, 5/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-22 07:44:21] [INFO ] Deduced a trap composed of 17 places in 50 ms of which 1 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/220 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/220 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 185/405 variables, 19/37 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/405 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 26/431 variables, 5/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/431 variables, 0/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 16 (OVERLAPS) 136/567 variables, 13/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/567 variables, 1/56 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/567 variables, 0/56 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 19 (OVERLAPS) 5/572 variables, 2/58 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/572 variables, 0/58 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 21 (OVERLAPS) 57/629 variables, 8/66 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/629 variables, 0/66 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 23 (OVERLAPS) 1561/2190 variables, 629/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2190 variables, 2/697 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2190 variables, 0/697 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 26 (OVERLAPS) 1/2191 variables, 1/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/2191 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 28 (OVERLAPS) 0/2191 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2191/2191 variables, and 698 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1231 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 630/630 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 2/2 constraints]
After SMT, in 2743ms problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 286 ms.
Support contains 1 out of 630 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 29 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 30 ms. Remains : 630/630 places, 1561/1561 transitions.
RANDOM walk for 40000 steps (668 resets) in 325 ms. (122 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40003 steps (112 resets) in 63 ms. (625 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (115 resets) in 73 ms. (540 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 166564 steps, run timeout after 3001 ms. (steps per millisecond=55 ) properties seen :0 out of 2
Probabilistic random walk after 166564 steps, saw 79910 distinct states, run finished after 3001 ms. (steps per millisecond=55 ) properties seen :0
[2024-05-22 07:44:25] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 36/37 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11/48 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/48 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 3/51 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/51 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 148/199 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/199 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/220 variables, 5/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/220 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 185/405 variables, 19/36 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/405 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (OVERLAPS) 26/431 variables, 5/41 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/431 variables, 0/41 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (OVERLAPS) 136/567 variables, 13/54 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-22 07:44:26] [INFO ] Deduced a trap composed of 13 places in 81 ms of which 1 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/567 variables, 1/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/567 variables, 0/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 18 (OVERLAPS) 5/572 variables, 2/57 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/572 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 20 (OVERLAPS) 57/629 variables, 8/65 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/629 variables, 0/65 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 22 (OVERLAPS) 1561/2190 variables, 629/694 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/2190 variables, 0/694 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 24 (OVERLAPS) 1/2191 variables, 1/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2191 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 26 (OVERLAPS) 0/2191 variables, 0/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 2191/2191 variables, and 695 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1510 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 630/630 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 1/1 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 36/37 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/37 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11/48 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/48 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 3/51 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/51 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 148/199 variables, 8/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/199 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/220 variables, 5/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-22 07:44:27] [INFO ] Deduced a trap composed of 17 places in 47 ms of which 1 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/220 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/220 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 185/405 variables, 19/37 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/405 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 26/431 variables, 5/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/431 variables, 0/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 16 (OVERLAPS) 136/567 variables, 13/55 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/567 variables, 1/56 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/567 variables, 0/56 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 19 (OVERLAPS) 5/572 variables, 2/58 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/572 variables, 0/58 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 21 (OVERLAPS) 57/629 variables, 8/66 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/629 variables, 0/66 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 23 (OVERLAPS) 1561/2190 variables, 629/695 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2190 variables, 2/697 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2190 variables, 0/697 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 26 (OVERLAPS) 1/2191 variables, 1/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/2191 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 28 (OVERLAPS) 0/2191 variables, 0/698 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2191/2191 variables, and 698 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1203 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 630/630 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 2/2 constraints]
After SMT, in 2724ms problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 266 ms.
Support contains 1 out of 630 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 29 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 30 ms. Remains : 630/630 places, 1561/1561 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 630/630 places, 1561/1561 transitions.
Applied a total of 0 rules in 29 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
[2024-05-22 07:44:28] [INFO ] Invariant cache hit.
[2024-05-22 07:44:29] [INFO ] Implicit Places using invariants in 963 ms returned []
[2024-05-22 07:44:29] [INFO ] Invariant cache hit.
[2024-05-22 07:44:31] [INFO ] Implicit Places using invariants and state equation in 2057 ms returned []
Implicit Place search using SMT with State Equation took 3023 ms to find 0 implicit places.
[2024-05-22 07:44:31] [INFO ] Redundant transitions in 31 ms returned []
Running 1520 sub problems to find dead transitions.
[2024-05-22 07:44:31] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/628 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/628 variables, 45/56 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 628/2191 variables, and 56 constraints, problems are : Problem set: 0 solved, 1520 unsolved in 30035 ms.
Refiners :[Positive P Invariants (semi-flows): 11/16 constraints, Generalized P Invariants (flows): 45/48 constraints, State Equation: 0/630 constraints, PredecessorRefiner: 1520/1520 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1520 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/628 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/628 variables, 45/56 constraints. Problems are: Problem set: 0 solved, 1520 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 628/2191 variables, and 56 constraints, problems are : Problem set: 0 solved, 1520 unsolved in 30031 ms.
Refiners :[Positive P Invariants (semi-flows): 11/16 constraints, Generalized P Invariants (flows): 45/48 constraints, State Equation: 0/630 constraints, PredecessorRefiner: 0/1520 constraints, Known Traps: 0/0 constraints]
After SMT, in 61010ms problems are : Problem set: 0 solved, 1520 unsolved
Search for dead transitions found 0 dead transitions in 61026ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 64117 ms. Remains : 630/630 places, 1561/1561 transitions.
Attempting over-approximation, by ignoring read arcs.
Applied a total of 0 rules in 29 ms. Remains 630 /630 variables (removed 0) and now considering 1561/1561 (removed 0) transitions.
Running SMT prover for 2 properties.
[2024-05-22 07:45:33] [INFO ] Invariant cache hit.
[2024-05-22 07:45:33] [INFO ] [Real]Absence check using 16 positive place invariants in 7 ms returned sat
[2024-05-22 07:45:33] [INFO ] [Real]Absence check using 16 positive and 48 generalized place invariants in 28 ms returned sat
[2024-05-22 07:45:33] [INFO ] After 913ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2024-05-22 07:45:34] [INFO ] [Nat]Absence check using 16 positive place invariants in 9 ms returned sat
[2024-05-22 07:45:34] [INFO ] [Nat]Absence check using 16 positive and 48 generalized place invariants in 34 ms returned sat
[2024-05-22 07:45:34] [INFO ] After 795ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
TRAPS : Iteration 0
[2024-05-22 07:45:35] [INFO ] After 958ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
[2024-05-22 07:45:35] [INFO ] After 1237ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Over-approximation ignoring read arcs solved 0 properties in 2193 ms.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[0] Max Struct:[1]
Ending property specific reduction for ASLink-PT-08b-UpperBounds-02 in 154257 ms.
[2024-05-22 07:45:35] [INFO ] Flatten gal took : 274 ms
[2024-05-22 07:45:35] [INFO ] Export to MCC of 1 properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2024-05-22 07:45:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 630 places, 1561 transitions and 6396 arcs took 16 ms.
Total runtime 642634 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running ASLink-PT-08b
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/413/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 630
TRANSITIONS: 1561
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.043s, Sys 0.006s]
SAVING FILE /home/mcc/execution/413/model (.net / .def) ...
EXPORT TIME: [User 0.008s, Sys 0.000s]
----------------------------------------------------------------------
GreatSPN/Meddly.
Copyright (C) 1987-2022, University of Torino, Italy.
website: https://github.com/greatspn/SOURCES
Based on MEDDLY version 0.16.0
Copyright (C) 2009, Iowa State University Research Foundation, Inc.
website: http://meddly.sourceforge.net
Process ID: 883
MODEL NAME: /home/mcc/execution/413/model
630 places, 1561 transitions.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Building monolithic NSF...
FORMULA ASLink-PT-08b-UpperBounds-02 1 TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
Ok.
EXITCODE: 0
----------------------------------------------------------------------
BK_STOP 1716363940753
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -timeout 360 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-08b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="greatspnxred"
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-5568"
echo " Executing tool greatspnxred"
echo " Input is ASLink-PT-08b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r003-smll-171620117100133"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08b.tgz
mv ASLink-PT-08b execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;