About the Execution of ITS-LoLa for FamilyReunion-COL-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.700 | 3600000.00 | 3710598.00 | 6689.70 | ? ? ? ? ? ? 6 ? ? ? ? ? ? ? ? ? | 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.r170-smll-158987815400141.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 FamilyReunion-COL-L00100M0010C005P005G002, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815400141
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.9K Apr 1 20:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 1 20:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 1 14:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 1 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 1 11:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 1 10:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 1 06:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 1 06:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 1 13:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 1 13:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 140K 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 positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-00
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-01
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-02
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-03
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-04
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-05
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-07
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-08
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-09
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-10
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-11
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-12
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-13
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-14
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1591195168361
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 14:39:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 14:39:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 14:39:31] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-06-03 14:39:32] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1361 ms
[2020-06-03 14:39:32] [INFO ] sort/places :
Response->r0,
LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
CINFORMI->c2,c4,c7,c0,c1,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxC->c3,cl2,c5,c6,cl0,cl1,
LxR->gl1,l37,l39,l40,
GovernmentCommission->g0,g2,g4,
PublicAdminOffice->p0,p7,p8,p10,p11,
MICSystem->m0,m8,m11,
LxG->g1,gl0,g3,
[2020-06-03 14:39:33] [INFO ] Detected 5 constant HL places corresponding to 31 PT places.
[2020-06-03 14:39:33] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 40706 PT places and 36972.0 transition bindings in 66 ms.
[2020-06-03 14:39:33] [INFO ] Computed order based on color domains.
[2020-06-03 14:39:33] [INFO ] Unfolded HLPN to a Petri net with 40706 places and 36871 transitions in 382 ms.
[2020-06-03 14:39:33] [INFO ] Unfolded HLPN properties in 2 ms.
Deduced a syphon composed of 101 places in 340 ms
Reduce places removed 132 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 1149 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 15 ms. (steps per millisecond=0 )
[2020-06-03 14:39:37] [INFO ] Flatten gal took : 2306 ms
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06 6 TECHNIQUES TOPOLOGICAL INITIAL_STATE
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 10 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 36871 rows 40574 cols
[2020-06-03 14:40:00] [INFO ] Computed 8805 place invariants in 23408 ms
Support contains 6464 out of 40574 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 40574/40574 places, 36871/36871 transitions.
Discarding 650 places :
Also discarding 309 output transitions
Drop transitions removed 309 transitions
Graph (complete) has 65258 edges and 40574 vertex of which 39924 are kept as prefixes of interest. Removing 650 places using SCC suffix rule.175 ms
Discarding 6666 places :
Implicit places reduction removed 6666 places
Performed 13534 Post agglomeration using F-continuation condition.Transition count delta: 13534
Iterating post reduction 0 with 20200 rules applied. Total rules applied 20201 place count 33258 transition count 23028
Reduce places removed 13534 places and 0 transitions.
Iterating post reduction 1 with 13534 rules applied. Total rules applied 33735 place count 19724 transition count 23028
Performed 1616 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1616 Pre rules applied. Total rules applied 33735 place count 19724 transition count 21412
Deduced a syphon composed of 1616 places in 27 ms
Ensure Unique test removed 808 places
Reduce places removed 2424 places and 0 transitions.
Iterating global reduction 2 with 4040 rules applied. Total rules applied 37775 place count 17300 transition count 21412
Discarding 101 places :
Implicit places reduction removed 101 places
Performed 606 Post agglomeration using F-continuation condition.Transition count delta: 606
Iterating post reduction 2 with 707 rules applied. Total rules applied 38482 place count 17199 transition count 20806
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 3 with 606 rules applied. Total rules applied 39088 place count 16593 transition count 20806
Symmetric choice reduction at 4 with 3030 rule applications. Total rules 42118 place count 16593 transition count 20806
Deduced a syphon composed of 3030 places in 19 ms
Reduce places removed 3030 places and 3232 transitions.
Iterating global reduction 4 with 6060 rules applied. Total rules applied 48178 place count 13563 transition count 17574
Ensure Unique test removed 101 transitions
Reduce isomorphic transitions removed 101 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 4 with 202 rules applied. Total rules applied 48380 place count 13563 transition count 17372
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 5 with 101 rules applied. Total rules applied 48481 place count 13462 transition count 17372
Performed 404 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 404 Pre rules applied. Total rules applied 48481 place count 13462 transition count 16968
Deduced a syphon composed of 404 places in 19 ms
Reduce places removed 404 places and 0 transitions.
Iterating global reduction 6 with 808 rules applied. Total rules applied 49289 place count 13058 transition count 16968
Symmetric choice reduction at 6 with 7 rule applications. Total rules 49296 place count 13058 transition count 16968
Deduced a syphon composed of 7 places in 13 ms
Reduce places removed 7 places and 707 transitions.
Iterating global reduction 6 with 14 rules applied. Total rules applied 49310 place count 13051 transition count 16261
Ensure Unique test removed 505 transitions
Reduce isomorphic transitions removed 505 transitions.
Discarding 202 places :
Implicit places reduction removed 202 places
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 6 with 808 rules applied. Total rules applied 50118 place count 12849 transition count 15655
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 7 with 101 rules applied. Total rules applied 50219 place count 12748 transition count 15655
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 101 Pre rules applied. Total rules applied 50219 place count 12748 transition count 15554
Deduced a syphon composed of 101 places in 10 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 50421 place count 12647 transition count 15554
Symmetric choice reduction at 8 with 2 rule applications. Total rules 50423 place count 12647 transition count 15554
Deduced a syphon composed of 2 places in 14 ms
Reduce places removed 2 places and 202 transitions.
Iterating global reduction 8 with 4 rules applied. Total rules applied 50427 place count 12645 transition count 15352
Performed 303 Post agglomeration using F-continuation condition.Transition count delta: 303
Deduced a syphon composed of 303 places in 7 ms
Reduce places removed 303 places and 0 transitions.
Iterating global reduction 8 with 606 rules applied. Total rules applied 51033 place count 12342 transition count 15049
Free-agglomeration rule (complex) applied 2424 times.
Iterating global reduction 8 with 2424 rules applied. Total rules applied 53457 place count 12342 transition count 12625
Ensure Unique test removed 101 places
Reduce places removed 2525 places and 0 transitions.
Iterating post reduction 8 with 2525 rules applied. Total rules applied 55982 place count 9817 transition count 12625
Applied a total of 55982 rules in 29722 ms. Remains 9817 /40574 variables (removed 30757) and now considering 12625/36871 (removed 24246) transitions.
Finished structural reductions, in 1 iterations. Remains : 9817/40574 places, 12625/36871 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12625 rows 9817 cols
[2020-06-03 14:40:31] [INFO ] Computed 712 place invariants in 704 ms
Support contains 6464 out of 9817 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9817/9817 places, 12625/12625 transitions.
Applied a total of 0 rules in 387 ms. Remains 9817 /9817 variables (removed 0) and now considering 12625/12625 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9817/9817 places, 12625/12625 transitions.
Starting structural reductions, iteration 0 : 9817/9817 places, 12625/12625 transitions.
Applied a total of 0 rules in 380 ms. Remains 9817 /9817 variables (removed 0) and now considering 12625/12625 (removed 0) transitions.
// Phase 1: matrix 12625 rows 9817 cols
[2020-06-03 14:40:32] [INFO ] Computed 712 place invariants in 691 ms
[2020-06-03 14:40:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:41:04] [INFO ] Performed 3202/9817 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 14:41:26] [INFO ] Implicit Places using invariants in 53993 ms returned [1593, 8784]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 54004 ms to find 2 implicit places.
// Phase 1: matrix 12625 rows 9815 cols
[2020-06-03 14:41:27] [INFO ] Computed 710 place invariants in 749 ms
[2020-06-03 14:41:28] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:41:58] [INFO ] Performed 1594/12625 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:42:27] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (>= s3707 1)") after 60765 ms
Starting structural reductions, iteration 1 : 9815/9817 places, 12625/12625 transitions.
Applied a total of 0 rules in 464 ms. Remains 9815 /9815 variables (removed 0) and now considering 12625/12625 (removed 0) transitions.
// Phase 1: matrix 12625 rows 9815 cols
[2020-06-03 14:42:28] [INFO ] Computed 710 place invariants in 781 ms
[2020-06-03 14:42:29] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:42:59] [INFO ] Performed 1600/12625 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:43:28] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3810 1)") after 60795 ms
Finished structural reductions, in 2 iterations. Remains : 9815/9817 places, 12625/12625 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12625 rows 9815 cols
[2020-06-03 14:43:28] [INFO ] Computed 710 place invariants in 677 ms
Support contains 6464 out of 9815 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9815/9815 places, 12625/12625 transitions.
Applied a total of 0 rules in 326 ms. Remains 9815 /9815 variables (removed 0) and now considering 12625/12625 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9815/9815 places, 12625/12625 transitions.
Starting structural reductions, iteration 0 : 9815/9815 places, 12625/12625 transitions.
Applied a total of 0 rules in 384 ms. Remains 9815 /9815 variables (removed 0) and now considering 12625/12625 (removed 0) transitions.
// Phase 1: matrix 12625 rows 9815 cols
[2020-06-03 14:43:30] [INFO ] Computed 710 place invariants in 678 ms
[2020-06-03 14:43:31] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:44:01] [INFO ] Performed 3993/9815 implicitness test of which 2 returned IMPLICIT in 30 seconds.
[2020-06-03 14:44:17] [INFO ] Implicit Places using invariants in 48139 ms returned [251, 3311, 7740, 8726, 8737]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 48146 ms to find 5 implicit places.
// Phase 1: matrix 12625 rows 9810 cols
[2020-06-03 14:44:18] [INFO ] Computed 705 place invariants in 872 ms
[2020-06-03 14:44:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:44:50] [INFO ] Performed 1612/12625 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:45:18] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3778 1)") after 60884 ms
Starting structural reductions, iteration 1 : 9810/9815 places, 12625/12625 transitions.
Applied a total of 0 rules in 325 ms. Remains 9810 /9810 variables (removed 0) and now considering 12625/12625 (removed 0) transitions.
// Phase 1: matrix 12625 rows 9810 cols
[2020-06-03 14:45:19] [INFO ] Computed 705 place invariants in 672 ms
[2020-06-03 14:45:21] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:45:51] [INFO ] Performed 1557/12625 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:46:19] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3898 1)") after 60694 ms
Finished structural reductions, in 2 iterations. Remains : 9810/9815 places, 12625/12625 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12625 rows 9810 cols
[2020-06-03 14:46:20] [INFO ] Computed 705 place invariants in 689 ms
Support contains 6464 out of 9810 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9810/9810 places, 12625/12625 transitions.
Applied a total of 0 rules in 311 ms. Remains 9810 /9810 variables (removed 0) and now considering 12625/12625 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9810/9810 places, 12625/12625 transitions.
Starting structural reductions, iteration 0 : 9810/9810 places, 12625/12625 transitions.
Applied a total of 0 rules in 325 ms. Remains 9810 /9810 variables (removed 0) and now considering 12625/12625 (removed 0) transitions.
// Phase 1: matrix 12625 rows 9810 cols
[2020-06-03 14:46:21] [INFO ] Computed 705 place invariants in 690 ms
[2020-06-03 14:46:23] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:46:53] [INFO ] Performed 3268/9810 implicitness test of which 2 returned IMPLICIT in 30 seconds.
[2020-06-03 14:47:11] [INFO ] Implicit Places using invariants in 50459 ms returned [228, 3242, 3283, 7977, 8793]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 50467 ms to find 5 implicit places.
// Phase 1: matrix 12625 rows 9805 cols
[2020-06-03 14:47:12] [INFO ] Computed 700 place invariants in 761 ms
[2020-06-03 14:47:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:47:43] [INFO ] Performed 1646/12625 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:48:12] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3428 1)") after 60772 ms
Starting structural reductions, iteration 1 : 9805/9810 places, 12625/12625 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 22 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9804 transition count 12624
Applied a total of 2 rules in 737 ms. Remains 9804 /9805 variables (removed 1) and now considering 12624/12625 (removed 1) transitions.
// Phase 1: matrix 12624 rows 9804 cols
[2020-06-03 14:48:14] [INFO ] Computed 700 place invariants in 904 ms
[2020-06-03 14:48:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:48:45] [INFO ] Performed 3320/9804 implicitness test of which 2 returned IMPLICIT in 30 seconds.
[2020-06-03 14:49:01] [INFO ] Implicit Places using invariants in 48095 ms returned [205, 1557, 7783, 8703, 8762]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 48102 ms to find 5 implicit places.
Starting structural reductions, iteration 2 : 9799/9810 places, 12624/12625 transitions.
Applied a total of 0 rules in 318 ms. Remains 9799 /9799 variables (removed 0) and now considering 12624/12624 (removed 0) transitions.
// Phase 1: matrix 12624 rows 9799 cols
[2020-06-03 14:49:02] [INFO ] Computed 695 place invariants in 696 ms
[2020-06-03 14:49:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:49:33] [INFO ] Performed 1561/12624 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:50:02] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3923 1)") after 60708 ms
Finished structural reductions, in 3 iterations. Remains : 9799/9810 places, 12624/12625 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12624 rows 9799 cols
[2020-06-03 14:50:03] [INFO ] Computed 695 place invariants in 872 ms
Support contains 6464 out of 9799 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9799/9799 places, 12624/12624 transitions.
Applied a total of 0 rules in 473 ms. Remains 9799 /9799 variables (removed 0) and now considering 12624/12624 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9799/9799 places, 12624/12624 transitions.
Starting structural reductions, iteration 0 : 9799/9799 places, 12624/12624 transitions.
Applied a total of 0 rules in 535 ms. Remains 9799 /9799 variables (removed 0) and now considering 12624/12624 (removed 0) transitions.
// Phase 1: matrix 12624 rows 9799 cols
[2020-06-03 14:50:05] [INFO ] Computed 695 place invariants in 896 ms
[2020-06-03 14:50:07] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:50:37] [INFO ] Performed 3946/9799 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 14:50:52] [INFO ] Implicit Places using invariants in 48623 ms returned [256, 7780, 7905, 8756, 8760]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 48635 ms to find 5 implicit places.
// Phase 1: matrix 12624 rows 9794 cols
[2020-06-03 14:50:53] [INFO ] Computed 690 place invariants in 1028 ms
[2020-06-03 14:50:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:51:25] [INFO ] Performed 1584/12624 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:51:53] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3466 1)") after 61041 ms
Starting structural reductions, iteration 1 : 9794/9799 places, 12624/12624 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9793 transition count 12623
Applied a total of 2 rules in 696 ms. Remains 9793 /9794 variables (removed 1) and now considering 12623/12624 (removed 1) transitions.
// Phase 1: matrix 12623 rows 9793 cols
[2020-06-03 14:51:55] [INFO ] Computed 690 place invariants in 737 ms
[2020-06-03 14:51:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:52:26] [INFO ] Performed 3307/9793 implicitness test of which 3 returned IMPLICIT in 30 seconds.
[2020-06-03 14:52:43] [INFO ] Implicit Places using invariants in 49207 ms returned [204, 229, 3261, 8698, 8781]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 49214 ms to find 5 implicit places.
Starting structural reductions, iteration 2 : 9788/9799 places, 12623/12624 transitions.
Applied a total of 0 rules in 319 ms. Remains 9788 /9788 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9788 cols
[2020-06-03 14:52:44] [INFO ] Computed 685 place invariants in 854 ms
[2020-06-03 14:52:46] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:53:16] [INFO ] Performed 1542/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:53:44] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3889 1)") after 60864 ms
Finished structural reductions, in 3 iterations. Remains : 9788/9799 places, 12623/12624 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12623 rows 9788 cols
[2020-06-03 14:53:45] [INFO ] Computed 685 place invariants in 869 ms
Support contains 6464 out of 9788 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9788/9788 places, 12623/12623 transitions.
Applied a total of 0 rules in 328 ms. Remains 9788 /9788 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9788/9788 places, 12623/12623 transitions.
Starting structural reductions, iteration 0 : 9788/9788 places, 12623/12623 transitions.
Applied a total of 0 rules in 320 ms. Remains 9788 /9788 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9788 cols
[2020-06-03 14:53:47] [INFO ] Computed 685 place invariants in 679 ms
[2020-06-03 14:53:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:54:18] [INFO ] Performed 3268/9788 implicitness test of which 2 returned IMPLICIT in 30 seconds.
[2020-06-03 14:54:37] [INFO ] Implicit Places using invariants in 50599 ms returned [263, 3239, 3280, 7691, 7732]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 50606 ms to find 5 implicit places.
// Phase 1: matrix 12623 rows 9783 cols
[2020-06-03 14:54:37] [INFO ] Computed 680 place invariants in 717 ms
[2020-06-03 14:54:39] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:55:09] [INFO ] Performed 1605/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:55:37] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3827 1)") after 60727 ms
Starting structural reductions, iteration 1 : 9783/9788 places, 12623/12623 transitions.
Applied a total of 0 rules in 313 ms. Remains 9783 /9783 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9783 cols
[2020-06-03 14:55:38] [INFO ] Computed 680 place invariants in 698 ms
[2020-06-03 14:55:40] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:56:10] [INFO ] Performed 1621/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:56:38] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3437 1)") after 60707 ms
Finished structural reductions, in 2 iterations. Remains : 9783/9788 places, 12623/12623 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12623 rows 9783 cols
[2020-06-03 14:56:39] [INFO ] Computed 680 place invariants in 676 ms
Support contains 6464 out of 9783 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9783/9783 places, 12623/12623 transitions.
Applied a total of 0 rules in 334 ms. Remains 9783 /9783 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9783/9783 places, 12623/12623 transitions.
Starting structural reductions, iteration 0 : 9783/9783 places, 12623/12623 transitions.
Applied a total of 0 rules in 330 ms. Remains 9783 /9783 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9783 cols
[2020-06-03 14:56:41] [INFO ] Computed 680 place invariants in 855 ms
[2020-06-03 14:56:43] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:57:13] [INFO ] Performed 4003/9783 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 14:57:27] [INFO ] Implicit Places using invariants in 47182 ms returned [1581]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 47189 ms to find 1 implicit places.
// Phase 1: matrix 12623 rows 9782 cols
[2020-06-03 14:57:28] [INFO ] Computed 679 place invariants in 687 ms
[2020-06-03 14:57:29] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:57:59] [INFO ] Performed 1548/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:58:28] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3519 1)") after 60697 ms
Starting structural reductions, iteration 1 : 9782/9783 places, 12623/12623 transitions.
Applied a total of 0 rules in 316 ms. Remains 9782 /9782 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9782 cols
[2020-06-03 14:58:29] [INFO ] Computed 679 place invariants in 851 ms
[2020-06-03 14:58:30] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 14:59:00] [INFO ] Performed 1665/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 14:59:29] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (>= s3898 1)") after 60861 ms
Finished structural reductions, in 2 iterations. Remains : 9782/9783 places, 12623/12623 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12623 rows 9782 cols
[2020-06-03 14:59:30] [INFO ] Computed 679 place invariants in 888 ms
Support contains 6464 out of 9782 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9782/9782 places, 12623/12623 transitions.
Applied a total of 0 rules in 341 ms. Remains 9782 /9782 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9782/9782 places, 12623/12623 transitions.
Starting structural reductions, iteration 0 : 9782/9782 places, 12623/12623 transitions.
Applied a total of 0 rules in 347 ms. Remains 9782 /9782 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9782 cols
[2020-06-03 14:59:31] [INFO ] Computed 679 place invariants in 679 ms
[2020-06-03 14:59:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:00:03] [INFO ] Performed 3935/9782 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:00:18] [INFO ] Implicit Places using invariants in 48021 ms returned [7705, 8684]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 48028 ms to find 2 implicit places.
// Phase 1: matrix 12623 rows 9780 cols
[2020-06-03 15:00:19] [INFO ] Computed 677 place invariants in 724 ms
[2020-06-03 15:00:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:00:51] [INFO ] Performed 1621/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:01:19] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3838 1)") after 60735 ms
Starting structural reductions, iteration 1 : 9780/9782 places, 12623/12623 transitions.
Applied a total of 0 rules in 309 ms. Remains 9780 /9780 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9780 cols
[2020-06-03 15:01:20] [INFO ] Computed 677 place invariants in 883 ms
[2020-06-03 15:01:22] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:01:52] [INFO ] Performed 1614/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:02:20] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3406 1)") after 60894 ms
Finished structural reductions, in 2 iterations. Remains : 9780/9782 places, 12623/12623 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12623 rows 9780 cols
[2020-06-03 15:02:21] [INFO ] Computed 677 place invariants in 866 ms
Support contains 6464 out of 9780 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9780/9780 places, 12623/12623 transitions.
Applied a total of 0 rules in 324 ms. Remains 9780 /9780 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9780/9780 places, 12623/12623 transitions.
Starting structural reductions, iteration 0 : 9780/9780 places, 12623/12623 transitions.
Applied a total of 0 rules in 459 ms. Remains 9780 /9780 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9780 cols
[2020-06-03 15:02:23] [INFO ] Computed 677 place invariants in 723 ms
[2020-06-03 15:02:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:02:55] [INFO ] Performed 3289/9780 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:03:11] [INFO ] Implicit Places using invariants in 48846 ms returned [7745]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 48854 ms to find 1 implicit places.
// Phase 1: matrix 12623 rows 9779 cols
[2020-06-03 15:03:12] [INFO ] Computed 676 place invariants in 677 ms
[2020-06-03 15:03:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:03:43] [INFO ] Performed 1587/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:04:12] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3621 1)") after 60687 ms
Starting structural reductions, iteration 1 : 9779/9780 places, 12623/12623 transitions.
Applied a total of 0 rules in 308 ms. Remains 9779 /9779 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9779 cols
[2020-06-03 15:04:13] [INFO ] Computed 676 place invariants in 685 ms
[2020-06-03 15:04:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:04:44] [INFO ] Performed 1588/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:05:13] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3412 1)") after 60705 ms
Finished structural reductions, in 2 iterations. Remains : 9779/9780 places, 12623/12623 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12623 rows 9779 cols
[2020-06-03 15:05:13] [INFO ] Computed 676 place invariants in 696 ms
Support contains 6464 out of 9779 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9779/9779 places, 12623/12623 transitions.
Applied a total of 0 rules in 324 ms. Remains 9779 /9779 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9779/9779 places, 12623/12623 transitions.
Starting structural reductions, iteration 0 : 9779/9779 places, 12623/12623 transitions.
Applied a total of 0 rules in 527 ms. Remains 9779 /9779 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9779 cols
[2020-06-03 15:05:15] [INFO ] Computed 676 place invariants in 670 ms
[2020-06-03 15:05:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:05:46] [INFO ] Performed 3300/9779 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:06:03] [INFO ] Implicit Places using invariants in 48769 ms returned [8714]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 48776 ms to find 1 implicit places.
// Phase 1: matrix 12623 rows 9778 cols
[2020-06-03 15:06:04] [INFO ] Computed 675 place invariants in 679 ms
[2020-06-03 15:06:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:06:36] [INFO ] Performed 1588/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:07:04] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3394 1)") after 60691 ms
Starting structural reductions, iteration 1 : 9778/9779 places, 12623/12623 transitions.
Applied a total of 0 rules in 316 ms. Remains 9778 /9778 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9778 cols
[2020-06-03 15:07:05] [INFO ] Computed 675 place invariants in 708 ms
[2020-06-03 15:07:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:07:36] [INFO ] Performed 1580/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:08:05] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3861 1)") after 60717 ms
Finished structural reductions, in 2 iterations. Remains : 9778/9779 places, 12623/12623 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12623 rows 9778 cols
[2020-06-03 15:08:05] [INFO ] Computed 675 place invariants in 701 ms
Support contains 6464 out of 9778 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9778/9778 places, 12623/12623 transitions.
Applied a total of 0 rules in 323 ms. Remains 9778 /9778 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9778/9778 places, 12623/12623 transitions.
Starting structural reductions, iteration 0 : 9778/9778 places, 12623/12623 transitions.
Applied a total of 0 rules in 323 ms. Remains 9778 /9778 variables (removed 0) and now considering 12623/12623 (removed 0) transitions.
// Phase 1: matrix 12623 rows 9778 cols
[2020-06-03 15:08:07] [INFO ] Computed 675 place invariants in 678 ms
[2020-06-03 15:08:08] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:08:38] [INFO ] Performed 3955/9778 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:08:54] [INFO ] Implicit Places using invariants in 47642 ms returned [7938]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 47648 ms to find 1 implicit places.
// Phase 1: matrix 12623 rows 9777 cols
[2020-06-03 15:08:55] [INFO ] Computed 674 place invariants in 830 ms
[2020-06-03 15:08:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:09:26] [INFO ] Performed 1569/12623 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:09:55] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3699 1)") after 60845 ms
Starting structural reductions, iteration 1 : 9777/9778 places, 12623/12623 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9776 transition count 12622
Applied a total of 2 rules in 587 ms. Remains 9776 /9777 variables (removed 1) and now considering 12622/12623 (removed 1) transitions.
// Phase 1: matrix 12622 rows 9776 cols
[2020-06-03 15:09:56] [INFO ] Computed 674 place invariants in 690 ms
[2020-06-03 15:09:58] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:10:28] [INFO ] Performed 3978/9776 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:10:42] [INFO ] Implicit Places using invariants in 46997 ms returned [7935, 7969]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 47004 ms to find 2 implicit places.
Starting structural reductions, iteration 2 : 9774/9778 places, 12622/12623 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 18 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 9772 transition count 12620
Applied a total of 4 rules in 979 ms. Remains 9772 /9774 variables (removed 2) and now considering 12620/12622 (removed 2) transitions.
// Phase 1: matrix 12620 rows 9772 cols
[2020-06-03 15:10:44] [INFO ] Computed 672 place invariants in 875 ms
[2020-06-03 15:10:46] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:11:16] [INFO ] Performed 3312/9772 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:11:30] [INFO ] Implicit Places using invariants in 46821 ms returned [7958]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 46831 ms to find 1 implicit places.
Starting structural reductions, iteration 3 : 9771/9778 places, 12620/12623 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9770 transition count 12619
Applied a total of 2 rules in 587 ms. Remains 9770 /9771 variables (removed 1) and now considering 12619/12620 (removed 1) transitions.
// Phase 1: matrix 12619 rows 9770 cols
[2020-06-03 15:11:31] [INFO ] Computed 671 place invariants in 706 ms
[2020-06-03 15:11:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:12:03] [INFO ] Performed 5191/9770 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 15:12:14] [INFO ] Implicit Places using invariants in 43689 ms returned [205]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 43696 ms to find 1 implicit places.
Starting structural reductions, iteration 4 : 9769/9778 places, 12619/12623 transitions.
Applied a total of 0 rules in 322 ms. Remains 9769 /9769 variables (removed 0) and now considering 12619/12619 (removed 0) transitions.
// Phase 1: matrix 12619 rows 9769 cols
[2020-06-03 15:12:15] [INFO ] Computed 670 place invariants in 695 ms
[2020-06-03 15:12:17] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:12:47] [INFO ] Performed 1714/12619 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:13:15] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s4153 1)") after 60712 ms
Finished structural reductions, in 5 iterations. Remains : 9769/9778 places, 12619/12623 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12619 rows 9769 cols
[2020-06-03 15:13:16] [INFO ] Computed 670 place invariants in 708 ms
Support contains 6464 out of 9769 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9769/9769 places, 12619/12619 transitions.
Applied a total of 0 rules in 329 ms. Remains 9769 /9769 variables (removed 0) and now considering 12619/12619 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9769/9769 places, 12619/12619 transitions.
Starting structural reductions, iteration 0 : 9769/9769 places, 12619/12619 transitions.
Applied a total of 0 rules in 520 ms. Remains 9769 /9769 variables (removed 0) and now considering 12619/12619 (removed 0) transitions.
// Phase 1: matrix 12619 rows 9769 cols
[2020-06-03 15:13:18] [INFO ] Computed 670 place invariants in 819 ms
[2020-06-03 15:13:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:13:50] [INFO ] Performed 4029/9769 implicitness test of which 2 returned IMPLICIT in 30 seconds.
[2020-06-03 15:14:02] [INFO ] Implicit Places using invariants in 44849 ms returned [287, 1563, 7693, 7935, 7952]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 44857 ms to find 5 implicit places.
// Phase 1: matrix 12619 rows 9764 cols
[2020-06-03 15:14:02] [INFO ] Computed 665 place invariants in 719 ms
[2020-06-03 15:14:04] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:14:34] [INFO ] Performed 1663/12619 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:15:03] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s4358 1)") after 60736 ms
Starting structural reductions, iteration 1 : 9764/9769 places, 12619/12619 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 9762 transition count 12617
Applied a total of 4 rules in 621 ms. Remains 9762 /9764 variables (removed 2) and now considering 12617/12619 (removed 2) transitions.
// Phase 1: matrix 12617 rows 9762 cols
[2020-06-03 15:15:04] [INFO ] Computed 665 place invariants in 718 ms
[2020-06-03 15:15:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:15:35] [INFO ] Performed 3981/9762 implicitness test of which 3 returned IMPLICIT in 30 seconds.
[2020-06-03 15:15:48] [INFO ] Implicit Places using invariants in 45296 ms returned [233, 1524, 3286, 7870, 7938]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 45304 ms to find 5 implicit places.
Starting structural reductions, iteration 2 : 9757/9769 places, 12617/12619 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 10 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 9755 transition count 12615
Applied a total of 4 rules in 788 ms. Remains 9755 /9757 variables (removed 2) and now considering 12615/12617 (removed 2) transitions.
// Phase 1: matrix 12615 rows 9755 cols
[2020-06-03 15:15:50] [INFO ] Computed 660 place invariants in 745 ms
[2020-06-03 15:15:52] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:16:22] [INFO ] Performed 3979/9755 implicitness test of which 3 returned IMPLICIT in 30 seconds.
[2020-06-03 15:16:36] [INFO ] Implicit Places using invariants in 46427 ms returned [254, 1589, 3305, 7675, 7930]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 46435 ms to find 5 implicit places.
Starting structural reductions, iteration 3 : 9750/9769 places, 12615/12619 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9749 transition count 12614
Applied a total of 2 rules in 624 ms. Remains 9749 /9750 variables (removed 1) and now considering 12614/12615 (removed 1) transitions.
// Phase 1: matrix 12614 rows 9749 cols
[2020-06-03 15:16:37] [INFO ] Computed 655 place invariants in 1173 ms
[2020-06-03 15:16:39] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:17:10] [INFO ] Performed 3992/9749 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 15:17:24] [INFO ] Implicit Places using invariants in 47656 ms returned [226, 7890, 7912, 8684]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 47663 ms to find 4 implicit places.
Starting structural reductions, iteration 4 : 9745/9769 places, 12614/12619 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 9743 transition count 12612
Applied a total of 4 rules in 761 ms. Remains 9743 /9745 variables (removed 2) and now considering 12612/12614 (removed 2) transitions.
// Phase 1: matrix 12612 rows 9743 cols
[2020-06-03 15:17:26] [INFO ] Computed 651 place invariants in 863 ms
[2020-06-03 15:17:27] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:17:58] [INFO ] Performed 3973/9743 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 15:18:12] [INFO ] Implicit Places using invariants in 47376 ms returned [3229, 7688, 7902, 7919, 8707]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 47383 ms to find 5 implicit places.
Starting structural reductions, iteration 5 : 9738/9769 places, 12612/12619 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 9736 transition count 12610
Applied a total of 4 rules in 557 ms. Remains 9736 /9738 variables (removed 2) and now considering 12610/12612 (removed 2) transitions.
// Phase 1: matrix 12610 rows 9736 cols
[2020-06-03 15:18:13] [INFO ] Computed 646 place invariants in 700 ms
[2020-06-03 15:18:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:18:45] [INFO ] Performed 3965/9736 implicitness test of which 3 returned IMPLICIT in 30 seconds.
[2020-06-03 15:19:01] [INFO ] Implicit Places using invariants in 47907 ms returned [228, 282, 1553, 7696, 7756]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 47915 ms to find 5 implicit places.
Starting structural reductions, iteration 6 : 9731/9769 places, 12610/12619 transitions.
Applied a total of 0 rules in 378 ms. Remains 9731 /9731 variables (removed 0) and now considering 12610/12610 (removed 0) transitions.
// Phase 1: matrix 12610 rows 9731 cols
[2020-06-03 15:19:02] [INFO ] Computed 641 place invariants in 715 ms
[2020-06-03 15:19:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:19:33] [INFO ] Performed 1618/12610 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:20:02] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3895 1)") after 60729 ms
Finished structural reductions, in 7 iterations. Remains : 9731/9769 places, 12610/12619 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12610 rows 9731 cols
[2020-06-03 15:20:03] [INFO ] Computed 641 place invariants in 857 ms
Support contains 6464 out of 9731 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9731/9731 places, 12610/12610 transitions.
Applied a total of 0 rules in 320 ms. Remains 9731 /9731 variables (removed 0) and now considering 12610/12610 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9731/9731 places, 12610/12610 transitions.
Starting structural reductions, iteration 0 : 9731/9731 places, 12610/12610 transitions.
Applied a total of 0 rules in 336 ms. Remains 9731 /9731 variables (removed 0) and now considering 12610/12610 (removed 0) transitions.
// Phase 1: matrix 12610 rows 9731 cols
[2020-06-03 15:20:04] [INFO ] Computed 641 place invariants in 848 ms
[2020-06-03 15:20:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:20:36] [INFO ] Performed 3932/9731 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:20:50] [INFO ] Implicit Places using invariants in 46913 ms returned [7701, 7721, 8665, 8682, 8706]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 46920 ms to find 5 implicit places.
// Phase 1: matrix 12610 rows 9726 cols
[2020-06-03 15:20:51] [INFO ] Computed 636 place invariants in 759 ms
[2020-06-03 15:20:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:21:23] [INFO ] Performed 1629/12610 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:21:51] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3848 1)") after 60772 ms
Starting structural reductions, iteration 1 : 9726/9731 places, 12610/12610 transitions.
Applied a total of 0 rules in 304 ms. Remains 9726 /9726 variables (removed 0) and now considering 12610/12610 (removed 0) transitions.
// Phase 1: matrix 12610 rows 9726 cols
[2020-06-03 15:21:52] [INFO ] Computed 636 place invariants in 728 ms
[2020-06-03 15:21:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:22:24] [INFO ] Performed 1597/12610 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:22:52] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3379 1)") after 60741 ms
Finished structural reductions, in 2 iterations. Remains : 9726/9731 places, 12610/12610 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12610 rows 9726 cols
[2020-06-03 15:22:53] [INFO ] Computed 636 place invariants in 957 ms
Support contains 6464 out of 9726 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9726/9726 places, 12610/12610 transitions.
Applied a total of 0 rules in 314 ms. Remains 9726 /9726 variables (removed 0) and now considering 12610/12610 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9726/9726 places, 12610/12610 transitions.
Starting structural reductions, iteration 0 : 9726/9726 places, 12610/12610 transitions.
Applied a total of 0 rules in 316 ms. Remains 9726 /9726 variables (removed 0) and now considering 12610/12610 (removed 0) transitions.
// Phase 1: matrix 12610 rows 9726 cols
[2020-06-03 15:22:54] [INFO ] Computed 636 place invariants in 699 ms
[2020-06-03 15:22:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:23:26] [INFO ] Performed 3282/9726 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:23:41] [INFO ] Implicit Places using invariants in 46979 ms returned [7720, 7917, 8728]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 46986 ms to find 3 implicit places.
// Phase 1: matrix 12610 rows 9723 cols
[2020-06-03 15:23:41] [INFO ] Computed 633 place invariants in 752 ms
[2020-06-03 15:23:43] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:24:13] [INFO ] Performed 1627/12610 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:24:41] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3697 1)") after 60763 ms
Starting structural reductions, iteration 1 : 9723/9726 places, 12610/12610 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9722 transition count 12609
Applied a total of 2 rules in 732 ms. Remains 9722 /9723 variables (removed 1) and now considering 12609/12610 (removed 1) transitions.
// Phase 1: matrix 12609 rows 9722 cols
[2020-06-03 15:24:43] [INFO ] Computed 633 place invariants in 774 ms
[2020-06-03 15:24:44] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:25:14] [INFO ] Performed 4003/9722 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 15:25:27] [INFO ] Implicit Places using invariants in 45387 ms returned [3279, 7740, 7892]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 45394 ms to find 3 implicit places.
Starting structural reductions, iteration 2 : 9719/9726 places, 12609/12610 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9718 transition count 12608
Applied a total of 2 rules in 578 ms. Remains 9718 /9719 variables (removed 1) and now considering 12608/12609 (removed 1) transitions.
// Phase 1: matrix 12608 rows 9718 cols
[2020-06-03 15:25:29] [INFO ] Computed 630 place invariants in 735 ms
[2020-06-03 15:25:31] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:26:01] [INFO ] Performed 3976/9718 implicitness test of which 3 returned IMPLICIT in 30 seconds.
[2020-06-03 15:26:14] [INFO ] Implicit Places using invariants in 46100 ms returned [3220, 3239, 3283, 7728, 7863]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 46106 ms to find 5 implicit places.
Starting structural reductions, iteration 3 : 9713/9726 places, 12608/12610 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9712 transition count 12607
Applied a total of 2 rules in 582 ms. Remains 9712 /9713 variables (removed 1) and now considering 12607/12608 (removed 1) transitions.
// Phase 1: matrix 12607 rows 9712 cols
[2020-06-03 15:26:16] [INFO ] Computed 625 place invariants in 869 ms
[2020-06-03 15:26:18] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:26:48] [INFO ] Performed 3958/9712 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 15:27:01] [INFO ] Implicit Places using invariants in 46231 ms returned [3298, 7675, 7714]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 46238 ms to find 3 implicit places.
Starting structural reductions, iteration 4 : 9709/9726 places, 12607/12610 transitions.
Applied a total of 0 rules in 318 ms. Remains 9709 /9709 variables (removed 0) and now considering 12607/12607 (removed 0) transitions.
// Phase 1: matrix 12607 rows 9709 cols
[2020-06-03 15:27:02] [INFO ] Computed 622 place invariants in 729 ms
[2020-06-03 15:27:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:27:33] [INFO ] Performed 1620/12607 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:28:02] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3776 1)") after 60737 ms
Finished structural reductions, in 5 iterations. Remains : 9709/9726 places, 12607/12610 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12607 rows 9709 cols
[2020-06-03 15:28:03] [INFO ] Computed 622 place invariants in 699 ms
Support contains 6464 out of 9709 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9709/9709 places, 12607/12607 transitions.
Applied a total of 0 rules in 307 ms. Remains 9709 /9709 variables (removed 0) and now considering 12607/12607 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9709/9709 places, 12607/12607 transitions.
Starting structural reductions, iteration 0 : 9709/9709 places, 12607/12607 transitions.
Applied a total of 0 rules in 400 ms. Remains 9709 /9709 variables (removed 0) and now considering 12607/12607 (removed 0) transitions.
// Phase 1: matrix 12607 rows 9709 cols
[2020-06-03 15:28:04] [INFO ] Computed 622 place invariants in 784 ms
[2020-06-03 15:28:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:28:36] [INFO ] Performed 4005/9709 implicitness test of which 2 returned IMPLICIT in 30 seconds.
[2020-06-03 15:28:49] [INFO ] Implicit Places using invariants in 45960 ms returned [3220, 3242, 7664, 8681, 8715]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 45966 ms to find 5 implicit places.
// Phase 1: matrix 12607 rows 9704 cols
[2020-06-03 15:28:50] [INFO ] Computed 617 place invariants in 720 ms
[2020-06-03 15:28:52] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:29:22] [INFO ] Performed 1476/12607 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:29:50] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3646 1)") after 60730 ms
Starting structural reductions, iteration 1 : 9704/9709 places, 12607/12607 transitions.
Applied a total of 0 rules in 307 ms. Remains 9704 /9704 variables (removed 0) and now considering 12607/12607 (removed 0) transitions.
// Phase 1: matrix 12607 rows 9704 cols
[2020-06-03 15:29:51] [INFO ] Computed 617 place invariants in 783 ms
[2020-06-03 15:29:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:30:23] [INFO ] Performed 1319/12607 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:30:51] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3663 1)") after 60794 ms
Finished structural reductions, in 2 iterations. Remains : 9704/9709 places, 12607/12607 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 12607 rows 9704 cols
[2020-06-03 15:30:52] [INFO ] Computed 617 place invariants in 752 ms
Support contains 6464 out of 9704 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9704/9704 places, 12607/12607 transitions.
Applied a total of 0 rules in 314 ms. Remains 9704 /9704 variables (removed 0) and now considering 12607/12607 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9704/9704 places, 12607/12607 transitions.
Starting structural reductions, iteration 0 : 9704/9704 places, 12607/12607 transitions.
Applied a total of 0 rules in 314 ms. Remains 9704 /9704 variables (removed 0) and now considering 12607/12607 (removed 0) transitions.
// Phase 1: matrix 12607 rows 9704 cols
[2020-06-03 15:30:53] [INFO ] Computed 617 place invariants in 733 ms
[2020-06-03 15:30:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:31:25] [INFO ] Performed 3938/9704 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:31:39] [INFO ] Implicit Places using invariants in 45843 ms returned [7698, 7717, 7869, 8641]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 45849 ms to find 4 implicit places.
// Phase 1: matrix 12607 rows 9700 cols
[2020-06-03 15:31:39] [INFO ] Computed 613 place invariants in 715 ms
[2020-06-03 15:31:41] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:32:11] [INFO ] Performed 1570/12607 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2020-06-03 15:32:39] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (>= s3680 1)") after 60730 ms
Starting structural reductions, iteration 1 : 9700/9704 places, 12607/12607 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9699 transition count 12606
Applied a total of 2 rules in 601 ms. Remains 9699 /9700 variables (removed 1) and now considering 12606/12607 (removed 1) transitions.
// Phase 1: matrix 12606 rows 9699 cols
[2020-06-03 15:32:41] [INFO ] Computed 613 place invariants in 918 ms
[2020-06-03 15:32:43] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:33:13] [INFO ] Performed 3911/9699 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:33:27] [INFO ] Implicit Places using invariants in 47153 ms returned [7854, 7865, 7880, 8629]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 47160 ms to find 4 implicit places.
Starting structural reductions, iteration 2 : 9695/9704 places, 12606/12607 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 6 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 6 place count 9692 transition count 12603
Applied a total of 6 rules in 558 ms. Remains 9692 /9695 variables (removed 3) and now considering 12603/12606 (removed 3) transitions.
// Phase 1: matrix 12603 rows 9692 cols
[2020-06-03 15:33:28] [INFO ] Computed 609 place invariants in 688 ms
[2020-06-03 15:33:30] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:34:00] [INFO ] Performed 5130/9692 implicitness test of which 1 returned IMPLICIT in 30 seconds.
[2020-06-03 15:34:13] [INFO ] Implicit Places using invariants in 45107 ms returned [3231, 7735, 7905, 8624]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 45112 ms to find 4 implicit places.
Starting structural reductions, iteration 3 : 9688/9704 places, 12603/12607 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9687 transition count 12602
Applied a total of 2 rules in 555 ms. Remains 9687 /9688 variables (removed 1) and now considering 12602/12603 (removed 1) transitions.
// Phase 1: matrix 12602 rows 9687 cols
[2020-06-03 15:34:14] [INFO ] Computed 605 place invariants in 695 ms
[2020-06-03 15:34:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:34:46] [INFO ] Performed 6450/9687 implicitness test of which 3 returned IMPLICIT in 30 seconds.
[2020-06-03 15:34:55] [INFO ] Implicit Places using invariants in 41357 ms returned [3238, 3257, 3279, 7861, 8690]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 41364 ms to find 5 implicit places.
Starting structural reductions, iteration 4 : 9682/9704 places, 12602/12607 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9681 transition count 12601
Applied a total of 2 rules in 749 ms. Remains 9681 /9682 variables (removed 1) and now considering 12601/12602 (removed 1) transitions.
// Phase 1: matrix 12601 rows 9681 cols
[2020-06-03 15:34:56] [INFO ] Computed 600 place invariants in 712 ms
[2020-06-03 15:34:58] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:35:28] [INFO ] Performed 5215/9681 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:35:38] [INFO ] Implicit Places using invariants in 42397 ms returned [7673, 7692, 7729, 7864, 8673]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 42403 ms to find 5 implicit places.
Starting structural reductions, iteration 5 : 9676/9704 places, 12601/12607 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9675 transition count 12600
Applied a total of 2 rules in 546 ms. Remains 9675 /9676 variables (removed 1) and now considering 12600/12601 (removed 1) transitions.
// Phase 1: matrix 12600 rows 9675 cols
[2020-06-03 15:35:39] [INFO ] Computed 595 place invariants in 714 ms
[2020-06-03 15:35:41] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:36:11] [INFO ] Performed 5162/9675 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:36:22] [INFO ] Implicit Places using invariants in 43295 ms returned [7857, 7866, 8619, 8629, 8640]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 43302 ms to find 5 implicit places.
Starting structural reductions, iteration 6 : 9670/9704 places, 12600/12607 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 9668 transition count 12598
Applied a total of 4 rules in 547 ms. Remains 9668 /9670 variables (removed 2) and now considering 12598/12600 (removed 2) transitions.
// Phase 1: matrix 12598 rows 9668 cols
[2020-06-03 15:36:23] [INFO ] Computed 590 place invariants in 873 ms
[2020-06-03 15:36:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:36:55] [INFO ] Performed 5174/9668 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2020-06-03 15:37:05] [INFO ] Implicit Places using invariants in 43292 ms returned [7839, 7840, 7849, 7868, 8678]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 43298 ms to find 5 implicit places.
Starting structural reductions, iteration 7 : 9663/9704 places, 12598/12607 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 6 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 9659 transition count 12594
Applied a total of 8 rules in 543 ms. Remains 9659 /9663 variables (removed 4) and now considering 12594/12598 (removed 4) transitions.
// Phase 1: matrix 12594 rows 9659 cols
[2020-06-03 15:37:07] [INFO ] Computed 585 place invariants in 699 ms
[2020-06-03 15:37:08] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:37:38] [INFO ] Performed 3958/9659 implicitness test of which 2 returned IMPLICIT in 30 seconds.
[2020-06-03 15:37:50] [INFO ] Implicit Places using invariants in 43896 ms returned [227, 1559, 7899]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 43904 ms to find 3 implicit places.
Starting structural reductions, iteration 8 : 9656/9704 places, 12594/12607 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9655 transition count 12593
Applied a total of 2 rules in 783 ms. Remains 9655 /9656 variables (removed 1) and now considering 12593/12594 (removed 1) transitions.
// Phase 1: matrix 12593 rows 9655 cols
[2020-06-03 15:37:51] [INFO ] Computed 582 place invariants in 710 ms
[2020-06-03 15:37:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:38:23] [INFO ] Performed 5196/9655 implicitness test of which 3 returned IMPLICIT in 30 seconds.
[2020-06-03 15:38:34] [INFO ] Implicit Places using invariants in 42879 ms returned [227, 1530, 1592, 7830]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 42887 ms to find 4 implicit places.
Starting structural reductions, iteration 9 : 9651/9704 places, 12593/12607 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9650 transition count 12592
Applied a total of 2 rules in 560 ms. Remains 9650 /9651 variables (removed 1) and now considering 12592/12593 (removed 1) transitions.
// Phase 1: matrix 12592 rows 9650 cols
[2020-06-03 15:38:35] [INFO ] Computed 578 place invariants in 693 ms
[2020-06-03 15:38:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 15:39:07] [INFO ] Performed 6484/9650 implicitness test of which 2 returned IMPLICIT in 30 seconds.
[2020-06-03 15:39:14] [INFO ] Implicit Places using invariants in 40135 ms returned [1543, 1574, 7711, 7846]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 40142 ms to find 4 implicit places.
Starting structural reductions, iteration 10 : 9646/9704 places, 12592/12607 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 9645 transition count 12591
Applied a total of 2 rules in 571 ms. Remains 9645 /9646 variables (removed 1) and now considering 12591/12592 (removed 1) transitions.
// Phase 1: matrix 12591 rows 9645 cols
[2020-06-03 15:39:16] [INFO ] Computed 574 place invariants in 717 ms
[2020-06-03 15:39:17] [INFO ] SMT solver returned unknown. Retrying;
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427364 kB
MemFree: 15030296 kB
After kill :
MemTotal: 16427364 kB
MemFree: 16143532 kB
--------------------
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="FamilyReunion-COL-L00100M0010C005P005G002"
export BK_EXAMINATION="UpperBounds"
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 FamilyReunion-COL-L00100M0010C005P005G002, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815400141"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-L00100M0010C005P005G002 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;