About the Execution of LoLa+red for FamilyReunion-PT-L00200M0020C010P010G005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7105.319 | 3600000.00 | 3926640.00 | 10441.10 | ? ? 2 ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r167-tall-167838853100429.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is FamilyReunion-PT-L00200M0020C010P010G005, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r167-tall-167838853100429
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 152M
-rw-r--r-- 1 mcc users 1.4M Feb 26 17:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 7.4M Feb 26 17:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7M Feb 26 15:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 13M Feb 26 15:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 608K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.4M Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1018K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.8M Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9M Feb 26 21:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17M Feb 26 21:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0M Feb 26 20:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 32M Feb 26 20:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 126K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 367K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 62M Mar 5 18:22 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 FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-00
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-01
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-02
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-03
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-04
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-05
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-06
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-07
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-08
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-09
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-10
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-11
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-12
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-13
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-14
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1678479596768
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00200M0020C010P010G005
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-10 20:19:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2023-03-10 20:19:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 20:20:00] [INFO ] Load time of PNML (sax parser for PT used): 1927 ms
[2023-03-10 20:20:00] [INFO ] Transformed 143908 places.
[2023-03-10 20:20:01] [INFO ] Transformed 134279 transitions.
[2023-03-10 20:20:01] [INFO ] Parsed PT model containing 143908 places and 134279 transitions and 411469 arcs in 2586 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 10921 ms.
Reduce places removed 56 places and 0 transitions.
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-02 2 TECHNIQUES TOPOLOGICAL INITIAL_STATE
// Phase 1: matrix 134279 rows 143852 cols
[2023-03-10 20:22:13] [WARNING] Invariant computation timed out after 120 seconds.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 3222 ms. (steps per millisecond=3 ) properties (out of 15) seen :343
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=11 ) properties (out of 15) seen :11
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=11 ) properties (out of 15) seen :16
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 504 ms. (steps per millisecond=19 ) properties (out of 15) seen :13
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=120 ) properties (out of 15) seen :15
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=76 ) properties (out of 15) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=119 ) properties (out of 15) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=120 ) properties (out of 15) seen :12
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 15) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 15) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=137 ) properties (out of 15) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 15) seen :15
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 15) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 15) seen :13
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 15) seen :15
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 15) seen :14
// Phase 1: matrix 134279 rows 143852 cols
[2023-03-10 20:23:08] [INFO ] Computed 30578 place invariants in 174709 ms
[2023-03-10 20:24:20] [WARNING] Invariant computation timed out after 120 seconds.
[2023-03-10 20:24:25] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 0
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:24:30] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:24:35] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:24:40] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 3
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:24:45] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:24:50] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:24:55] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:25:00] [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 7
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:25:05] [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 8
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:25:10] [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 9
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:25:15] [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 10
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:25:20] [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 11
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:25:24] [INFO ] Computed 30578 place invariants in 184737 ms
[2023-03-10 20:25:25] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 12
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:25:30] [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 13
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:25:35] [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 14
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:874)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
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:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[129, 84, 1, 0, 0, 0, 128, 0, 0, 0, 0, 0, 0, 0, 1]
Support contains 11666 out of 143852 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 143852/143852 places, 134279/134279 transitions.
Graph (complete) has 236398 edges and 143852 vertex of which 143369 are kept as prefixes of interest. Removing 483 places using SCC suffix rule.314 ms
Discarding 483 places :
Also discarding 11 output transitions
Drop transitions removed 11 transitions
Discarding 21105 places :
Implicit places reduction removed 21105 places
Drop transitions removed 52648 transitions
Trivial Post-agglo rules discarded 52648 transitions
Performed 52648 trivial Post agglomeration. Transition count delta: 52648
Iterating post reduction 0 with 73753 rules applied. Total rules applied 73754 place count 122264 transition count 81620
Reduce places removed 52648 places and 0 transitions.
Performed 10664 Post agglomeration using F-continuation condition.Transition count delta: 10664
Iterating post reduction 1 with 63312 rules applied. Total rules applied 137066 place count 69616 transition count 70956
Reduce places removed 10664 places and 0 transitions.
Iterating post reduction 2 with 10664 rules applied. Total rules applied 147730 place count 58952 transition count 70956
Performed 5426 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5426 Pre rules applied. Total rules applied 147730 place count 58952 transition count 65530
Deduced a syphon composed of 5426 places in 98 ms
Ensure Unique test removed 2814 places
Reduce places removed 8240 places and 0 transitions.
Iterating global reduction 3 with 13666 rules applied. Total rules applied 161396 place count 50712 transition count 65530
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 201 Pre rules applied. Total rules applied 161396 place count 50712 transition count 65329
Deduced a syphon composed of 201 places in 93 ms
Reduce places removed 201 places and 0 transitions.
Iterating global reduction 3 with 402 rules applied. Total rules applied 161798 place count 50511 transition count 65329
Discarding 1005 places :
Symmetric choice reduction at 3 with 1005 rule applications. Total rules 162803 place count 49506 transition count 63319
Iterating global reduction 3 with 1005 rules applied. Total rules applied 163808 place count 49506 transition count 63319
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 163813 place count 49501 transition count 62314
Iterating global reduction 3 with 5 rules applied. Total rules applied 163818 place count 49501 transition count 62314
Performed 5804 Post agglomeration using F-continuation condition.Transition count delta: 5804
Deduced a syphon composed of 5804 places in 66 ms
Reduce places removed 5804 places and 0 transitions.
Iterating global reduction 3 with 11608 rules applied. Total rules applied 175426 place count 43697 transition count 56510
Free-agglomeration rule applied 2211 times.
Iterating global reduction 3 with 2211 rules applied. Total rules applied 177637 place count 43697 transition count 54299
Ensure Unique test removed 201 places
Reduce places removed 2412 places and 0 transitions.
Ensure Unique test removed 2010 transitions
Reduce isomorphic transitions removed 2010 transitions.
Iterating post reduction 3 with 4422 rules applied. Total rules applied 182059 place count 41285 transition count 52289
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 201 Pre rules applied. Total rules applied 182059 place count 41285 transition count 52088
Deduced a syphon composed of 201 places in 38 ms
Ensure Unique test removed 201 places
Reduce places removed 402 places and 0 transitions.
Iterating global reduction 4 with 603 rules applied. Total rules applied 182662 place count 40883 transition count 52088
Free-agglomeration rule (complex) applied 10039 times.
Iterating global reduction 4 with 10039 rules applied. Total rules applied 192701 place count 40883 transition count 82249
Ensure Unique test removed 801 places
Reduce places removed 10840 places and 0 transitions.
Iterating post reduction 4 with 10840 rules applied. Total rules applied 203541 place count 30043 transition count 82249
Discarding 29 places :
Symmetric choice reduction at 5 with 29 rule applications. Total rules 203570 place count 30014 transition count 36220
Iterating global reduction 5 with 29 rules applied. Total rules applied 203599 place count 30014 transition count 36220
Free-agglomeration rule (complex) applied 400 times.
Iterating global reduction 5 with 400 rules applied. Total rules applied 203999 place count 30014 transition count 56725
Reduce places removed 400 places and 0 transitions.
Iterating post reduction 5 with 400 rules applied. Total rules applied 204399 place count 29614 transition count 56725
Discarding 2993 places :
Symmetric choice reduction at 6 with 2993 rule applications. Total rules 207392 place count 26621 transition count 32847
Iterating global reduction 6 with 2993 rules applied. Total rules applied 210385 place count 26621 transition count 32847
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 210390 place count 26616 transition count 31842
Iterating global reduction 6 with 5 rules applied. Total rules applied 210395 place count 26616 transition count 31842
Partial Free-agglomeration rule applied 200 times.
Drop transitions removed 200 transitions
Iterating global reduction 6 with 200 rules applied. Total rules applied 210595 place count 26616 transition count 31842
Applied a total of 210595 rules in 83306 ms. Remains 26616 /143852 variables (removed 117236) and now considering 31842/134279 (removed 102437) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 83312 ms. Remains : 26616/143852 places, 31842/134279 transitions.
// Phase 1: matrix 31842 rows 26616 cols
[2023-03-10 20:27:05] [INFO ] Computed 5033 place invariants in 6483 ms
Interrupted random walk after 109543 steps, including 44 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 491
Interrupted Best-First random walk after 59020 steps, including 0 resets, run timeout after 5014 ms. (steps per millisecond=11 ) properties seen 104
Interrupted Best-First random walk after 66144 steps, including 0 resets, run timeout after 5016 ms. (steps per millisecond=13 ) properties seen 311
Interrupted Best-First random walk after 96722 steps, including 0 resets, run timeout after 5010 ms. (steps per millisecond=19 ) properties seen 219
Interrupted Best-First random walk after 534933 steps, including 1 resets, run timeout after 5004 ms. (steps per millisecond=106 ) properties seen 361
Interrupted Best-First random walk after 451580 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=90 ) properties seen 335
Interrupted Best-First random walk after 557313 steps, including 1 resets, run timeout after 5003 ms. (steps per millisecond=111 ) properties seen 401
Interrupted Best-First random walk after 703095 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=140 ) properties seen 174
Interrupted Best-First random walk after 851731 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=170 ) properties seen 366
Interrupted Best-First random walk after 854724 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=170 ) properties seen 386
Interrupted Best-First random walk after 856135 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=171 ) properties seen 381
Interrupted Best-First random walk after 850192 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=170 ) properties seen 370
Interrupted Best-First random walk after 858968 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=171 ) properties seen 358
Interrupted Best-First random walk after 849078 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=169 ) properties seen 372
Interrupted Best-First random walk after 859501 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=171 ) properties seen 370
Interrupted Best-First random walk after 858412 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=171 ) properties seen 391
[2023-03-10 20:28:50] [INFO ] Invariant cache hit.
[2023-03-10 20:29:00] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6566 ms returned sat
[2023-03-10 20:29:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:29:35] [INFO ] [Real]Absence check using state equation in 35157 ms returned unknown
[2023-03-10 20:29:45] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6399 ms returned sat
[2023-03-10 20:29:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:29:57] [INFO ] [Real]Absence check using state equation in 11836 ms returned sat
[2023-03-10 20:29:58] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 20:30:07] [INFO ] [Nat]Absence check using 0 positive and 5033 generalized place invariants in 6844 ms returned sat
[2023-03-10 20:30:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 20:30:19] [INFO ] [Nat]Absence check using state equation in 12159 ms returned sat
[2023-03-10 20:30:26] [INFO ] Computed and/alt/rep : 21746/30189/21746 causal constraints (skipped 9895 transitions) in 5368 ms.
[2023-03-10 20:30:36] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6681 ms returned sat
[2023-03-10 20:30:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:31:11] [INFO ] [Real]Absence check using state equation in 34775 ms returned unknown
[2023-03-10 20:31:22] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6787 ms returned sat
[2023-03-10 20:31:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:31:56] [INFO ] [Real]Absence check using state equation in 34728 ms returned unknown
[2023-03-10 20:32:06] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6618 ms returned sat
[2023-03-10 20:32:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:32:41] [INFO ] [Real]Absence check using state equation in 35185 ms returned unknown
[2023-03-10 20:32:50] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 5936 ms returned sat
[2023-03-10 20:32:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:33:26] [INFO ] [Real]Absence check using state equation in 35803 ms returned unknown
[2023-03-10 20:33:36] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6547 ms returned sat
[2023-03-10 20:33:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:34:11] [INFO ] [Real]Absence check using state equation in 35258 ms returned unknown
[2023-03-10 20:34:20] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 5817 ms returned sat
[2023-03-10 20:34:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:34:56] [INFO ] [Real]Absence check using state equation in 35984 ms returned unknown
[2023-03-10 20:35:06] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6641 ms returned sat
[2023-03-10 20:35:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:35:41] [INFO ] [Real]Absence check using state equation in 35067 ms returned unknown
[2023-03-10 20:35:51] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6239 ms returned sat
[2023-03-10 20:35:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:36:26] [INFO ] [Real]Absence check using state equation in 35543 ms returned unknown
[2023-03-10 20:36:36] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6495 ms returned sat
[2023-03-10 20:36:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:37:11] [INFO ] [Real]Absence check using state equation in 35283 ms returned unknown
[2023-03-10 20:37:21] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6088 ms returned sat
[2023-03-10 20:37:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:37:56] [INFO ] [Real]Absence check using state equation in 35665 ms returned unknown
[2023-03-10 20:38:07] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7044 ms returned sat
[2023-03-10 20:38:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:38:41] [INFO ] [Real]Absence check using state equation in 34785 ms returned unknown
[2023-03-10 20:38:51] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6242 ms returned sat
[2023-03-10 20:38:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:39:26] [INFO ] [Real]Absence check using state equation in 35279 ms returned unknown
[2023-03-10 20:39:37] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6850 ms returned sat
[2023-03-10 20:39:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:40:11] [INFO ] [Real]Absence check using state equation in 34808 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[129, 155, 51, 22, 6, 48, 174, 1, 1, 1, 0, 1, 1, 26, 1]
Support contains 11666 out of 26616 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 26616/26616 places, 31842/31842 transitions.
Applied a total of 0 rules in 301 ms. Remains 26616 /26616 variables (removed 0) and now considering 31842/31842 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 301 ms. Remains : 26616/26616 places, 31842/31842 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 26616/26616 places, 31842/31842 transitions.
Applied a total of 0 rules in 325 ms. Remains 26616 /26616 variables (removed 0) and now considering 31842/31842 (removed 0) transitions.
[2023-03-10 20:40:12] [INFO ] Invariant cache hit.
[2023-03-10 20:40:14] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 20:40:15] [INFO ] Implicit Places using invariants in 2459 ms returned []
Implicit Place search using SMT only with invariants took 2460 ms to find 0 implicit places.
[2023-03-10 20:40:15] [INFO ] Invariant cache hit.
[2023-03-10 20:40:17] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 20:40:17] [INFO ] Dead Transitions using invariants and state equation in 2328 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5120 ms. Remains : 26616/26616 places, 31842/31842 transitions.
[2023-03-10 20:40:17] [INFO ] Invariant cache hit.
Finished random walk after 122827 steps, including 50 resets, run visited all 15 properties in 30001 ms. (steps per millisecond=4 )
Interrupted Best-First random walk after 85444 steps, including 0 resets, run timeout after 5011 ms. (steps per millisecond=17 ) properties seen 143
Interrupted Best-First random walk after 73978 steps, including 0 resets, run timeout after 5014 ms. (steps per millisecond=14 ) properties seen 348
Interrupted Best-First random walk after 149800 steps, including 0 resets, run timeout after 5008 ms. (steps per millisecond=29 ) properties seen 287
Interrupted Best-First random walk after 514085 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=102 ) properties seen 366
Interrupted Best-First random walk after 432487 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=86 ) properties seen 378
Interrupted Best-First random walk after 550727 steps, including 1 resets, run timeout after 5003 ms. (steps per millisecond=110 ) properties seen 389
Interrupted Best-First random walk after 721463 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=144 ) properties seen 174
Interrupted Best-First random walk after 786803 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=157 ) properties seen 380
Interrupted Best-First random walk after 810785 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=162 ) properties seen 350
Interrupted Best-First random walk after 826840 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=165 ) properties seen 382
Interrupted Best-First random walk after 826205 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=165 ) properties seen 377
Interrupted Best-First random walk after 837545 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=167 ) properties seen 356
Interrupted Best-First random walk after 829230 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=165 ) properties seen 356
Interrupted Best-First random walk after 837427 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=167 ) properties seen 393
Interrupted Best-First random walk after 836207 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=167 ) properties seen 365
[2023-03-10 20:42:02] [INFO ] Invariant cache hit.
[2023-03-10 20:42:13] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7205 ms returned sat
[2023-03-10 20:42:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:42:47] [INFO ] [Real]Absence check using state equation in 34247 ms returned unknown
[2023-03-10 20:42:58] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7176 ms returned sat
[2023-03-10 20:42:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:43:13] [INFO ] [Real]Absence check using state equation in 15052 ms returned sat
[2023-03-10 20:43:14] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 20:43:24] [INFO ] [Nat]Absence check using 0 positive and 5033 generalized place invariants in 7512 ms returned sat
[2023-03-10 20:43:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 20:43:38] [INFO ] [Nat]Absence check using state equation in 14134 ms returned sat
[2023-03-10 20:43:45] [INFO ] Computed and/alt/rep : 21746/30189/21746 causal constraints (skipped 9895 transitions) in 5449 ms.
[2023-03-10 20:43:56] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7070 ms returned sat
[2023-03-10 20:43:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:44:30] [INFO ] [Real]Absence check using state equation in 34463 ms returned unknown
[2023-03-10 20:44:42] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7880 ms returned sat
[2023-03-10 20:44:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:45:15] [INFO ] [Real]Absence check using state equation in 33503 ms returned unknown
[2023-03-10 20:45:26] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7236 ms returned sat
[2023-03-10 20:45:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:46:00] [INFO ] [Real]Absence check using state equation in 34193 ms returned unknown
[2023-03-10 20:46:10] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6459 ms returned sat
[2023-03-10 20:46:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:46:45] [INFO ] [Real]Absence check using state equation in 35144 ms returned unknown
[2023-03-10 20:46:56] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7252 ms returned sat
[2023-03-10 20:46:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:47:30] [INFO ] [Real]Absence check using state equation in 34139 ms returned unknown
[2023-03-10 20:47:42] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7866 ms returned sat
[2023-03-10 20:47:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:48:15] [INFO ] [Real]Absence check using state equation in 33612 ms returned unknown
[2023-03-10 20:48:26] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7271 ms returned sat
[2023-03-10 20:48:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:49:00] [INFO ] [Real]Absence check using state equation in 34243 ms returned unknown
[2023-03-10 20:49:11] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7130 ms returned sat
[2023-03-10 20:49:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:49:46] [INFO ] [Real]Absence check using state equation in 34438 ms returned unknown
[2023-03-10 20:49:57] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7614 ms returned sat
[2023-03-10 20:49:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:50:31] [INFO ] [Real]Absence check using state equation in 34015 ms returned unknown
[2023-03-10 20:50:41] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6727 ms returned sat
[2023-03-10 20:50:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:51:16] [INFO ] [Real]Absence check using state equation in 34917 ms returned unknown
[2023-03-10 20:51:26] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7065 ms returned sat
[2023-03-10 20:51:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:52:01] [INFO ] [Real]Absence check using state equation in 34616 ms returned unknown
[2023-03-10 20:52:11] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6834 ms returned sat
[2023-03-10 20:52:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:52:46] [INFO ] [Real]Absence check using state equation in 34817 ms returned unknown
[2023-03-10 20:52:56] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6857 ms returned sat
[2023-03-10 20:52:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:53:31] [INFO ] [Real]Absence check using state equation in 34819 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[129, 174, 54, 23, 6, 48, 174, 1, 1, 1, 1, 1, 1, 31, 1]
Support contains 11666 out of 26616 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 26616/26616 places, 31842/31842 transitions.
Applied a total of 0 rules in 326 ms. Remains 26616 /26616 variables (removed 0) and now considering 31842/31842 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 326 ms. Remains : 26616/26616 places, 31842/31842 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 26616/26616 places, 31842/31842 transitions.
Applied a total of 0 rules in 309 ms. Remains 26616 /26616 variables (removed 0) and now considering 31842/31842 (removed 0) transitions.
[2023-03-10 20:53:31] [INFO ] Invariant cache hit.
[2023-03-10 20:53:33] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 20:53:34] [INFO ] Implicit Places using invariants in 2268 ms returned []
Implicit Place search using SMT only with invariants took 2270 ms to find 0 implicit places.
[2023-03-10 20:53:34] [INFO ] Invariant cache hit.
[2023-03-10 20:53:36] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 20:53:36] [INFO ] Dead Transitions using invariants and state equation in 2320 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4909 ms. Remains : 26616/26616 places, 31842/31842 transitions.
[2023-03-10 20:53:36] [INFO ] Invariant cache hit.
Finished random walk after 104219 steps, including 42 resets, run visited all 15 properties in 30001 ms. (steps per millisecond=3 )
Interrupted Best-First random walk after 87138 steps, including 0 resets, run timeout after 5007 ms. (steps per millisecond=17 ) properties seen 142
Interrupted Best-First random walk after 75048 steps, including 0 resets, run timeout after 5010 ms. (steps per millisecond=14 ) properties seen 353
Interrupted Best-First random walk after 152330 steps, including 0 resets, run timeout after 5003 ms. (steps per millisecond=30 ) properties seen 321
Interrupted Best-First random walk after 549515 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=109 ) properties seen 367
Interrupted Best-First random walk after 456772 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=91 ) properties seen 357
Interrupted Best-First random walk after 571516 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=114 ) properties seen 375
Interrupted Best-First random walk after 749838 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=149 ) properties seen 174
Interrupted Best-First random walk after 841971 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=168 ) properties seen 380
Interrupted Best-First random walk after 831979 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=166 ) properties seen 404
Interrupted Best-First random walk after 846340 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=169 ) properties seen 363
Interrupted Best-First random walk after 838983 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=167 ) properties seen 383
Interrupted Best-First random walk after 815369 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=163 ) properties seen 360
Interrupted Best-First random walk after 840805 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=168 ) properties seen 383
Interrupted Best-First random walk after 844292 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=168 ) properties seen 374
Interrupted Best-First random walk after 840088 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=167 ) properties seen 378
[2023-03-10 20:55:21] [INFO ] Invariant cache hit.
[2023-03-10 20:55:31] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6495 ms returned sat
[2023-03-10 20:55:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:56:06] [INFO ] [Real]Absence check using state equation in 35102 ms returned unknown
[2023-03-10 20:56:17] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7065 ms returned sat
[2023-03-10 20:56:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:56:31] [INFO ] [Real]Absence check using state equation in 14737 ms returned sat
[2023-03-10 20:56:33] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 20:56:42] [INFO ] [Nat]Absence check using 0 positive and 5033 generalized place invariants in 7350 ms returned sat
[2023-03-10 20:56:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 20:56:57] [INFO ] [Nat]Absence check using state equation in 14857 ms returned sat
[2023-03-10 20:57:03] [INFO ] Computed and/alt/rep : 21746/30189/21746 causal constraints (skipped 9895 transitions) in 4491 ms.
[2023-03-10 20:57:14] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7414 ms returned sat
[2023-03-10 20:57:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:57:48] [INFO ] [Real]Absence check using state equation in 34192 ms returned unknown
[2023-03-10 20:57:59] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7405 ms returned sat
[2023-03-10 20:57:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:58:33] [INFO ] [Real]Absence check using state equation in 34298 ms returned unknown
[2023-03-10 20:58:44] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7547 ms returned sat
[2023-03-10 20:58:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 20:59:18] [INFO ] [Real]Absence check using state equation in 34161 ms returned unknown
[2023-03-10 20:59:29] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7482 ms returned sat
[2023-03-10 20:59:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:00:03] [INFO ] [Real]Absence check using state equation in 33997 ms returned unknown
[2023-03-10 21:00:14] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 6838 ms returned sat
[2023-03-10 21:00:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:00:48] [INFO ] [Real]Absence check using state equation in 34750 ms returned unknown
[2023-03-10 21:00:59] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7476 ms returned sat
[2023-03-10 21:00:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:01:33] [INFO ] [Real]Absence check using state equation in 34046 ms returned unknown
[2023-03-10 21:01:45] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7542 ms returned sat
[2023-03-10 21:01:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:02:18] [INFO ] [Real]Absence check using state equation in 33918 ms returned unknown
[2023-03-10 21:02:29] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7074 ms returned sat
[2023-03-10 21:02:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:03:03] [INFO ] [Real]Absence check using state equation in 34381 ms returned unknown
[2023-03-10 21:03:14] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7325 ms returned sat
[2023-03-10 21:03:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:03:49] [INFO ] [Real]Absence check using state equation in 34283 ms returned unknown
[2023-03-10 21:04:00] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7412 ms returned sat
[2023-03-10 21:04:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:04:34] [INFO ] [Real]Absence check using state equation in 33981 ms returned unknown
[2023-03-10 21:04:45] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7948 ms returned sat
[2023-03-10 21:04:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:05:19] [INFO ] [Real]Absence check using state equation in 33534 ms returned unknown
[2023-03-10 21:05:30] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7422 ms returned sat
[2023-03-10 21:05:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:06:04] [INFO ] [Real]Absence check using state equation in 34062 ms returned unknown
[2023-03-10 21:06:14] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7301 ms returned sat
[2023-03-10 21:06:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:06:49] [INFO ] [Real]Absence check using state equation in 34326 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[129, 176, 54, 27, 6, 48, 177, 1, 1, 1, 1, 1, 1, 31, 1]
Support contains 11666 out of 26616 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 26616/26616 places, 31842/31842 transitions.
Applied a total of 0 rules in 370 ms. Remains 26616 /26616 variables (removed 0) and now considering 31842/31842 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 370 ms. Remains : 26616/26616 places, 31842/31842 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 26616/26616 places, 31842/31842 transitions.
Applied a total of 0 rules in 374 ms. Remains 26616 /26616 variables (removed 0) and now considering 31842/31842 (removed 0) transitions.
[2023-03-10 21:06:49] [INFO ] Invariant cache hit.
[2023-03-10 21:06:52] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 21:06:52] [INFO ] Implicit Places using invariants in 2326 ms returned []
Implicit Place search using SMT only with invariants took 2326 ms to find 0 implicit places.
[2023-03-10 21:06:52] [INFO ] Invariant cache hit.
[2023-03-10 21:06:54] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 21:06:54] [INFO ] Dead Transitions using invariants and state equation in 2379 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5088 ms. Remains : 26616/26616 places, 31842/31842 transitions.
[2023-03-10 21:06:54] [INFO ] Invariant cache hit.
Interrupted random walk after 101482 steps, including 41 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 490
Interrupted Best-First random walk after 84624 steps, including 0 resets, run timeout after 5010 ms. (steps per millisecond=16 ) properties seen 142
Interrupted Best-First random walk after 73352 steps, including 0 resets, run timeout after 5007 ms. (steps per millisecond=14 ) properties seen 345
Interrupted Best-First random walk after 149720 steps, including 0 resets, run timeout after 5008 ms. (steps per millisecond=29 ) properties seen 300
Interrupted Best-First random walk after 509743 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=101 ) properties seen 388
Interrupted Best-First random walk after 434734 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=86 ) properties seen 375
Interrupted Best-First random walk after 544684 steps, including 1 resets, run timeout after 5003 ms. (steps per millisecond=108 ) properties seen 361
Interrupted Best-First random walk after 716196 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=143 ) properties seen 174
Interrupted Best-First random walk after 777563 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=155 ) properties seen 362
Interrupted Best-First random walk after 776418 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=155 ) properties seen 367
Interrupted Best-First random walk after 780214 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=155 ) properties seen 376
Interrupted Best-First random walk after 794634 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=158 ) properties seen 374
Interrupted Best-First random walk after 807958 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=161 ) properties seen 370
Interrupted Best-First random walk after 800289 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=160 ) properties seen 375
Interrupted Best-First random walk after 792446 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=158 ) properties seen 386
Interrupted Best-First random walk after 804072 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=160 ) properties seen 395
[2023-03-10 21:08:39] [INFO ] Invariant cache hit.
[2023-03-10 21:08:50] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7590 ms returned sat
[2023-03-10 21:08:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:09:24] [INFO ] [Real]Absence check using state equation in 33897 ms returned unknown
[2023-03-10 21:09:35] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7533 ms returned sat
[2023-03-10 21:09:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:09:52] [INFO ] [Real]Absence check using state equation in 17177 ms returned sat
[2023-03-10 21:09:54] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 21:10:05] [INFO ] [Nat]Absence check using 0 positive and 5033 generalized place invariants in 8541 ms returned sat
[2023-03-10 21:10:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 21:10:20] [INFO ] [Nat]Absence check using state equation in 15093 ms returned sat
[2023-03-10 21:10:26] [INFO ] Computed and/alt/rep : 21746/30189/21746 causal constraints (skipped 9895 transitions) in 4997 ms.
[2023-03-10 21:10:38] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7585 ms returned sat
[2023-03-10 21:10:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:11:11] [INFO ] [Real]Absence check using state equation in 33882 ms returned unknown
[2023-03-10 21:11:23] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 8181 ms returned sat
[2023-03-10 21:11:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:11:56] [INFO ] [Real]Absence check using state equation in 33289 ms returned unknown
[2023-03-10 21:12:08] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 8057 ms returned sat
[2023-03-10 21:12:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:12:41] [INFO ] [Real]Absence check using state equation in 33244 ms returned unknown
[2023-03-10 21:12:52] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7194 ms returned sat
[2023-03-10 21:12:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:13:26] [INFO ] [Real]Absence check using state equation in 34299 ms returned unknown
[2023-03-10 21:13:37] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7040 ms returned sat
[2023-03-10 21:13:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:14:11] [INFO ] [Real]Absence check using state equation in 34470 ms returned unknown
[2023-03-10 21:14:22] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7308 ms returned sat
[2023-03-10 21:14:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:14:57] [INFO ] [Real]Absence check using state equation in 34232 ms returned unknown
[2023-03-10 21:15:08] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7950 ms returned sat
[2023-03-10 21:15:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:15:42] [INFO ] [Real]Absence check using state equation in 33366 ms returned unknown
[2023-03-10 21:15:53] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7901 ms returned sat
[2023-03-10 21:15:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:16:27] [INFO ] [Real]Absence check using state equation in 33428 ms returned unknown
[2023-03-10 21:16:39] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 8473 ms returned sat
[2023-03-10 21:16:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:17:12] [INFO ] [Real]Absence check using state equation in 32994 ms returned unknown
[2023-03-10 21:17:23] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7749 ms returned sat
[2023-03-10 21:17:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:17:57] [INFO ] [Real]Absence check using state equation in 33520 ms returned unknown
[2023-03-10 21:18:09] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 9180 ms returned sat
[2023-03-10 21:18:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:18:42] [INFO ] [Real]Absence check using state equation in 32222 ms returned unknown
[2023-03-10 21:18:54] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 8940 ms returned sat
[2023-03-10 21:18:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 21:19:27] [INFO ] [Real]Absence check using state equation in 32451 ms returned unknown
[2023-03-10 21:19:38] [INFO ] [Real]Absence check using 0 positive and 5033 generalized place invariants in 7899 ms returned sat
[2023-03-10 21:19:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10333820 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15942424 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /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="FamilyReunion-PT-L00200M0020C010P010G005"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lolaxred"
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-5348"
echo " Executing tool lolaxred"
echo " Input is FamilyReunion-PT-L00200M0020C010P010G005, 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 r167-tall-167838853100429"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00200M0020C010P010G005.tgz
mv FamilyReunion-PT-L00200M0020C010P010G005 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 ;