About the Execution of ITS-LoLa for ClientsAndServers-PT-N0010P2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15793.970 | 3600000.00 | 1634514.00 | 40838.60 | ?FFTFFTFTFFTFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806300162.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ClientsAndServers-PT-N0010P2, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806300162
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.1K Mar 30 01:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 01:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 26 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Mar 26 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ClientsAndServers-PT-N0010P2-00
FORMULA_NAME ClientsAndServers-PT-N0010P2-01
FORMULA_NAME ClientsAndServers-PT-N0010P2-02
FORMULA_NAME ClientsAndServers-PT-N0010P2-03
FORMULA_NAME ClientsAndServers-PT-N0010P2-04
FORMULA_NAME ClientsAndServers-PT-N0010P2-05
FORMULA_NAME ClientsAndServers-PT-N0010P2-06
FORMULA_NAME ClientsAndServers-PT-N0010P2-07
FORMULA_NAME ClientsAndServers-PT-N0010P2-08
FORMULA_NAME ClientsAndServers-PT-N0010P2-09
FORMULA_NAME ClientsAndServers-PT-N0010P2-10
FORMULA_NAME ClientsAndServers-PT-N0010P2-11
FORMULA_NAME ClientsAndServers-PT-N0010P2-12
FORMULA_NAME ClientsAndServers-PT-N0010P2-13
FORMULA_NAME ClientsAndServers-PT-N0010P2-14
FORMULA_NAME ClientsAndServers-PT-N0010P2-15
=== Now, execution of the tool begins
BK_START 1591194286135
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 14:24:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 14:24:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 14:24:49] [INFO ] Load time of PNML (sax parser for PT used): 32 ms
[2020-06-03 14:24:49] [INFO ] Transformed 25 places.
[2020-06-03 14:24:49] [INFO ] Transformed 18 transitions.
[2020-06-03 14:24:49] [INFO ] Parsed PT model containing 25 places and 18 transitions in 83 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100003 steps, including 34 resets, run finished after 114 ms. (steps per millisecond=877 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-03 14:24:49] [INFO ] Computed 8 place invariants in 4 ms
[2020-06-03 14:24:49] [INFO ] [Real]Absence check using 5 positive place invariants in 25 ms returned sat
[2020-06-03 14:24:49] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-03 14:24:49] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-03 14:24:49] [INFO ] Flatten gal took : 35 ms
FORMULA ClientsAndServers-PT-N0010P2-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 14:24:49] [INFO ] Flatten gal took : 10 ms
[2020-06-03 14:24:49] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2020-06-03 14:24:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0010P2 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0010P2-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0010P2-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1909
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0010P2
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Jun 3 14:24:51 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G ((X ((p12 <= 0)) AND (1 <= p10))))",
"processed_size": 39,
"rewrites": 66
},
"result":
{
"edges": 647,
"markings": 646,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X (G ((1 <= p18))))",
"processed_size": 22,
"rewrites": 66
},
"result":
{
"edges": 645,
"markings": 645,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 5,
"aconj": 2,
"adisj": 0,
"aneg": 3,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (X (X ((X (G ((X ((p6 <= 0)) R ((p3 <= 0))))) OR ((p2 <= 0))))))",
"processed_size": 66,
"rewrites": 66
},
"result":
{
"edges": 7,
"markings": 7,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 3,
"aconj": 3,
"adisj": 0,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (X (G ((F (((p7 <= 0) OR (p23 <= 0))) AND (((1 <= p7) AND (1 <= p23)) U X (((p7 <= 0) OR (p23 <= 0))))))))",
"processed_size": 110,
"rewrites": 66
},
"result":
{
"edges": 965,
"markings": 965,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X (X (X (G ((1 <= p12))))))",
"processed_size": 30,
"rewrites": 66
},
"result":
{
"edges": 645,
"markings": 645,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (F ((((1 <= p10) OR (1 <= p16)) OR (1 <= p6))))",
"processed_size": 50,
"rewrites": 66
},
"result":
{
"edges": 160,
"markings": 161,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 2,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 3,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F (((((F (((1 <= p2))) AND (1 <= p2)) U ((1 <= p5) AND (1 <= p15))) U G (((1 <= p2)))) AND ((1 <= p8) AND (1 <= p15)))))",
"processed_size": 123,
"rewrites": 66
},
"result":
{
"edges": 646,
"markings": 646,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 4,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 3,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 3,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (((X (((1 <= p8) AND (1 <= p15))) OR (G ((1 <= p20)) AND X (F (((1 <= p8) AND (1 <= p15)))))) AND F (G (((p12 <= 0) AND (F (((p8 <= 0) OR (p15 <= 0))) OR G ((p12 <= 0))))))))",
"processed_size": 177,
"rewrites": 66
},
"result":
{
"edges": 1240,
"markings": 1227,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 14
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (F ((F (((1 <= p4) AND (1 <= p21))) OR (1 <= p9))))",
"processed_size": 53,
"rewrites": 66
},
"result":
{
"edges": 645,
"markings": 645,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 2,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 2,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((((1 <= p7) AND (1 <= p23)) U (p22 <= 0)) U X (X (G ((G ((p24 <= 0)) OR (p22 <= 0))))))",
"processed_size": 88,
"rewrites": 66
},
"result":
{
"edges": 668,
"markings": 667,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 20
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (((p9 <= 0) R F ((1 <= p12))))",
"processed_size": 32,
"rewrites": 66
},
"result":
{
"edges": 6050,
"markings": 2802,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 951
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G ((F (G ((G (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15))))) AND F ((1 <= p12))))",
"processed_size": 95,
"rewrites": 66
},
"result":
{
"edges": 645,
"markings": 645,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1427
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1427
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(1 <= p22)",
"processed_size": 10,
"rewrites": 66
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2854
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "(((p1 <= 0) OR (p19 <= 0)) AND (p12 <= 0))",
"processed_size": 43,
"rewrites": 68
},
"result":
{
"edges": 653,
"markings": 483,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2854
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2854
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p6 <= 0)",
"processed_size": 9,
"rewrites": 68
},
"result":
{
"edges": 644,
"markings": 645,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3412,
"runtime": 1661.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(**)) : F(G((X(**) AND **))) : X(X(G(**))) : X(X(X((X(G((X(*) R *))) OR *)))) : X(X(G((F(*) AND (** U X(*)))))) : X(X(X(X(G(**))))) : X(F((** OR **))) : X(F(((((F(**) AND **) U **) U G(**)) AND (** AND **)))) : (F(**) OR (G(*) AND **)) : G(((X(**) OR (G(**) AND X(F(**)))) AND F(G((* AND (F(*) OR G(*))))))) : F((* R F(*))) : (F(**) AND F(((** U **) AND (** AND **)))) : X(F((F(**) OR **))) : ((** U **) U X(X(G((G(*) OR *))))) : G((F(G((G(**) OR **))) AND F(**)))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "unknown no no yes no no yes no yes no yes no no no no ",
"value": "unknown no no yes no no yes no yes no yes no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: G (X (X (F ((1 <= p18))))) : F (X (F (G ((X ((p12 <= 0)) AND (1 <= p10)))))) : X (G (X ((1 <= p18)))) : X (X ((X (X (G (NOT((X ((1 <= p6)) U ((1 <= p3))))))) OR NOT(X (((1 <= p2))))))) : G (X (X ((NOT(G (((1 <= p7) AND (1 <= p23)))) AND (((1 <= p7) AND (1 <= p23)) U NOT(X (((1 <= p7) AND (1 <= p23))))))))) : X (X (G (X (G (X ((1 <= p12))))))) : X ((F (((1 <= p10) OR (1 <= p16))) OR F ((1 <= p6)))) : F (X ((((((F (((1 <= p2))) AND (1 <= p2)) U ((1 <= p5) AND (1 <= p15))) U G (((1 <= p2)))) AND (1 <= p8)) AND (1 <= p15)))) : (F ((((1 <= p1) AND (1 <= p19)) OR (1 <= p12))) OR (NOT(F ((p22 <= 0))) AND (1 <= p22))) : G (((G ((1 <= p20)) U X (((1 <= p8) AND (1 <= p15)))) AND NOT(X (G (F ((G (((1 <= p8) AND (1 <= p15))) U (1 <= p12)))))))) : F (NOT(((1 <= p9) U G ((p12 <= 0))))) : (F ((1 <= p6)) AND F (((((1 <= p22) U (1 <= p6)) AND (1 <= p0)) AND (1 <= p13)))) : NOT(X (NOT(F ((F (((1 <= p4) AND (1 <= p21))) OR (1 <= p9)))))) : ((((1 <= p7) AND (1 <= p23)) U (p22 <= 0)) U G (X (NOT(X ((F ((((1 <= p8) AND (1 <= p15)) U (1 <= p24))) AND (1 <= p22))))))) : G ((F (G ((G (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15))))) AND F ((1 <= p12))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((X ((p12 <= 0)) AND (1 <= p10))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X ((p12 <= 0)) AND (1 <= p10))))
lola: processed formula length: 39
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 646 markings, 647 edges
lola: ========================================
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G ((1 <= p18))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G ((1 <= p18))))
lola: processed formula length: 22
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 645 markings, 645 edges
lola: ========================================
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X ((X (G ((X ((p6 <= 0)) R ((p3 <= 0))))) OR ((p2 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X ((X (G ((X ((p6 <= 0)) R ((p3 <= 0))))) OR ((p2 <= 0))))))
lola: processed formula length: 66
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 7 markings, 7 edges
lola: ========================================
lola: subprocess 3 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G ((F (((p7 <= 0) OR (p23 <= 0))) AND (((1 <= p7) AND (1 <= p23)) U X (((p7 <= 0) OR (p23 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G ((F (((p7 <= 0) OR (p23 <= 0))) AND (((1 <= p7) AND (1 <= p23)) U X (((p7 <= 0) OR (p23 <= 0))))))))
lola: processed formula length: 110
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 965 markings, 965 edges
lola: ========================================
lola: subprocess 4 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (X (G ((1 <= p12))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (X (G ((1 <= p12))))))
lola: processed formula length: 30
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 645 markings, 645 edges
lola: ========================================
lola: subprocess 5 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((((1 <= p10) OR (1 <= p16)) OR (1 <= p6))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((((1 <= p10) OR (1 <= p16)) OR (1 <= p6))))
lola: processed formula length: 50
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 161 markings, 160 edges
lola: ========================================
lola: subprocess 6 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((((F (((1 <= p2))) AND (1 <= p2)) U ((1 <= p5) AND (1 <= p15))) U G (((1 <= p2)))) AND ((1 <= p8) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((((F (((1 <= p2))) AND (1 <= p2)) U ((1 <= p5) AND (1 <= p15))) U G (((1 <= p2)))) AND ((1 <= p8) AND (1 <= p15)))))
lola: processed formula length: 123
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 646 markings, 646 edges
lola: ========================================
lola: subprocess 7 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((X (((1 <= p8) AND (1 <= p15))) OR (G ((1 <= p20)) AND X (F (((1 <= p8) AND (1 <= p15)))))) AND F (G (((p12 <= 0) AND (F (((p8 <= 0) OR (p15 <= 0))) OR G ((p12 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((X (((1 <= p8) AND (1 <= p15))) OR (G ((1 <= p20)) AND X (F (((1 <= p8) AND (1 <= p15)))))) AND F (G (((p12 <= 0) AND (F (((p8 <= 0) OR (p15 <= 0))) OR G ((p12 <= 0))))))))
lola: processed formula length: 177
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1227 markings, 1240 edges
lola: ========================================
lola: subprocess 8 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p4) AND (1 <= p21))) OR (1 <= p9))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p4) AND (1 <= p21))) OR (1 <= p9))))
lola: processed formula length: 53
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 645 markings, 645 edges
lola: ========================================
lola: subprocess 9 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p7) AND (1 <= p23)) U (p22 <= 0)) U X (X (G ((G ((p24 <= 0)) OR (p22 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p7) AND (1 <= p23)) U (p22 <= 0)) U X (X (G ((G ((p24 <= 0)) OR (p22 <= 0))))))
lola: processed formula length: 88
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 20 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 667 markings, 668 edges
lola: ========================================
lola: subprocess 10 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p18)))
lola: processed formula length: 18
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1337172 markings, 5064124 edges, 267434 markings/sec, 0 secs
lola: 2774377 markings, 10394848 edges, 287441 markings/sec, 5 secs
lola: 3981402 markings, 15730212 edges, 241405 markings/sec, 10 secs
lola: 5115871 markings, 20856111 edges, 226894 markings/sec, 15 secs
lola: 6469732 markings, 25646481 edges, 270772 markings/sec, 20 secs
lola: 7689725 markings, 30452478 edges, 243999 markings/sec, 25 secs
lola: 8750264 markings, 35453163 edges, 212108 markings/sec, 30 secs
lola: 9983662 markings, 40910258 edges, 246680 markings/sec, 35 secs
lola: 10901828 markings, 45252340 edges, 183633 markings/sec, 40 secs
lola: 11710635 markings, 49237711 edges, 161761 markings/sec, 45 secs
lola: 12654291 markings, 53895335 edges, 188731 markings/sec, 50 secs
lola: 13601034 markings, 58615521 edges, 189349 markings/sec, 55 secs
lola: 14596265 markings, 63085859 edges, 199046 markings/sec, 60 secs
lola: 15621519 markings, 66689256 edges, 205051 markings/sec, 65 secs
lola: 16725948 markings, 70508946 edges, 220886 markings/sec, 70 secs
lola: 17619708 markings, 74256922 edges, 178752 markings/sec, 75 secs
lola: 18570510 markings, 77847077 edges, 190160 markings/sec, 80 secs
lola: 19600012 markings, 82668785 edges, 205900 markings/sec, 85 secs
lola: 20528761 markings, 87261674 edges, 185750 markings/sec, 90 secs
lola: 21416598 markings, 91762374 edges, 177567 markings/sec, 95 secs
lola: 22299032 markings, 96278203 edges, 176487 markings/sec, 100 secs
lola: 23372987 markings, 101495508 edges, 214791 markings/sec, 105 secs
lola: 24582695 markings, 106692408 edges, 241942 markings/sec, 110 secs
lola: 25616303 markings, 111626699 edges, 206722 markings/sec, 115 secs
lola: 26552393 markings, 116229925 edges, 187218 markings/sec, 120 secs
lola: 27412649 markings, 120541891 edges, 172051 markings/sec, 125 secs
lola: 28158149 markings, 124442181 edges, 149100 markings/sec, 130 secs
lola: 28948824 markings, 128409533 edges, 158135 markings/sec, 135 secs
lola: 29705343 markings, 132263920 edges, 151304 markings/sec, 140 secs
lola: 30507777 markings, 136420477 edges, 160487 markings/sec, 145 secs
lola: 31238514 markings, 140272191 edges, 146147 markings/sec, 150 secs
lola: 31998312 markings, 144237512 edges, 151960 markings/sec, 155 secs
lola: 32782551 markings, 148342170 edges, 156848 markings/sec, 160 secs
lola: 33566234 markings, 152521480 edges, 156737 markings/sec, 165 secs
lola: 34518901 markings, 156652890 edges, 190533 markings/sec, 170 secs
lola: 35391745 markings, 159733643 edges, 174569 markings/sec, 175 secs
lola: 36270648 markings, 162853851 edges, 175781 markings/sec, 180 secs
lola: 37251548 markings, 166155225 edges, 196180 markings/sec, 185 secs
lola: 38319805 markings, 170101894 edges, 213651 markings/sec, 190 secs
lola: 39234961 markings, 173994439 edges, 183031 markings/sec, 195 secs
lola: 40071364 markings, 177557674 edges, 167281 markings/sec, 200 secs
lola: 40994538 markings, 181164450 edges, 184635 markings/sec, 205 secs
lola: 41748697 markings, 184799537 edges, 150832 markings/sec, 210 secs
lola: 42610208 markings, 189065848 edges, 172302 markings/sec, 215 secs
lola: 43336220 markings, 192819564 edges, 145202 markings/sec, 220 secs
lola: 44152639 markings, 197072790 edges, 163284 markings/sec, 225 secs
lola: 44957686 markings, 201298124 edges, 161009 markings/sec, 230 secs
lola: 45758000 markings, 205524458 edges, 160063 markings/sec, 235 secs
lola: 46533609 markings, 209666531 edges, 155122 markings/sec, 240 secs
lola: 47233655 markings, 213419060 edges, 140009 markings/sec, 245 secs
lola: 48033463 markings, 217691996 edges, 159962 markings/sec, 250 secs
lola: 48770613 markings, 221690026 edges, 147430 markings/sec, 255 secs
lola: 49498622 markings, 225667933 edges, 145602 markings/sec, 260 secs
lola: 50407649 markings, 230488363 edges, 181805 markings/sec, 265 secs
lola: 51535739 markings, 235214597 edges, 225618 markings/sec, 270 secs
lola: 52685147 markings, 240003103 edges, 229882 markings/sec, 275 secs
lola: 53646730 markings, 244594568 edges, 192317 markings/sec, 280 secs
lola: 54555048 markings, 249038860 edges, 181664 markings/sec, 285 secs
lola: 55319887 markings, 252798317 edges, 152968 markings/sec, 290 secs
lola: 56245215 markings, 257437905 edges, 185066 markings/sec, 295 secs
lola: 57038148 markings, 261647767 edges, 158587 markings/sec, 300 secs
lola: 57903487 markings, 265935319 edges, 173068 markings/sec, 305 secs
lola: 58688571 markings, 270074870 edges, 157017 markings/sec, 310 secs
lola: 59386776 markings, 273846995 edges, 139641 markings/sec, 315 secs
lola: 60140063 markings, 277620987 edges, 150657 markings/sec, 320 secs
lola: 60849423 markings, 281414275 edges, 141872 markings/sec, 325 secs
lola: 61512817 markings, 285049898 edges, 132679 markings/sec, 330 secs
lola: 62340319 markings, 289261735 edges, 165500 markings/sec, 335 secs
lola: 63088465 markings, 293354406 edges, 149629 markings/sec, 340 secs
lola: 63890351 markings, 297540664 edges, 160377 markings/sec, 345 secs
lola: 64665489 markings, 301735422 edges, 155028 markings/sec, 350 secs
lola: 65401347 markings, 305747382 edges, 147172 markings/sec, 355 secs
lola: 66147408 markings, 309703009 edges, 149212 markings/sec, 360 secs
lola: 66898226 markings, 313831230 edges, 150164 markings/sec, 365 secs
lola: 67645386 markings, 317838279 edges, 149432 markings/sec, 370 secs
lola: 68356689 markings, 321680156 edges, 142261 markings/sec, 375 secs
lola: 69033191 markings, 325463503 edges, 135300 markings/sec, 380 secs
lola: 69773627 markings, 329530240 edges, 148087 markings/sec, 385 secs
lola: 70529668 markings, 333690037 edges, 151208 markings/sec, 390 secs
lola: 71389202 markings, 338066295 edges, 171907 markings/sec, 395 secs
lola: 72478039 markings, 341777071 edges, 217767 markings/sec, 400 secs
lola: 73425842 markings, 345183099 edges, 189561 markings/sec, 405 secs
lola: 74392061 markings, 348667777 edges, 193244 markings/sec, 410 secs
lola: 75376284 markings, 352185835 edges, 196845 markings/sec, 415 secs
lola: 76390051 markings, 355665899 edges, 202753 markings/sec, 420 secs
lola: 77405627 markings, 359452808 edges, 203115 markings/sec, 425 secs
lola: 78205441 markings, 362685468 edges, 159963 markings/sec, 430 secs
lola: 78875628 markings, 365858011 edges, 134037 markings/sec, 435 secs
lola: 79527210 markings, 368997571 edges, 130316 markings/sec, 440 secs
lola: 80378465 markings, 372338654 edges, 170251 markings/sec, 445 secs
lola: 81295688 markings, 376031112 edges, 183445 markings/sec, 450 secs
lola: 81948087 markings, 379408349 edges, 130480 markings/sec, 455 secs
lola: 82780334 markings, 383355113 edges, 166449 markings/sec, 460 secs
lola: 83488010 markings, 386987095 edges, 141535 markings/sec, 465 secs
lola: 84139616 markings, 390388484 edges, 130321 markings/sec, 470 secs
lola: 84904359 markings, 394423633 edges, 152949 markings/sec, 475 secs
lola: 85618710 markings, 398198215 edges, 142870 markings/sec, 480 secs
lola: 86228035 markings, 401614308 edges, 121865 markings/sec, 485 secs
lola: 86942312 markings, 405315558 edges, 142855 markings/sec, 490 secs
lola: 87602446 markings, 409006724 edges, 132027 markings/sec, 495 secs
lola: 88259502 markings, 412606061 edges, 131411 markings/sec, 500 secs
lola: 88920524 markings, 416164119 edges, 132204 markings/sec, 505 secs
lola: 89539470 markings, 419675885 edges, 123789 markings/sec, 510 secs
lola: 90191727 markings, 423152078 edges, 130451 markings/sec, 515 secs
lola: 90862074 markings, 426949664 edges, 134069 markings/sec, 520 secs
lola: 91587969 markings, 430901369 edges, 145179 markings/sec, 525 secs
lola: 92257051 markings, 434705006 edges, 133816 markings/sec, 530 secs
lola: 92974586 markings, 438658621 edges, 143507 markings/sec, 535 secs
lola: 93658913 markings, 442524485 edges, 136865 markings/sec, 540 secs
lola: 94358782 markings, 446450638 edges, 139974 markings/sec, 545 secs
lola: 95075828 markings, 450459909 edges, 143409 markings/sec, 550 secs
lola: 95795169 markings, 454553075 edges, 143868 markings/sec, 555 secs
lola: 96536851 markings, 458736174 edges, 148336 markings/sec, 560 secs
lola: 97108110 markings, 462977051 edges, 114252 markings/sec, 565 secs
lola: 98116942 markings, 467863056 edges, 201766 markings/sec, 570 secs
lola: 99126417 markings, 472868208 edges, 201895 markings/sec, 575 secs
lola: 100121782 markings, 477043888 edges, 199073 markings/sec, 580 secs
lola: 101068725 markings, 481568682 edges, 189389 markings/sec, 585 secs
lola: 102108267 markings, 485696441 edges, 207908 markings/sec, 590 secs
lola: 103214086 markings, 490398503 edges, 221164 markings/sec, 595 secs
lola: 104151465 markings, 494773059 edges, 187476 markings/sec, 600 secs
lola: 105063487 markings, 499167640 edges, 182404 markings/sec, 605 secs
lola: 105846896 markings, 503086493 edges, 156682 markings/sec, 610 secs
lola: 106625664 markings, 507022312 edges, 155754 markings/sec, 615 secs
lola: 107393473 markings, 510929062 edges, 153562 markings/sec, 620 secs
lola: 108160879 markings, 514837299 edges, 153481 markings/sec, 625 secs
lola: 108928738 markings, 518753326 edges, 153572 markings/sec, 630 secs
lola: 109712060 markings, 522782675 edges, 156664 markings/sec, 635 secs
lola: 110513706 markings, 527004430 edges, 160329 markings/sec, 640 secs
lola: 111308476 markings, 531047105 edges, 158954 markings/sec, 645 secs
lola: 111921932 markings, 534400327 edges, 122691 markings/sec, 650 secs
lola: 112534725 markings, 537747154 edges, 122559 markings/sec, 655 secs
lola: 113124301 markings, 541042393 edges, 117915 markings/sec, 660 secs
lola: 113809407 markings, 544549321 edges, 137021 markings/sec, 665 secs
lola: 114444015 markings, 547753588 edges, 126922 markings/sec, 670 secs
lola: 115056374 markings, 551017019 edges, 122472 markings/sec, 675 secs
lola: 115575979 markings, 553868373 edges, 103921 markings/sec, 680 secs
lola: 116164911 markings, 557188729 edges, 117786 markings/sec, 685 secs
lola: 116698559 markings, 560168132 edges, 106730 markings/sec, 690 secs
lola: 117081418 markings, 562259533 edges, 76572 markings/sec, 695 secs
lola: 117545644 markings, 564652065 edges, 92845 markings/sec, 700 secs
lola: 118023084 markings, 567049030 edges, 95488 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no yes no no yes no unknown no unknown unknown no no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((p9 <= 0) R F ((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((p9 <= 0) R F ((1 <= p12))))
lola: processed formula length: 32
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2802 markings, 6050 edges
lola: ========================================
lola: subprocess 12 will run for 951 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (G ((G (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15))))) AND F ((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G ((G (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15))))) AND F ((1 <= p12))))
lola: processed formula length: 95
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 645 markings, 645 edges
lola: ========================================
lola: subprocess 13 will run for 1427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((((1 <= p1) AND (1 <= p19)) OR (1 <= p12))) OR (G ((1 <= p22)) AND (1 <= p22)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p22)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p22)
lola: processed formula length: 10
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 2854 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((((1 <= p1) AND (1 <= p19)) OR (1 <= p12)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((p1 <= 0) OR (p19 <= 0)) AND (p12 <= 0))
lola: processed formula length: 43
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 483 markings, 653 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 14 will run for 2854 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((1 <= p6)) AND F ((((1 <= p22) U (1 <= p6)) AND ((1 <= p0) AND (1 <= p13)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 2854 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((1 <= p6))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p6 <= 0)
lola: processed formula length: 9
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 645 markings, 644 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p18)))
lola: processed formula length: 18
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1469951 markings, 5543388 edges, 293990 markings/sec, 0 secs
lola: 2833028 markings, 10651727 edges, 272615 markings/sec, 5 secs
lola: 3945690 markings, 15556862 edges, 222532 markings/sec, 10 secs
lola: 5054729 markings, 20642183 edges, 221808 markings/sec, 15 secs
lola: 6330182 markings, 25123758 edges, 255091 markings/sec, 20 secs
lola: 7450656 markings, 29373131 edges, 224095 markings/sec, 25 secs
lola: 8449265 markings, 34008036 edges, 199722 markings/sec, 30 secs
lola: 9629333 markings, 39341102 edges, 236014 markings/sec, 35 secs
lola: 10704843 markings, 44342987 edges, 215102 markings/sec, 40 secs
lola: 11660576 markings, 48977518 edges, 191147 markings/sec, 45 secs
lola: 12593932 markings, 53585057 edges, 186671 markings/sec, 50 secs
lola: 13535801 markings, 58279059 edges, 188374 markings/sec, 55 secs
lola: 14620456 markings, 63166119 edges, 216931 markings/sec, 60 secs
lola: 15804405 markings, 67313660 edges, 236790 markings/sec, 65 secs
lola: 17003988 markings, 71595632 edges, 239917 markings/sec, 70 secs
lola: 17836418 markings, 75118591 edges, 166486 markings/sec, 75 secs
lola: 18825025 markings, 79012238 edges, 197721 markings/sec, 80 secs
lola: 19794213 markings, 83587546 edges, 193838 markings/sec, 85 secs
lola: 20629100 markings, 87759279 edges, 166977 markings/sec, 90 secs
lola: 21434752 markings, 91859624 edges, 161130 markings/sec, 95 secs
lola: 22244438 markings, 96006281 edges, 161937 markings/sec, 100 secs
lola: 23199677 markings, 100794199 edges, 191048 markings/sec, 105 secs
lola: 24372227 markings, 105722931 edges, 234510 markings/sec, 110 secs
lola: 25394012 markings, 110505860 edges, 204357 markings/sec, 115 secs
lola: 26255529 markings, 114760424 edges, 172303 markings/sec, 120 secs
lola: 27075523 markings, 118932864 edges, 163999 markings/sec, 125 secs
lola: 27872828 markings, 122912772 edges, 159461 markings/sec, 130 secs
lola: 28728614 markings, 127247676 edges, 171157 markings/sec, 135 secs
lola: 29581878 markings, 131626446 edges, 170653 markings/sec, 140 secs
lola: 30420849 markings, 136008451 edges, 167794 markings/sec, 145 secs
lola: 31274122 markings, 140448024 edges, 170655 markings/sec, 150 secs
lola: 32146720 markings, 144985517 edges, 174520 markings/sec, 155 secs
lola: 32929975 markings, 149144275 edges, 156651 markings/sec, 160 secs
lola: 33817867 markings, 153887467 edges, 177578 markings/sec, 165 secs
lola: 34951555 markings, 158163328 edges, 226738 markings/sec, 170 secs
lola: 35985886 markings, 161845684 edges, 206866 markings/sec, 175 secs
lola: 37132062 markings, 165741201 edges, 229235 markings/sec, 180 secs
lola: 38235040 markings, 169752051 edges, 220596 markings/sec, 185 secs
lola: 39176873 markings, 173717928 edges, 188367 markings/sec, 190 secs
lola: 40021772 markings, 177381036 edges, 168980 markings/sec, 195 secs
lola: 41068562 markings, 181453503 edges, 209358 markings/sec, 200 secs
lola: 41988630 markings, 185972550 edges, 184014 markings/sec, 205 secs
lola: 42914252 markings, 190584908 edges, 185124 markings/sec, 210 secs
lola: 43756161 markings, 194932455 edges, 168382 markings/sec, 215 secs
lola: 44578287 markings, 199236635 edges, 164425 markings/sec, 220 secs
lola: 45246050 markings, 202810544 edges, 133553 markings/sec, 225 secs
lola: 46042955 markings, 207053053 edges, 159381 markings/sec, 230 secs
lola: 46843298 markings, 211306480 edges, 160069 markings/sec, 235 secs
lola: 47637105 markings, 215566811 edges, 158761 markings/sec, 240 secs
lola: 48438665 markings, 219879420 edges, 160312 markings/sec, 245 secs
lola: 49269010 markings, 224364479 edges, 166069 markings/sec, 250 secs
lola: 50137096 markings, 229262863 edges, 173617 markings/sec, 255 secs
lola: 51279275 markings, 234189333 edges, 228436 markings/sec, 260 secs
lola: 52485632 markings, 239106570 edges, 241271 markings/sec, 265 secs
lola: 53478716 markings, 243789325 edges, 198617 markings/sec, 270 secs
lola: 54395610 markings, 248248873 edges, 183379 markings/sec, 275 secs
lola: 55312143 markings, 252758103 edges, 183307 markings/sec, 280 secs
lola: 56226388 markings, 257348543 edges, 182849 markings/sec, 285 secs
lola: 57024239 markings, 261569624 edges, 159570 markings/sec, 290 secs
lola: 57891241 markings, 265876156 edges, 173400 markings/sec, 295 secs
lola: 58688462 markings, 270074375 edges, 159444 markings/sec, 300 secs
lola: 59471435 markings, 274259167 edges, 156595 markings/sec, 305 secs
lola: 60304306 markings, 278476699 edges, 166574 markings/sec, 310 secs
lola: 61061776 markings, 282607584 edges, 151494 markings/sec, 315 secs
lola: 61847563 markings, 286733736 edges, 157157 markings/sec, 320 secs
lola: 62667194 markings, 291013490 edges, 163926 markings/sec, 325 secs
lola: 63390458 markings, 295023636 edges, 144653 markings/sec, 330 secs
lola: 64225414 markings, 299317419 edges, 166991 markings/sec, 335 secs
lola: 64969188 markings, 303426046 edges, 148755 markings/sec, 340 secs
lola: 65779681 markings, 307680799 edges, 162099 markings/sec, 345 secs
lola: 66535453 markings, 311852494 edges, 151154 markings/sec, 350 secs
lola: 67340946 markings, 316149924 edges, 161099 markings/sec, 355 secs
lola: 68019008 markings, 319923526 edges, 135612 markings/sec, 360 secs
lola: 68757245 markings, 323923891 edges, 147647 markings/sec, 365 secs
lola: 69492255 markings, 327932995 edges, 147002 markings/sec, 370 secs
lola: 70211782 markings, 331925142 edges, 143905 markings/sec, 375 secs
lola: 71032774 markings, 336561754 edges, 164198 markings/sec, 380 secs
lola: 72176076 markings, 340700918 edges, 228660 markings/sec, 385 secs
lola: 73137239 markings, 344133501 edges, 192233 markings/sec, 390 secs
lola: 74072456 markings, 347536258 edges, 187043 markings/sec, 395 secs
lola: 75049864 markings, 351033928 edges, 195482 markings/sec, 400 secs
lola: 76114104 markings, 354670473 edges, 212848 markings/sec, 405 secs
lola: 77083184 markings, 358134101 edges, 193816 markings/sec, 410 secs
lola: 78024624 markings, 361956264 edges, 188288 markings/sec, 415 secs
lola: 78704353 markings, 365019344 edges, 135946 markings/sec, 420 secs
lola: 79311613 markings, 367971141 edges, 121452 markings/sec, 425 secs
lola: 80002641 markings, 370938803 edges, 138206 markings/sec, 430 secs
lola: 80897378 markings, 374309887 edges, 178947 markings/sec, 435 secs
lola: 81627000 markings, 377466242 edges, 145924 markings/sec, 440 secs
lola: 82328215 markings, 381155959 edges, 140243 markings/sec, 445 secs
lola: 83147325 markings, 385216441 edges, 163822 markings/sec, 450 secs
lola: 83854226 markings, 388895331 edges, 141380 markings/sec, 455 secs
lola: 84548494 markings, 392542443 edges, 138854 markings/sec, 460 secs
lola: 85288151 markings, 396426225 edges, 147931 markings/sec, 465 secs
lola: 85947085 markings, 400028966 edges, 131787 markings/sec, 470 secs
lola: 86638930 markings, 403762391 edges, 138369 markings/sec, 475 secs
lola: 87313714 markings, 407371542 edges, 134957 markings/sec, 480 secs
lola: 87946156 markings, 410953449 edges, 126488 markings/sec, 485 secs
lola: 88654227 markings, 414673780 edges, 141614 markings/sec, 490 secs
lola: 89275922 markings, 418174919 edges, 124339 markings/sec, 495 secs
lola: 89940017 markings, 421841581 edges, 132819 markings/sec, 500 secs
lola: 90600331 markings, 425450501 edges, 132063 markings/sec, 505 secs
lola: 91212896 markings, 428952551 edges, 122513 markings/sec, 510 secs
lola: 91941498 markings, 432908384 edges, 145720 markings/sec, 515 secs
lola: 92589250 markings, 436559968 edges, 129550 markings/sec, 520 secs
lola: 93252338 markings, 440233273 edges, 132618 markings/sec, 525 secs
lola: 93953455 markings, 444126284 edges, 140223 markings/sec, 530 secs
lola: 94607580 markings, 447784884 edges, 130825 markings/sec, 535 secs
lola: 95270767 markings, 451489895 edges, 132637 markings/sec, 540 secs
lola: 95928270 markings, 455292729 edges, 131501 markings/sec, 545 secs
lola: 96605585 markings, 459193975 edges, 135463 markings/sec, 550 secs
lola: 97104952 markings, 462951891 edges, 99873 markings/sec, 555 secs
lola: 98031856 markings, 467459082 edges, 185381 markings/sec, 560 secs
lola: 98992412 markings, 472115097 edges, 192111 markings/sec, 565 secs
lola: 99875757 markings, 475972100 edges, 176669 markings/sec, 570 secs
lola: 100805371 markings, 480368995 edges, 185923 markings/sec, 575 secs
lola: 101845000 markings, 484735635 edges, 207926 markings/sec, 580 secs
lola: 102973325 markings, 489277740 edges, 225665 markings/sec, 585 secs
lola: 103930702 markings, 493739839 edges, 191475 markings/sec, 590 secs
lola: 104851123 markings, 498092056 edges, 184084 markings/sec, 595 secs
lola: 105684196 markings, 502254226 edges, 166615 markings/sec, 600 secs
lola: 106473936 markings, 506245330 edges, 157948 markings/sec, 605 secs
lola: 107250623 markings, 510191132 edges, 155337 markings/sec, 610 secs
lola: 108025252 markings, 514134072 edges, 154926 markings/sec, 615 secs
lola: 108800667 markings, 518107383 edges, 155083 markings/sec, 620 secs
lola: 109580943 markings, 522121159 edges, 156055 markings/sec, 625 secs
lola: 110386977 markings, 526322112 edges, 161207 markings/sec, 630 secs
lola: 111215329 markings, 530549162 edges, 165670 markings/sec, 635 secs
lola: 111897331 markings, 534260922 edges, 136400 markings/sec, 640 secs
lola: 112586449 markings, 538025760 edges, 137824 markings/sec, 645 secs
lola: 113184723 markings, 541396539 edges, 119655 markings/sec, 650 secs
lola: 113601604 markings, 543466103 edges, 83376 markings/sec, 655 secs
lola: 114173736 markings, 546453246 edges, 114426 markings/sec, 660 secs
lola: 114684218 markings, 548993453 edges, 102096 markings/sec, 665 secs
lola: 115110524 markings, 551318100 edges, 85261 markings/sec, 670 secs
lola: 115613584 markings, 554073965 edges, 100612 markings/sec, 675 secs
lola: 116162086 markings, 557166916 edges, 109700 markings/sec, 680 secs
lola: 116603874 markings, 559625445 edges, 88358 markings/sec, 685 secs
lola: 116999777 markings, 561878542 edges, 79181 markings/sec, 690 secs
lola: 117429072 markings, 564043165 edges, 85859 markings/sec, 695 secs
lola: 117980021 markings, 566830884 edges, 110190 markings/sec, 700 secs
lola: 118580016 markings, 570059991 edges, 119999 markings/sec, 705 secs
lola: 119187790 markings, 573436406 edges, 121555 markings/sec, 710 secs
lola: 119735878 markings, 576531537 edges, 109618 markings/sec, 715 secs
lola: 120193425 markings, 579125898 edges, 91509 markings/sec, 720 secs
lola: 120717758 markings, 581998047 edges, 104867 markings/sec, 725 secs
lola: 121160536 markings, 584325089 edges, 88556 markings/sec, 730 secs
lola: 121810835 markings, 587706064 edges, 130060 markings/sec, 735 secs
lola: 122415450 markings, 591136793 edges, 120923 markings/sec, 740 secs
lola: 122949918 markings, 594135843 edges, 106894 markings/sec, 745 secs
lola: 123472246 markings, 597091979 edges, 104466 markings/sec, 750 secs
lola: 123903545 markings, 599511321 edges, 86260 markings/sec, 755 secs
lola: 124257140 markings, 601364123 edges, 70719 markings/sec, 760 secs
lola: 124950924 markings, 605021389 edges, 138757 markings/sec, 765 secs
lola: 125507651 markings, 608192791 edges, 111345 markings/sec, 770 secs
lola: 125944295 markings, 610710075 edges, 87329 markings/sec, 775 secs
lola: 126385868 markings, 613205412 edges, 88315 markings/sec, 780 secs
lola: 126756838 markings, 615276627 edges, 74194 markings/sec, 785 secs
lola: 127219432 markings, 617644965 edges, 92519 markings/sec, 790 secs
lola: 127706520 markings, 620381838 edges, 97418 markings/sec, 795 secs
lola: 128097932 markings, 622601718 edges, 78282 markings/sec, 800 secs
lola: 128553383 markings, 625240820 edges, 91090 markings/sec, 805 secs
lola: 129023920 markings, 627936876 edges, 94107 markings/sec, 810 secs
lola: 129518780 markings, 630496903 edges, 98972 markings/sec, 815 secs
lola: 129996800 markings, 633241464 edges, 95604 markings/sec, 820 secs
lola: 130337819 markings, 635192440 edges, 68204 markings/sec, 825 secs
lola: 130849363 markings, 638135918 edges, 102309 markings/sec, 830 secs
lola: 131343758 markings, 640787637 edges, 98879 markings/sec, 835 secs
lola: 131835784 markings, 643633664 edges, 98405 markings/sec, 840 secs
lola: 132180308 markings, 645641639 edges, 68905 markings/sec, 845 secs
lola: 132691298 markings, 648470948 edges, 102198 markings/sec, 850 secs
lola: 133195110 markings, 651425028 edges, 100762 markings/sec, 855 secs
lola: 133669321 markings, 654106248 edges, 94842 markings/sec, 860 secs
lola: 134140302 markings, 656877616 edges, 94196 markings/sec, 865 secs
lola: 134731697 markings, 660379225 edges, 118279 markings/sec, 870 secs
lola: 135237182 markings, 662257493 edges, 101097 markings/sec, 875 secs
lola: 135620755 markings, 663569415 edges, 76715 markings/sec, 880 secs
lola: 136088347 markings, 665179798 edges, 93518 markings/sec, 885 secs
lola: 136482541 markings, 666544200 edges, 78839 markings/sec, 890 secs
lola: 136964720 markings, 668323414 edges, 96436 markings/sec, 895 secs
lola: 137442172 markings, 670048878 edges, 95490 markings/sec, 900 secs
lola: 137935568 markings, 671911230 edges, 98679 markings/sec, 905 secs
lola: 138341521 markings, 673373997 edges, 81191 markings/sec, 910 secs
lola: 138786969 markings, 675071199 edges, 89090 markings/sec, 915 secs
lola: 139256763 markings, 676793975 edges, 93959 markings/sec, 920 secs
lola: 139556047 markings, 677929987 edges, 59857 markings/sec, 925 secs
lola: 139556083 markings, 677930151 edges, 7 markings/sec, 930 secs
lola: 139563620 markings, 677954338 edges, 1507 markings/sec, 935 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown no no yes no no yes no yes no yes no no no no
lola:
preliminary result: unknown no no yes no no yes no yes no yes no no no no
lola: memory consumption: 3412 KB
lola: time consumption: 1661 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N0010P2"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is ClientsAndServers-PT-N0010P2, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806300162"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0010P2.tgz
mv ClientsAndServers-PT-N0010P2 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;