About the Execution of ITS-Tools for DLCshifumi-PT-5b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 993605.00 | 0.00 | 0.00 | TT??F?FFF????F?F | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r114-smll-171624275800347.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is DLCshifumi-PT-5b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-171624275800347
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 8.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 22 14:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 22 14:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 22 14:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 13 06:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Apr 13 06:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Apr 13 06:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Apr 13 06:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 9.7M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-00
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-01
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-02
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-03
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-04
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-05
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-06
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-07
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-08
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-09
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-10
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-11
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-12
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-13
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-14
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1716428594216
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-5b
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202405141337
[2024-05-23 01:43:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-23 01:43:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-23 01:43:18] [INFO ] Load time of PNML (sax parser for PT used): 1525 ms
[2024-05-23 01:43:18] [INFO ] Transformed 27146 places.
[2024-05-23 01:43:18] [INFO ] Transformed 39849 transitions.
[2024-05-23 01:43:18] [INFO ] Found NUPN structural information;
[2024-05-23 01:43:19] [INFO ] Parsed PT model containing 27146 places and 39849 transitions and 107425 arcs in 3240 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 29 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 6 formulas.
Initial state reduction rules removed 1 formulas.
FORMULA DLCshifumi-PT-5b-LTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 24 out of 27146 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 2741 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2024-05-23 01:43:27] [INFO ] Computed 1378 invariants in 430 ms
[2024-05-23 01:44:01] [INFO ] Implicit Places using invariants in 34650 ms returned []
Implicit Place search using SMT only with invariants took 34706 ms to find 0 implicit places.
Running 39848 sub problems to find dead transitions.
[2024-05-23 01:44:02] [INFO ] Invariant cache hit.
SMT process timed out in 207013ms, After SMT, problems are : Problem set: 0 solved, 39848 unsolved
Search for dead transitions found 0 dead transitions in 207823ms
Finished structural reductions in LTL mode , in 1 iterations and 245543 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Support contains 24 out of 27146 places after structural reductions.
[2024-05-23 01:47:32] [INFO ] Flatten gal took : 1668 ms
[2024-05-23 01:47:34] [INFO ] Flatten gal took : 1188 ms
[2024-05-23 01:47:36] [INFO ] Input system was already deterministic with 39849 transitions.
Support contains 21 out of 27146 places (down from 24) after GAL structural reductions.
Reduction of identical properties reduced properties to check from 14 to 13
RANDOM walk for 40000 steps (8 resets) in 3911 ms. (10 steps per ms) remains 9/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 188 ms. (211 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 156 ms. (254 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 180 ms. (221 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 149 ms. (266 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 663 ms. (60 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 166 ms. (239 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 133 ms. (298 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 132 ms. (300 steps per ms) remains 9/9 properties
[2024-05-23 01:47:41] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/14 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (OVERLAPS) 2446/2460 variables, 62/76 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2460 variables, 2446/2522 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2460/66995 variables, and 2522 constraints, problems are : Problem set: 0 solved, 9 unsolved in 5558 ms.
Refiners :[Domain max(s): 2460/27146 constraints, Positive P Invariants (semi-flows): 62/1378 constraints, State Equation: 0/27146 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/14 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (OVERLAPS) 2446/2460 variables, 62/76 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2460 variables, 2446/2522 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2460/66995 variables, and 2522 constraints, problems are : Problem set: 0 solved, 9 unsolved in 5367 ms.
Refiners :[Domain max(s): 2460/27146 constraints, Positive P Invariants (semi-flows): 62/1378 constraints, State Equation: 0/27146 constraints, PredecessorRefiner: 0/9 constraints, Known Traps: 0/0 constraints]
After SMT, in 11293ms problems are : Problem set: 0 solved, 9 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 14 out of 27146 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25269 edges and 27146 vertex of which 2232 / 27146 are part of one of the 142 SCC in 67 ms
Free SCC test removed 2090 places
Drop transitions (Empty/Sink Transition effects.) removed 2364 transitions
Reduce isomorphic transitions removed 2364 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12906 transitions
Trivial Post-agglo rules discarded 12906 transitions
Performed 12906 trivial Post agglomeration. Transition count delta: 12906
Iterating post reduction 0 with 12906 rules applied. Total rules applied 12907 place count 25056 transition count 24579
Reduce places removed 12906 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13669 rules applied. Total rules applied 26576 place count 12150 transition count 23816
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27201 place count 11771 transition count 23570
Reduce places removed 123 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 3 with 129 rules applied. Total rules applied 27330 place count 11648 transition count 23564
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 27336 place count 11642 transition count 23564
Performed 131 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 131 Pre rules applied. Total rules applied 27336 place count 11642 transition count 23433
Deduced a syphon composed of 131 places in 893 ms
Reduce places removed 131 places and 0 transitions.
Iterating global reduction 5 with 262 rules applied. Total rules applied 27598 place count 11511 transition count 23433
Discarding 3279 places :
Symmetric choice reduction at 5 with 3279 rule applications. Total rules 30877 place count 8232 transition count 20154
Iterating global reduction 5 with 3279 rules applied. Total rules applied 34156 place count 8232 transition count 20154
Performed 1377 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1377 Pre rules applied. Total rules applied 34156 place count 8232 transition count 18777
Deduced a syphon composed of 1377 places in 954 ms
Reduce places removed 1377 places and 0 transitions.
Iterating global reduction 5 with 2754 rules applied. Total rules applied 36910 place count 6855 transition count 18777
Discarding 276 places :
Symmetric choice reduction at 5 with 276 rule applications. Total rules 37186 place count 6579 transition count 13127
Iterating global reduction 5 with 276 rules applied. Total rules applied 37462 place count 6579 transition count 13127
Ensure Unique test removed 251 transitions
Reduce isomorphic transitions removed 251 transitions.
Iterating post reduction 5 with 251 rules applied. Total rules applied 37713 place count 6579 transition count 12876
Performed 1651 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1651 places in 13 ms
Reduce places removed 1651 places and 0 transitions.
Iterating global reduction 6 with 3302 rules applied. Total rules applied 41015 place count 4928 transition count 11220
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41020 place count 4928 transition count 11215
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 6 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41222 place count 4827 transition count 11685
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41223 place count 4827 transition count 11684
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41257 place count 4793 transition count 11344
Iterating global reduction 8 with 34 rules applied. Total rules applied 41291 place count 4793 transition count 11344
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 8 with 165 rules applied. Total rules applied 41456 place count 4793 transition count 11179
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 10 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41658 place count 4692 transition count 11651
Discarding 34 places :
Symmetric choice reduction at 9 with 34 rule applications. Total rules 41692 place count 4658 transition count 11311
Iterating global reduction 9 with 34 rules applied. Total rules applied 41726 place count 4658 transition count 11311
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 9 with 170 rules applied. Total rules applied 41896 place count 4658 transition count 11141
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42098 place count 4557 transition count 11611
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 42099 place count 4557 transition count 11610
Discarding 34 places :
Symmetric choice reduction at 11 with 34 rule applications. Total rules 42133 place count 4523 transition count 11270
Iterating global reduction 11 with 34 rules applied. Total rules applied 42167 place count 4523 transition count 11270
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 11 with 166 rules applied. Total rules applied 42333 place count 4523 transition count 11104
Performed 76 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 76 places in 2 ms
Reduce places removed 76 places and 0 transitions.
Iterating global reduction 12 with 152 rules applied. Total rules applied 42485 place count 4447 transition count 11482
Drop transitions (Empty/Sink Transition effects.) removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 12 with 15 rules applied. Total rules applied 42500 place count 4447 transition count 11467
Discarding 22 places :
Symmetric choice reduction at 13 with 22 rule applications. Total rules 42522 place count 4425 transition count 11247
Iterating global reduction 13 with 22 rules applied. Total rules applied 42544 place count 4425 transition count 11247
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 13 with 110 rules applied. Total rules applied 42654 place count 4425 transition count 11137
Drop transitions (Redundant composition of simpler transitions.) removed 42 transitions
Redundant transition composition rules discarded 42 transitions
Iterating global reduction 14 with 42 rules applied. Total rules applied 42696 place count 4425 transition count 11095
Discarding 10 places :
Symmetric choice reduction at 14 with 10 rule applications. Total rules 42706 place count 4415 transition count 11085
Iterating global reduction 14 with 10 rules applied. Total rules applied 42716 place count 4415 transition count 11085
Discarding 10 places :
Symmetric choice reduction at 14 with 10 rule applications. Total rules 42726 place count 4405 transition count 9809
Iterating global reduction 14 with 10 rules applied. Total rules applied 42736 place count 4405 transition count 9809
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 14 with 10 rules applied. Total rules applied 42746 place count 4405 transition count 9799
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 15 with 10 rules applied. Total rules applied 42756 place count 4400 transition count 9794
Discarding 5 places :
Symmetric choice reduction at 15 with 5 rule applications. Total rules 42761 place count 4395 transition count 9156
Iterating global reduction 15 with 5 rules applied. Total rules applied 42766 place count 4395 transition count 9156
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 15 with 5 rules applied. Total rules applied 42771 place count 4395 transition count 9151
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 16 with 8 rules applied. Total rules applied 42779 place count 4391 transition count 9178
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 16 with 5 rules applied. Total rules applied 42784 place count 4391 transition count 9173
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 17 with 22 rules applied. Total rules applied 42806 place count 4391 transition count 9151
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 42814 place count 4387 transition count 9178
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 42820 place count 4387 transition count 9172
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 42841 place count 4387 transition count 9151
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 42849 place count 4383 transition count 9178
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 42855 place count 4383 transition count 9172
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 42876 place count 4383 transition count 9151
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 42884 place count 4379 transition count 9178
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 42890 place count 4379 transition count 9172
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 42911 place count 4379 transition count 9151
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 42919 place count 4375 transition count 9179
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 42925 place count 4375 transition count 9173
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 42946 place count 4375 transition count 9152
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 42954 place count 4371 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 42960 place count 4371 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 42981 place count 4371 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 42989 place count 4367 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 22 with 6 rules applied. Total rules applied 42995 place count 4367 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 43016 place count 4367 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 43024 place count 4363 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 43030 place count 4363 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 43051 place count 4363 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 43059 place count 4359 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 24 with 6 rules applied. Total rules applied 43065 place count 4359 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 43086 place count 4359 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 43094 place count 4355 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 43100 place count 4355 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 43121 place count 4355 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 26 with 8 rules applied. Total rules applied 43129 place count 4351 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 43135 place count 4351 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 43156 place count 4351 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 8 rules applied. Total rules applied 43164 place count 4347 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 27 with 6 rules applied. Total rules applied 43170 place count 4347 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 28 with 21 rules applied. Total rules applied 43191 place count 4347 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 28 with 8 rules applied. Total rules applied 43199 place count 4343 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 28 with 6 rules applied. Total rules applied 43205 place count 4343 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 29 with 21 rules applied. Total rules applied 43226 place count 4343 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 29 with 8 rules applied. Total rules applied 43234 place count 4339 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 29 with 6 rules applied. Total rules applied 43240 place count 4339 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 30 with 21 rules applied. Total rules applied 43261 place count 4339 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 30 with 8 rules applied. Total rules applied 43269 place count 4335 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 30 with 6 rules applied. Total rules applied 43275 place count 4335 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 31 with 21 rules applied. Total rules applied 43296 place count 4335 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 31 with 8 rules applied. Total rules applied 43304 place count 4331 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 31 with 6 rules applied. Total rules applied 43310 place count 4331 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 32 with 21 rules applied. Total rules applied 43331 place count 4331 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 32 with 8 rules applied. Total rules applied 43339 place count 4327 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 32 with 6 rules applied. Total rules applied 43345 place count 4327 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 33 with 21 rules applied. Total rules applied 43366 place count 4327 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 33 with 8 rules applied. Total rules applied 43374 place count 4323 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 33 with 6 rules applied. Total rules applied 43380 place count 4323 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 34 with 21 rules applied. Total rules applied 43401 place count 4323 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 34 with 8 rules applied. Total rules applied 43409 place count 4319 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 34 with 6 rules applied. Total rules applied 43415 place count 4319 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 35 with 21 rules applied. Total rules applied 43436 place count 4319 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 35 with 8 rules applied. Total rules applied 43444 place count 4315 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 35 with 6 rules applied. Total rules applied 43450 place count 4315 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 36 with 21 rules applied. Total rules applied 43471 place count 4315 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 36 with 8 rules applied. Total rules applied 43479 place count 4311 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 36 with 6 rules applied. Total rules applied 43485 place count 4311 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 37 with 21 rules applied. Total rules applied 43506 place count 4311 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 37 with 8 rules applied. Total rules applied 43514 place count 4307 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 37 with 6 rules applied. Total rules applied 43520 place count 4307 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 38 with 21 rules applied. Total rules applied 43541 place count 4307 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 38 with 8 rules applied. Total rules applied 43549 place count 4303 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 38 with 6 rules applied. Total rules applied 43555 place count 4303 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 39 with 21 rules applied. Total rules applied 43576 place count 4303 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 39 with 8 rules applied. Total rules applied 43584 place count 4299 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 39 with 6 rules applied. Total rules applied 43590 place count 4299 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 40 with 21 rules applied. Total rules applied 43611 place count 4299 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 40 with 8 rules applied. Total rules applied 43619 place count 4295 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 40 with 6 rules applied. Total rules applied 43625 place count 4295 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 41 with 21 rules applied. Total rules applied 43646 place count 4295 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 41 with 8 rules applied. Total rules applied 43654 place count 4291 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 41 with 6 rules applied. Total rules applied 43660 place count 4291 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 42 with 21 rules applied. Total rules applied 43681 place count 4291 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 42 with 8 rules applied. Total rules applied 43689 place count 4287 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 42 with 6 rules applied. Total rules applied 43695 place count 4287 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 43 with 21 rules applied. Total rules applied 43716 place count 4287 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 43 with 8 rules applied. Total rules applied 43724 place count 4283 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 43 with 6 rules applied. Total rules applied 43730 place count 4283 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 44 with 21 rules applied. Total rules applied 43751 place count 4283 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 44 with 8 rules applied. Total rules applied 43759 place count 4279 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 44 with 6 rules applied. Total rules applied 43765 place count 4279 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 45 with 21 rules applied. Total rules applied 43786 place count 4279 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 45 with 8 rules applied. Total rules applied 43794 place count 4275 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 45 with 6 rules applied. Total rules applied 43800 place count 4275 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 46 with 21 rules applied. Total rules applied 43821 place count 4275 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 46 with 8 rules applied. Total rules applied 43829 place count 4271 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 46 with 6 rules applied. Total rules applied 43835 place count 4271 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 47 with 21 rules applied. Total rules applied 43856 place count 4271 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 47 with 8 rules applied. Total rules applied 43864 place count 4267 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 47 with 6 rules applied. Total rules applied 43870 place count 4267 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 48 with 21 rules applied. Total rules applied 43891 place count 4267 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 48 with 8 rules applied. Total rules applied 43899 place count 4263 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 48 with 6 rules applied. Total rules applied 43905 place count 4263 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 49 with 21 rules applied. Total rules applied 43926 place count 4263 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 49 with 8 rules applied. Total rules applied 43934 place count 4259 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 49 with 6 rules applied. Total rules applied 43940 place count 4259 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 50 with 21 rules applied. Total rules applied 43961 place count 4259 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 50 with 8 rules applied. Total rules applied 43969 place count 4255 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 50 with 6 rules applied. Total rules applied 43975 place count 4255 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 51 with 21 rules applied. Total rules applied 43996 place count 4255 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 51 with 8 rules applied. Total rules applied 44004 place count 4251 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 51 with 6 rules applied. Total rules applied 44010 place count 4251 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 52 with 21 rules applied. Total rules applied 44031 place count 4251 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 52 with 8 rules applied. Total rules applied 44039 place count 4247 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 52 with 6 rules applied. Total rules applied 44045 place count 4247 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 53 with 21 rules applied. Total rules applied 44066 place count 4247 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 53 with 8 rules applied. Total rules applied 44074 place count 4243 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 53 with 6 rules applied. Total rules applied 44080 place count 4243 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 54 with 21 rules applied. Total rules applied 44101 place count 4243 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 54 with 8 rules applied. Total rules applied 44109 place count 4239 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 54 with 6 rules applied. Total rules applied 44115 place count 4239 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 55 with 21 rules applied. Total rules applied 44136 place count 4239 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 55 with 8 rules applied. Total rules applied 44144 place count 4235 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 55 with 6 rules applied. Total rules applied 44150 place count 4235 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 56 with 21 rules applied. Total rules applied 44171 place count 4235 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 56 with 8 rules applied. Total rules applied 44179 place count 4231 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 56 with 6 rules applied. Total rules applied 44185 place count 4231 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 57 with 21 rules applied. Total rules applied 44206 place count 4231 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 57 with 8 rules applied. Total rules applied 44214 place count 4227 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 57 with 6 rules applied. Total rules applied 44220 place count 4227 transition count 9174
Renaming transitions due to excessive name length > 1024 char.
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 58 with 21 rules applied. Total rules applied 44241 place count 4227 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 58 with 8 rules applied. Total rules applied 44249 place count 4223 transition count 9178
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 58 with 5 rules applied. Total rules applied 44254 place count 4223 transition count 9173
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 59 with 21 rules applied. Total rules applied 44275 place count 4223 transition count 9152
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 59 with 8 rules applied. Total rules applied 44283 place count 4219 transition count 9179
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 59 with 6 rules applied. Total rules applied 44289 place count 4219 transition count 9173
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 60 with 21 rules applied. Total rules applied 44310 place count 4219 transition count 9152
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 60 with 8 rules applied. Total rules applied 44318 place count 4215 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 60 with 6 rules applied. Total rules applied 44324 place count 4215 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 61 with 21 rules applied. Total rules applied 44345 place count 4215 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 61 with 8 rules applied. Total rules applied 44353 place count 4211 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 61 with 6 rules applied. Total rules applied 44359 place count 4211 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 62 with 21 rules applied. Total rules applied 44380 place count 4211 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 62 with 8 rules applied. Total rules applied 44388 place count 4207 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 62 with 6 rules applied. Total rules applied 44394 place count 4207 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 63 with 21 rules applied. Total rules applied 44415 place count 4207 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 63 with 8 rules applied. Total rules applied 44423 place count 4203 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 63 with 6 rules applied. Total rules applied 44429 place count 4203 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 64 with 21 rules applied. Total rules applied 44450 place count 4203 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 64 with 8 rules applied. Total rules applied 44458 place count 4199 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 64 with 6 rules applied. Total rules applied 44464 place count 4199 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 65 with 21 rules applied. Total rules applied 44485 place count 4199 transition count 9153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 65 with 8 rules applied. Total rules applied 44493 place count 4195 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 65 with 6 rules applied. Total rules applied 44499 place count 4195 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 66 with 21 rules applied. Total rules applied 44520 place count 4195 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 66 with 8 rules applied. Total rules applied 44528 place count 4191 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 66 with 6 rules applied. Total rules applied 44534 place count 4191 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 67 with 21 rules applied. Total rules applied 44555 place count 4191 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 67 with 8 rules applied. Total rules applied 44563 place count 4187 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 67 with 6 rules applied. Total rules applied 44569 place count 4187 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 68 with 21 rules applied. Total rules applied 44590 place count 4187 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 68 with 8 rules applied. Total rules applied 44598 place count 4183 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 68 with 6 rules applied. Total rules applied 44604 place count 4183 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 69 with 21 rules applied. Total rules applied 44625 place count 4183 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 69 with 8 rules applied. Total rules applied 44633 place count 4179 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 69 with 6 rules applied. Total rules applied 44639 place count 4179 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 70 with 21 rules applied. Total rules applied 44660 place count 4179 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 70 with 8 rules applied. Total rules applied 44668 place count 4175 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 70 with 6 rules applied. Total rules applied 44674 place count 4175 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 71 with 21 rules applied. Total rules applied 44695 place count 4175 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 71 with 8 rules applied. Total rules applied 44703 place count 4171 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 71 with 6 rules applied. Total rules applied 44709 place count 4171 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 72 with 21 rules applied. Total rules applied 44730 place count 4171 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 72 with 8 rules applied. Total rules applied 44738 place count 4167 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 72 with 6 rules applied. Total rules applied 44744 place count 4167 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 73 with 21 rules applied. Total rules applied 44765 place count 4167 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 73 with 8 rules applied. Total rules applied 44773 place count 4163 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 73 with 6 rules applied. Total rules applied 44779 place count 4163 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 74 with 21 rules applied. Total rules applied 44800 place count 4163 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 74 with 8 rules applied. Total rules applied 44808 place count 4159 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 74 with 6 rules applied. Total rules applied 44814 place count 4159 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 75 with 21 rules applied. Total rules applied 44835 place count 4159 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 75 with 8 rules applied. Total rules applied 44843 place count 4155 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 75 with 6 rules applied. Total rules applied 44849 place count 4155 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 76 with 21 rules applied. Total rules applied 44870 place count 4155 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 76 with 8 rules applied. Total rules applied 44878 place count 4151 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 76 with 6 rules applied. Total rules applied 44884 place count 4151 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 77 with 21 rules applied. Total rules applied 44905 place count 4151 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 77 with 8 rules applied. Total rules applied 44913 place count 4147 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 77 with 6 rules applied. Total rules applied 44919 place count 4147 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 78 with 21 rules applied. Total rules applied 44940 place count 4147 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 78 with 8 rules applied. Total rules applied 44948 place count 4143 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 78 with 6 rules applied. Total rules applied 44954 place count 4143 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 79 with 21 rules applied. Total rules applied 44975 place count 4143 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 79 with 8 rules applied. Total rules applied 44983 place count 4139 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 79 with 6 rules applied. Total rules applied 44989 place count 4139 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 80 with 21 rules applied. Total rules applied 45010 place count 4139 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 80 with 8 rules applied. Total rules applied 45018 place count 4135 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 80 with 6 rules applied. Total rules applied 45024 place count 4135 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 81 with 21 rules applied. Total rules applied 45045 place count 4135 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 81 with 8 rules applied. Total rules applied 45053 place count 4131 transition count 9181
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 81 with 6 rules applied. Total rules applied 45059 place count 4131 transition count 9175
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 82 with 21 rules applied. Total rules applied 45080 place count 4131 transition count 9154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 82 with 8 rules applied. Total rules applied 45088 place count 4127 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 82 with 6 rules applied. Total rules applied 45094 place count 4127 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 83 with 21 rules applied. Total rules applied 45115 place count 4127 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 83 with 8 rules applied. Total rules applied 45123 place count 4123 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 83 with 6 rules applied. Total rules applied 45129 place count 4123 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 84 with 21 rules applied. Total rules applied 45150 place count 4123 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 6 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 84 with 8 rules applied. Total rules applied 45158 place count 4119 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 84 with 6 rules applied. Total rules applied 45164 place count 4119 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 85 with 21 rules applied. Total rules applied 45185 place count 4119 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 85 with 8 rules applied. Total rules applied 45193 place count 4115 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 85 with 6 rules applied. Total rules applied 45199 place count 4115 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 86 with 21 rules applied. Total rules applied 45220 place count 4115 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 86 with 8 rules applied. Total rules applied 45228 place count 4111 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 86 with 6 rules applied. Total rules applied 45234 place count 4111 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 87 with 21 rules applied. Total rules applied 45255 place count 4111 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 87 with 8 rules applied. Total rules applied 45263 place count 4107 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 87 with 6 rules applied. Total rules applied 45269 place count 4107 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 88 with 21 rules applied. Total rules applied 45290 place count 4107 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 88 with 8 rules applied. Total rules applied 45298 place count 4103 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 88 with 6 rules applied. Total rules applied 45304 place count 4103 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 89 with 21 rules applied. Total rules applied 45325 place count 4103 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 89 with 8 rules applied. Total rules applied 45333 place count 4099 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 89 with 6 rules applied. Total rules applied 45339 place count 4099 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 90 with 21 rules applied. Total rules applied 45360 place count 4099 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 90 with 8 rules applied. Total rules applied 45368 place count 4095 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 90 with 6 rules applied. Total rules applied 45374 place count 4095 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 91 with 21 rules applied. Total rules applied 45395 place count 4095 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 91 with 8 rules applied. Total rules applied 45403 place count 4091 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 91 with 6 rules applied. Total rules applied 45409 place count 4091 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 92 with 21 rules applied. Total rules applied 45430 place count 4091 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 92 with 8 rules applied. Total rules applied 45438 place count 4087 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 92 with 6 rules applied. Total rules applied 45444 place count 4087 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 93 with 21 rules applied. Total rules applied 45465 place count 4087 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 93 with 8 rules applied. Total rules applied 45473 place count 4083 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 93 with 6 rules applied. Total rules applied 45479 place count 4083 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 94 with 21 rules applied. Total rules applied 45500 place count 4083 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 94 with 8 rules applied. Total rules applied 45508 place count 4079 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 94 with 6 rules applied. Total rules applied 45514 place count 4079 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 95 with 21 rules applied. Total rules applied 45535 place count 4079 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 95 with 8 rules applied. Total rules applied 45543 place count 4075 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 95 with 6 rules applied. Total rules applied 45549 place count 4075 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 96 with 21 rules applied. Total rules applied 45570 place count 4075 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 96 with 8 rules applied. Total rules applied 45578 place count 4071 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 96 with 6 rules applied. Total rules applied 45584 place count 4071 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 97 with 21 rules applied. Total rules applied 45605 place count 4071 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 97 with 8 rules applied. Total rules applied 45613 place count 4067 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 97 with 6 rules applied. Total rules applied 45619 place count 4067 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 98 with 21 rules applied. Total rules applied 45640 place count 4067 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 98 with 8 rules applied. Total rules applied 45648 place count 4063 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 98 with 6 rules applied. Total rules applied 45654 place count 4063 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 99 with 21 rules applied. Total rules applied 45675 place count 4063 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 99 with 8 rules applied. Total rules applied 45683 place count 4059 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 99 with 6 rules applied. Total rules applied 45689 place count 4059 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 100 with 21 rules applied. Total rules applied 45710 place count 4059 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 100 with 8 rules applied. Total rules applied 45718 place count 4055 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 100 with 6 rules applied. Total rules applied 45724 place count 4055 transition count 9177
Renaming transitions due to excessive name length > 1024 char.
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 101 with 21 rules applied. Total rules applied 45745 place count 4055 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 101 with 8 rules applied. Total rules applied 45753 place count 4051 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 101 with 6 rules applied. Total rules applied 45759 place count 4051 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 102 with 21 rules applied. Total rules applied 45780 place count 4051 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 102 with 8 rules applied. Total rules applied 45788 place count 4047 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 102 with 6 rules applied. Total rules applied 45794 place count 4047 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 103 with 21 rules applied. Total rules applied 45815 place count 4047 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 103 with 8 rules applied. Total rules applied 45823 place count 4043 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 103 with 6 rules applied. Total rules applied 45829 place count 4043 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 104 with 21 rules applied. Total rules applied 45850 place count 4043 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 104 with 8 rules applied. Total rules applied 45858 place count 4039 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 104 with 6 rules applied. Total rules applied 45864 place count 4039 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 105 with 21 rules applied. Total rules applied 45885 place count 4039 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 105 with 8 rules applied. Total rules applied 45893 place count 4035 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 105 with 6 rules applied. Total rules applied 45899 place count 4035 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 106 with 21 rules applied. Total rules applied 45920 place count 4035 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 106 with 8 rules applied. Total rules applied 45928 place count 4031 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 106 with 6 rules applied. Total rules applied 45934 place count 4031 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 107 with 21 rules applied. Total rules applied 45955 place count 4031 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 107 with 8 rules applied. Total rules applied 45963 place count 4027 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 107 with 6 rules applied. Total rules applied 45969 place count 4027 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 108 with 21 rules applied. Total rules applied 45990 place count 4027 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 108 with 8 rules applied. Total rules applied 45998 place count 4023 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 108 with 6 rules applied. Total rules applied 46004 place count 4023 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 109 with 21 rules applied. Total rules applied 46025 place count 4023 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 109 with 8 rules applied. Total rules applied 46033 place count 4019 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 109 with 6 rules applied. Total rules applied 46039 place count 4019 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 110 with 21 rules applied. Total rules applied 46060 place count 4019 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 110 with 8 rules applied. Total rules applied 46068 place count 4015 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 110 with 6 rules applied. Total rules applied 46074 place count 4015 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 111 with 21 rules applied. Total rules applied 46095 place count 4015 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 111 with 8 rules applied. Total rules applied 46103 place count 4011 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 111 with 6 rules applied. Total rules applied 46109 place count 4011 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 112 with 21 rules applied. Total rules applied 46130 place count 4011 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 112 with 8 rules applied. Total rules applied 46138 place count 4007 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 112 with 6 rules applied. Total rules applied 46144 place count 4007 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 113 with 21 rules applied. Total rules applied 46165 place count 4007 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 113 with 8 rules applied. Total rules applied 46173 place count 4003 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 113 with 6 rules applied. Total rules applied 46179 place count 4003 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 114 with 21 rules applied. Total rules applied 46200 place count 4003 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 114 with 8 rules applied. Total rules applied 46208 place count 3999 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 114 with 6 rules applied. Total rules applied 46214 place count 3999 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 115 with 21 rules applied. Total rules applied 46235 place count 3999 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 115 with 8 rules applied. Total rules applied 46243 place count 3995 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 115 with 6 rules applied. Total rules applied 46249 place count 3995 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 116 with 21 rules applied. Total rules applied 46270 place count 3995 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 116 with 8 rules applied. Total rules applied 46278 place count 3991 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 116 with 6 rules applied. Total rules applied 46284 place count 3991 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 117 with 21 rules applied. Total rules applied 46305 place count 3991 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 117 with 8 rules applied. Total rules applied 46313 place count 3987 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 117 with 6 rules applied. Total rules applied 46319 place count 3987 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 118 with 21 rules applied. Total rules applied 46340 place count 3987 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 118 with 8 rules applied. Total rules applied 46348 place count 3983 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 118 with 6 rules applied. Total rules applied 46354 place count 3983 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 119 with 21 rules applied. Total rules applied 46375 place count 3983 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 119 with 8 rules applied. Total rules applied 46383 place count 3979 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 119 with 6 rules applied. Total rules applied 46389 place count 3979 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 120 with 21 rules applied. Total rules applied 46410 place count 3979 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 120 with 8 rules applied. Total rules applied 46418 place count 3975 transition count 9183
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 120 with 6 rules applied. Total rules applied 46424 place count 3975 transition count 9177
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 121 with 21 rules applied. Total rules applied 46445 place count 3975 transition count 9156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 121 with 8 rules applied. Total rules applied 46453 place count 3971 transition count 9184
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 121 with 6 rules applied. Total rules applied 46459 place count 3971 transition count 9178
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 122 with 21 rules applied. Total rules applied 46480 place count 3971 transition count 9157
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 122 with 8 rules applied. Total rules applied 46488 place count 3967 transition count 9184
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 122 with 6 rules applied. Total rules applied 46494 place count 3967 transition count 9178
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 123 with 21 rules applied. Total rules applied 46515 place count 3967 transition count 9157
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 123 with 8 rules applied. Total rules applied 46523 place count 3963 transition count 9184
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 123 with 6 rules applied. Total rules applied 46529 place count 3963 transition count 9178
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 124 with 21 rules applied. Total rules applied 46550 place count 3963 transition count 9157
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 124 with 8 rules applied. Total rules applied 46558 place count 3959 transition count 9184
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 124 with 6 rules applied. Total rules applied 46564 place count 3959 transition count 9178
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 125 with 21 rules applied. Total rules applied 46585 place count 3959 transition count 9157
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 125 with 8 rules applied. Total rules applied 46593 place count 3955 transition count 9184
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 125 with 6 rules applied. Total rules applied 46599 place count 3955 transition count 9178
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 126 with 21 rules applied. Total rules applied 46620 place count 3955 transition count 9157
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 126 with 8 rules applied. Total rules applied 46628 place count 3951 transition count 9184
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 126 with 6 rules applied. Total rules applied 46634 place count 3951 transition count 9178
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 127 with 21 rules applied. Total rules applied 46655 place count 3951 transition count 9157
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 127 with 8 rules applied. Total rules applied 46663 place count 3947 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 127 with 6 rules applied. Total rules applied 46669 place count 3947 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 128 with 21 rules applied. Total rules applied 46690 place count 3947 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 128 with 8 rules applied. Total rules applied 46698 place count 3943 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 128 with 6 rules applied. Total rules applied 46704 place count 3943 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 129 with 21 rules applied. Total rules applied 46725 place count 3943 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 129 with 8 rules applied. Total rules applied 46733 place count 3939 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 129 with 6 rules applied. Total rules applied 46739 place count 3939 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 130 with 21 rules applied. Total rules applied 46760 place count 3939 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 130 with 8 rules applied. Total rules applied 46768 place count 3935 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 130 with 6 rules applied. Total rules applied 46774 place count 3935 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 131 with 21 rules applied. Total rules applied 46795 place count 3935 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 131 with 8 rules applied. Total rules applied 46803 place count 3931 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 131 with 6 rules applied. Total rules applied 46809 place count 3931 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 132 with 21 rules applied. Total rules applied 46830 place count 3931 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 132 with 8 rules applied. Total rules applied 46838 place count 3927 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 132 with 6 rules applied. Total rules applied 46844 place count 3927 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 133 with 21 rules applied. Total rules applied 46865 place count 3927 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 133 with 8 rules applied. Total rules applied 46873 place count 3923 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 133 with 6 rules applied. Total rules applied 46879 place count 3923 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 134 with 21 rules applied. Total rules applied 46900 place count 3923 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 134 with 8 rules applied. Total rules applied 46908 place count 3919 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 134 with 6 rules applied. Total rules applied 46914 place count 3919 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 135 with 21 rules applied. Total rules applied 46935 place count 3919 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 135 with 8 rules applied. Total rules applied 46943 place count 3915 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 135 with 6 rules applied. Total rules applied 46949 place count 3915 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 136 with 21 rules applied. Total rules applied 46970 place count 3915 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 136 with 8 rules applied. Total rules applied 46978 place count 3911 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 136 with 6 rules applied. Total rules applied 46984 place count 3911 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 137 with 21 rules applied. Total rules applied 47005 place count 3911 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 137 with 8 rules applied. Total rules applied 47013 place count 3907 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 137 with 6 rules applied. Total rules applied 47019 place count 3907 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 138 with 21 rules applied. Total rules applied 47040 place count 3907 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 138 with 8 rules applied. Total rules applied 47048 place count 3903 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 138 with 6 rules applied. Total rules applied 47054 place count 3903 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 139 with 21 rules applied. Total rules applied 47075 place count 3903 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 139 with 8 rules applied. Total rules applied 47083 place count 3899 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 139 with 6 rules applied. Total rules applied 47089 place count 3899 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 140 with 21 rules applied. Total rules applied 47110 place count 3899 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 140 with 8 rules applied. Total rules applied 47118 place count 3895 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 140 with 6 rules applied. Total rules applied 47124 place count 3895 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 141 with 21 rules applied. Total rules applied 47145 place count 3895 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 141 with 8 rules applied. Total rules applied 47153 place count 3891 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 141 with 6 rules applied. Total rules applied 47159 place count 3891 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 142 with 21 rules applied. Total rules applied 47180 place count 3891 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 142 with 8 rules applied. Total rules applied 47188 place count 3887 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 142 with 6 rules applied. Total rules applied 47194 place count 3887 transition count 9179
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 143 with 21 rules applied. Total rules applied 47215 place count 3887 transition count 9158
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 143 with 8 rules applied. Total rules applied 47223 place count 3883 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 143 with 6 rules applied. Total rules applied 47229 place count 3883 transition count 9180
Renaming transitions due to excessive name length > 1024 char.
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 144 with 21 rules applied. Total rules applied 47250 place count 3883 transition count 9159
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 144 with 8 rules applied. Total rules applied 47258 place count 3879 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 144 with 6 rules applied. Total rules applied 47264 place count 3879 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 145 with 21 rules applied. Total rules applied 47285 place count 3879 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 145 with 8 rules applied. Total rules applied 47293 place count 3875 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 145 with 6 rules applied. Total rules applied 47299 place count 3875 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 146 with 21 rules applied. Total rules applied 47320 place count 3875 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 146 with 8 rules applied. Total rules applied 47328 place count 3871 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 146 with 6 rules applied. Total rules applied 47334 place count 3871 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 147 with 21 rules applied. Total rules applied 47355 place count 3871 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 147 with 8 rules applied. Total rules applied 47363 place count 3867 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 147 with 6 rules applied. Total rules applied 47369 place count 3867 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 148 with 21 rules applied. Total rules applied 47390 place count 3867 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 148 with 8 rules applied. Total rules applied 47398 place count 3863 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 148 with 6 rules applied. Total rules applied 47404 place count 3863 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 149 with 21 rules applied. Total rules applied 47425 place count 3863 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 149 with 8 rules applied. Total rules applied 47433 place count 3859 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 149 with 6 rules applied. Total rules applied 47439 place count 3859 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 150 with 21 rules applied. Total rules applied 47460 place count 3859 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 150 with 8 rules applied. Total rules applied 47468 place count 3855 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 150 with 6 rules applied. Total rules applied 47474 place count 3855 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 151 with 21 rules applied. Total rules applied 47495 place count 3855 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 151 with 8 rules applied. Total rules applied 47503 place count 3851 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 151 with 6 rules applied. Total rules applied 47509 place count 3851 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 152 with 21 rules applied. Total rules applied 47530 place count 3851 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 152 with 8 rules applied. Total rules applied 47538 place count 3847 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 152 with 5 rules applied. Total rules applied 47543 place count 3847 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 153 with 22 rules applied. Total rules applied 47565 place count 3847 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 153 with 8 rules applied. Total rules applied 47573 place count 3843 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 153 with 6 rules applied. Total rules applied 47579 place count 3843 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 154 with 21 rules applied. Total rules applied 47600 place count 3843 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 154 with 8 rules applied. Total rules applied 47608 place count 3839 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 154 with 6 rules applied. Total rules applied 47614 place count 3839 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 155 with 21 rules applied. Total rules applied 47635 place count 3839 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 155 with 8 rules applied. Total rules applied 47643 place count 3835 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 155 with 6 rules applied. Total rules applied 47649 place count 3835 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 156 with 21 rules applied. Total rules applied 47670 place count 3835 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 156 with 8 rules applied. Total rules applied 47678 place count 3831 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 156 with 6 rules applied. Total rules applied 47684 place count 3831 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 157 with 21 rules applied. Total rules applied 47705 place count 3831 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 157 with 8 rules applied. Total rules applied 47713 place count 3827 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 157 with 6 rules applied. Total rules applied 47719 place count 3827 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 158 with 21 rules applied. Total rules applied 47740 place count 3827 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 158 with 8 rules applied. Total rules applied 47748 place count 3823 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 158 with 6 rules applied. Total rules applied 47754 place count 3823 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 159 with 21 rules applied. Total rules applied 47775 place count 3823 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 159 with 8 rules applied. Total rules applied 47783 place count 3819 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 159 with 6 rules applied. Total rules applied 47789 place count 3819 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 160 with 21 rules applied. Total rules applied 47810 place count 3819 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 160 with 8 rules applied. Total rules applied 47818 place count 3815 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 160 with 6 rules applied. Total rules applied 47824 place count 3815 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 161 with 21 rules applied. Total rules applied 47845 place count 3815 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 161 with 8 rules applied. Total rules applied 47853 place count 3811 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 161 with 6 rules applied. Total rules applied 47859 place count 3811 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 162 with 21 rules applied. Total rules applied 47880 place count 3811 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 162 with 8 rules applied. Total rules applied 47888 place count 3807 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 162 with 6 rules applied. Total rules applied 47894 place count 3807 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 163 with 21 rules applied. Total rules applied 47915 place count 3807 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 163 with 8 rules applied. Total rules applied 47923 place count 3803 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 163 with 6 rules applied. Total rules applied 47929 place count 3803 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 164 with 21 rules applied. Total rules applied 47950 place count 3803 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 164 with 8 rules applied. Total rules applied 47958 place count 3799 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 164 with 6 rules applied. Total rules applied 47964 place count 3799 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 165 with 21 rules applied. Total rules applied 47985 place count 3799 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 165 with 8 rules applied. Total rules applied 47993 place count 3795 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 165 with 6 rules applied. Total rules applied 47999 place count 3795 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 166 with 21 rules applied. Total rules applied 48020 place count 3795 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 166 with 8 rules applied. Total rules applied 48028 place count 3791 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 166 with 6 rules applied. Total rules applied 48034 place count 3791 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 167 with 21 rules applied. Total rules applied 48055 place count 3791 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 167 with 8 rules applied. Total rules applied 48063 place count 3787 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 167 with 6 rules applied. Total rules applied 48069 place count 3787 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 168 with 21 rules applied. Total rules applied 48090 place count 3787 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 168 with 8 rules applied. Total rules applied 48098 place count 3783 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 168 with 6 rules applied. Total rules applied 48104 place count 3783 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 169 with 21 rules applied. Total rules applied 48125 place count 3783 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 169 with 8 rules applied. Total rules applied 48133 place count 3779 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 169 with 6 rules applied. Total rules applied 48139 place count 3779 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 170 with 21 rules applied. Total rules applied 48160 place count 3779 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 170 with 8 rules applied. Total rules applied 48168 place count 3775 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 170 with 6 rules applied. Total rules applied 48174 place count 3775 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 171 with 21 rules applied. Total rules applied 48195 place count 3775 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 171 with 8 rules applied. Total rules applied 48203 place count 3771 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 171 with 6 rules applied. Total rules applied 48209 place count 3771 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 172 with 21 rules applied. Total rules applied 48230 place count 3771 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 172 with 8 rules applied. Total rules applied 48238 place count 3767 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 172 with 6 rules applied. Total rules applied 48244 place count 3767 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 173 with 21 rules applied. Total rules applied 48265 place count 3767 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 173 with 8 rules applied. Total rules applied 48273 place count 3763 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 173 with 6 rules applied. Total rules applied 48279 place count 3763 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 174 with 21 rules applied. Total rules applied 48300 place count 3763 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 174 with 8 rules applied. Total rules applied 48308 place count 3759 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 174 with 6 rules applied. Total rules applied 48314 place count 3759 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 175 with 21 rules applied. Total rules applied 48335 place count 3759 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 175 with 8 rules applied. Total rules applied 48343 place count 3755 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 175 with 6 rules applied. Total rules applied 48349 place count 3755 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 176 with 21 rules applied. Total rules applied 48370 place count 3755 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 176 with 8 rules applied. Total rules applied 48378 place count 3751 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 176 with 6 rules applied. Total rules applied 48384 place count 3751 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 177 with 21 rules applied. Total rules applied 48405 place count 3751 transition count 9160
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 177 with 8 rules applied. Total rules applied 48413 place count 3747 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 177 with 5 rules applied. Total rules applied 48418 place count 3747 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 178 with 19 rules applied. Total rules applied 48437 place count 3747 transition count 9162
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 178 with 6 rules applied. Total rules applied 48443 place count 3744 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 178 with 4 rules applied. Total rules applied 48447 place count 3744 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 179 with 19 rules applied. Total rules applied 48466 place count 3744 transition count 9162
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 179 with 6 rules applied. Total rules applied 48472 place count 3741 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 179 with 5 rules applied. Total rules applied 48477 place count 3741 transition count 9180
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 180 with 18 rules applied. Total rules applied 48495 place count 3741 transition count 9162
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 180 with 6 rules applied. Total rules applied 48501 place count 3738 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 180 with 4 rules applied. Total rules applied 48505 place count 3738 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 181 with 19 rules applied. Total rules applied 48524 place count 3738 transition count 9162
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 181 with 6 rules applied. Total rules applied 48530 place count 3735 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 181 with 5 rules applied. Total rules applied 48535 place count 3735 transition count 9180
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 182 with 18 rules applied. Total rules applied 48553 place count 3735 transition count 9162
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 182 with 6 rules applied. Total rules applied 48559 place count 3732 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 182 with 4 rules applied. Total rules applied 48563 place count 3732 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 183 with 19 rules applied. Total rules applied 48582 place count 3732 transition count 9162
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 183 with 6 rules applied. Total rules applied 48588 place count 3729 transition count 9185
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 183 with 5 rules applied. Total rules applied 48593 place count 3729 transition count 9180
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 184 with 18 rules applied. Total rules applied 48611 place count 3729 transition count 9162
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 184 with 6 rules applied. Total rules applied 48617 place count 3726 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 184 with 4 rules applied. Total rules applied 48621 place count 3726 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 185 with 19 rules applied. Total rules applied 48640 place count 3726 transition count 9163
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 185 with 6 rules applied. Total rules applied 48646 place count 3723 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 185 with 5 rules applied. Total rules applied 48651 place count 3723 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 186 with 18 rules applied. Total rules applied 48669 place count 3723 transition count 9163
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 186 with 6 rules applied. Total rules applied 48675 place count 3720 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 186 with 4 rules applied. Total rules applied 48679 place count 3720 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 187 with 19 rules applied. Total rules applied 48698 place count 3720 transition count 9163
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 187 with 6 rules applied. Total rules applied 48704 place count 3717 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 187 with 5 rules applied. Total rules applied 48709 place count 3717 transition count 9181
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 188 with 18 rules applied. Total rules applied 48727 place count 3717 transition count 9163
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 188 with 6 rules applied. Total rules applied 48733 place count 3714 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 188 with 4 rules applied. Total rules applied 48737 place count 3714 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 189 with 19 rules applied. Total rules applied 48756 place count 3714 transition count 9163
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 189 with 6 rules applied. Total rules applied 48762 place count 3711 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 189 with 5 rules applied. Total rules applied 48767 place count 3711 transition count 9181
Renaming transitions due to excessive name length > 1024 char.
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 190 with 18 rules applied. Total rules applied 48785 place count 3711 transition count 9163
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 190 with 6 rules applied. Total rules applied 48791 place count 3708 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 190 with 4 rules applied. Total rules applied 48795 place count 3708 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 191 with 19 rules applied. Total rules applied 48814 place count 3708 transition count 9163
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 191 with 6 rules applied. Total rules applied 48820 place count 3705 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 191 with 5 rules applied. Total rules applied 48825 place count 3705 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 192 with 18 rules applied. Total rules applied 48843 place count 3705 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 192 with 6 rules applied. Total rules applied 48849 place count 3702 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 192 with 4 rules applied. Total rules applied 48853 place count 3702 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 193 with 19 rules applied. Total rules applied 48872 place count 3702 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 193 with 6 rules applied. Total rules applied 48878 place count 3699 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 193 with 5 rules applied. Total rules applied 48883 place count 3699 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 194 with 18 rules applied. Total rules applied 48901 place count 3699 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 194 with 6 rules applied. Total rules applied 48907 place count 3696 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 194 with 4 rules applied. Total rules applied 48911 place count 3696 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 195 with 19 rules applied. Total rules applied 48930 place count 3696 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 195 with 6 rules applied. Total rules applied 48936 place count 3693 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 195 with 5 rules applied. Total rules applied 48941 place count 3693 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 196 with 18 rules applied. Total rules applied 48959 place count 3693 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 196 with 6 rules applied. Total rules applied 48965 place count 3690 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 196 with 4 rules applied. Total rules applied 48969 place count 3690 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 197 with 19 rules applied. Total rules applied 48988 place count 3690 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 197 with 6 rules applied. Total rules applied 48994 place count 3687 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 197 with 5 rules applied. Total rules applied 48999 place count 3687 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 198 with 18 rules applied. Total rules applied 49017 place count 3687 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 198 with 6 rules applied. Total rules applied 49023 place count 3684 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 198 with 4 rules applied. Total rules applied 49027 place count 3684 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 199 with 19 rules applied. Total rules applied 49046 place count 3684 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 199 with 6 rules applied. Total rules applied 49052 place count 3681 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 199 with 5 rules applied. Total rules applied 49057 place count 3681 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 200 with 18 rules applied. Total rules applied 49075 place count 3681 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 200 with 6 rules applied. Total rules applied 49081 place count 3678 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 200 with 4 rules applied. Total rules applied 49085 place count 3678 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 201 with 19 rules applied. Total rules applied 49104 place count 3678 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 201 with 6 rules applied. Total rules applied 49110 place count 3675 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 201 with 5 rules applied. Total rules applied 49115 place count 3675 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 202 with 18 rules applied. Total rules applied 49133 place count 3675 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 202 with 6 rules applied. Total rules applied 49139 place count 3672 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 202 with 4 rules applied. Total rules applied 49143 place count 3672 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 203 with 19 rules applied. Total rules applied 49162 place count 3672 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 203 with 6 rules applied. Total rules applied 49168 place count 3669 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 203 with 5 rules applied. Total rules applied 49173 place count 3669 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 204 with 18 rules applied. Total rules applied 49191 place count 3669 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 204 with 6 rules applied. Total rules applied 49197 place count 3666 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 204 with 4 rules applied. Total rules applied 49201 place count 3666 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 205 with 19 rules applied. Total rules applied 49220 place count 3666 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 205 with 6 rules applied. Total rules applied 49226 place count 3663 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 205 with 5 rules applied. Total rules applied 49231 place count 3663 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 206 with 18 rules applied. Total rules applied 49249 place count 3663 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 206 with 6 rules applied. Total rules applied 49255 place count 3660 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 206 with 4 rules applied. Total rules applied 49259 place count 3660 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 207 with 19 rules applied. Total rules applied 49278 place count 3660 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 207 with 6 rules applied. Total rules applied 49284 place count 3657 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 207 with 5 rules applied. Total rules applied 49289 place count 3657 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 208 with 18 rules applied. Total rules applied 49307 place count 3657 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 208 with 6 rules applied. Total rules applied 49313 place count 3654 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 208 with 4 rules applied. Total rules applied 49317 place count 3654 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 209 with 19 rules applied. Total rules applied 49336 place count 3654 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 209 with 6 rules applied. Total rules applied 49342 place count 3651 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 209 with 5 rules applied. Total rules applied 49347 place count 3651 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 210 with 18 rules applied. Total rules applied 49365 place count 3651 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 210 with 6 rules applied. Total rules applied 49371 place count 3648 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 210 with 4 rules applied. Total rules applied 49375 place count 3648 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 211 with 19 rules applied. Total rules applied 49394 place count 3648 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 211 with 6 rules applied. Total rules applied 49400 place count 3645 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 211 with 5 rules applied. Total rules applied 49405 place count 3645 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 212 with 18 rules applied. Total rules applied 49423 place count 3645 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 212 with 6 rules applied. Total rules applied 49429 place count 3642 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 212 with 4 rules applied. Total rules applied 49433 place count 3642 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 213 with 19 rules applied. Total rules applied 49452 place count 3642 transition count 9164
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 213 with 6 rules applied. Total rules applied 49458 place count 3639 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 213 with 5 rules applied. Total rules applied 49463 place count 3639 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 214 with 18 rules applied. Total rules applied 49481 place count 3639 transition count 9165
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 214 with 6 rules applied. Total rules applied 49487 place count 3636 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 214 with 4 rules applied. Total rules applied 49491 place count 3636 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 215 with 19 rules applied. Total rules applied 49510 place count 3636 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 215 with 6 rules applied. Total rules applied 49516 place count 3633 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 215 with 5 rules applied. Total rules applied 49521 place count 3633 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 216 with 18 rules applied. Total rules applied 49539 place count 3633 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 216 with 6 rules applied. Total rules applied 49545 place count 3630 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 216 with 4 rules applied. Total rules applied 49549 place count 3630 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 217 with 19 rules applied. Total rules applied 49568 place count 3630 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 217 with 6 rules applied. Total rules applied 49574 place count 3627 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 217 with 5 rules applied. Total rules applied 49579 place count 3627 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 218 with 18 rules applied. Total rules applied 49597 place count 3627 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 218 with 6 rules applied. Total rules applied 49603 place count 3624 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 218 with 4 rules applied. Total rules applied 49607 place count 3624 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 219 with 19 rules applied. Total rules applied 49626 place count 3624 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 219 with 6 rules applied. Total rules applied 49632 place count 3621 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 219 with 5 rules applied. Total rules applied 49637 place count 3621 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 220 with 18 rules applied. Total rules applied 49655 place count 3621 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 220 with 6 rules applied. Total rules applied 49661 place count 3618 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 220 with 4 rules applied. Total rules applied 49665 place count 3618 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 221 with 19 rules applied. Total rules applied 49684 place count 3618 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 221 with 6 rules applied. Total rules applied 49690 place count 3615 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 221 with 5 rules applied. Total rules applied 49695 place count 3615 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 222 with 18 rules applied. Total rules applied 49713 place count 3615 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 222 with 6 rules applied. Total rules applied 49719 place count 3612 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 222 with 4 rules applied. Total rules applied 49723 place count 3612 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 223 with 19 rules applied. Total rules applied 49742 place count 3612 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 223 with 6 rules applied. Total rules applied 49748 place count 3609 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 223 with 5 rules applied. Total rules applied 49753 place count 3609 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 224 with 18 rules applied. Total rules applied 49771 place count 3609 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 224 with 6 rules applied. Total rules applied 49777 place count 3606 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 224 with 4 rules applied. Total rules applied 49781 place count 3606 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 225 with 19 rules applied. Total rules applied 49800 place count 3606 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 225 with 6 rules applied. Total rules applied 49806 place count 3603 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 225 with 5 rules applied. Total rules applied 49811 place count 3603 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 226 with 18 rules applied. Total rules applied 49829 place count 3603 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 226 with 6 rules applied. Total rules applied 49835 place count 3600 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 226 with 4 rules applied. Total rules applied 49839 place count 3600 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 227 with 19 rules applied. Total rules applied 49858 place count 3600 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 227 with 6 rules applied. Total rules applied 49864 place count 3597 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 227 with 5 rules applied. Total rules applied 49869 place count 3597 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 228 with 18 rules applied. Total rules applied 49887 place count 3597 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 228 with 6 rules applied. Total rules applied 49893 place count 3594 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 228 with 4 rules applied. Total rules applied 49897 place count 3594 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 229 with 19 rules applied. Total rules applied 49916 place count 3594 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 229 with 6 rules applied. Total rules applied 49922 place count 3591 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 229 with 5 rules applied. Total rules applied 49927 place count 3591 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 230 with 18 rules applied. Total rules applied 49945 place count 3591 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 230 with 6 rules applied. Total rules applied 49951 place count 3588 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 230 with 4 rules applied. Total rules applied 49955 place count 3588 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 231 with 19 rules applied. Total rules applied 49974 place count 3588 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 231 with 6 rules applied. Total rules applied 49980 place count 3585 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 231 with 5 rules applied. Total rules applied 49985 place count 3585 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 232 with 18 rules applied. Total rules applied 50003 place count 3585 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 232 with 6 rules applied. Total rules applied 50009 place count 3582 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 232 with 4 rules applied. Total rules applied 50013 place count 3582 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 233 with 19 rules applied. Total rules applied 50032 place count 3582 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 233 with 6 rules applied. Total rules applied 50038 place count 3579 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 233 with 5 rules applied. Total rules applied 50043 place count 3579 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 234 with 18 rules applied. Total rules applied 50061 place count 3579 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 234 with 6 rules applied. Total rules applied 50067 place count 3576 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 234 with 4 rules applied. Total rules applied 50071 place count 3576 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 235 with 19 rules applied. Total rules applied 50090 place count 3576 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 235 with 6 rules applied. Total rules applied 50096 place count 3573 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 235 with 5 rules applied. Total rules applied 50101 place count 3573 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 236 with 18 rules applied. Total rules applied 50119 place count 3573 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 236 with 6 rules applied. Total rules applied 50125 place count 3570 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 236 with 4 rules applied. Total rules applied 50129 place count 3570 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 237 with 19 rules applied. Total rules applied 50148 place count 3570 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 237 with 6 rules applied. Total rules applied 50154 place count 3567 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 237 with 5 rules applied. Total rules applied 50159 place count 3567 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 238 with 18 rules applied. Total rules applied 50177 place count 3567 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 238 with 6 rules applied. Total rules applied 50183 place count 3564 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 238 with 5 rules applied. Total rules applied 50188 place count 3564 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 239 with 18 rules applied. Total rules applied 50206 place count 3564 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 239 with 6 rules applied. Total rules applied 50212 place count 3561 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 239 with 4 rules applied. Total rules applied 50216 place count 3561 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 240 with 19 rules applied. Total rules applied 50235 place count 3561 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 240 with 6 rules applied. Total rules applied 50241 place count 3558 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 240 with 5 rules applied. Total rules applied 50246 place count 3558 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 241 with 18 rules applied. Total rules applied 50264 place count 3558 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 241 with 6 rules applied. Total rules applied 50270 place count 3555 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 241 with 4 rules applied. Total rules applied 50274 place count 3555 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 242 with 19 rules applied. Total rules applied 50293 place count 3555 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 242 with 6 rules applied. Total rules applied 50299 place count 3552 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 242 with 5 rules applied. Total rules applied 50304 place count 3552 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 243 with 18 rules applied. Total rules applied 50322 place count 3552 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 243 with 6 rules applied. Total rules applied 50328 place count 3549 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 243 with 4 rules applied. Total rules applied 50332 place count 3549 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 244 with 19 rules applied. Total rules applied 50351 place count 3549 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 244 with 6 rules applied. Total rules applied 50357 place count 3546 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 244 with 5 rules applied. Total rules applied 50362 place count 3546 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 245 with 18 rules applied. Total rules applied 50380 place count 3546 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 245 with 6 rules applied. Total rules applied 50386 place count 3543 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 245 with 4 rules applied. Total rules applied 50390 place count 3543 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 246 with 19 rules applied. Total rules applied 50409 place count 3543 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 246 with 6 rules applied. Total rules applied 50415 place count 3540 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 246 with 5 rules applied. Total rules applied 50420 place count 3540 transition count 9184
Renaming transitions due to excessive name length > 1024 char.
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 247 with 18 rules applied. Total rules applied 50438 place count 3540 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 247 with 6 rules applied. Total rules applied 50444 place count 3537 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 247 with 4 rules applied. Total rules applied 50448 place count 3537 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 248 with 19 rules applied. Total rules applied 50467 place count 3537 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 248 with 6 rules applied. Total rules applied 50473 place count 3534 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 248 with 5 rules applied. Total rules applied 50478 place count 3534 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 249 with 18 rules applied. Total rules applied 50496 place count 3534 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 249 with 6 rules applied. Total rules applied 50502 place count 3531 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 249 with 4 rules applied. Total rules applied 50506 place count 3531 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 250 with 19 rules applied. Total rules applied 50525 place count 3531 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 250 with 6 rules applied. Total rules applied 50531 place count 3528 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 250 with 5 rules applied. Total rules applied 50536 place count 3528 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 251 with 18 rules applied. Total rules applied 50554 place count 3528 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 251 with 6 rules applied. Total rules applied 50560 place count 3525 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 251 with 4 rules applied. Total rules applied 50564 place count 3525 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 252 with 19 rules applied. Total rules applied 50583 place count 3525 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 252 with 6 rules applied. Total rules applied 50589 place count 3522 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 252 with 5 rules applied. Total rules applied 50594 place count 3522 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 253 with 18 rules applied. Total rules applied 50612 place count 3522 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 253 with 6 rules applied. Total rules applied 50618 place count 3519 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 253 with 4 rules applied. Total rules applied 50622 place count 3519 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 254 with 19 rules applied. Total rules applied 50641 place count 3519 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 254 with 6 rules applied. Total rules applied 50647 place count 3516 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 254 with 5 rules applied. Total rules applied 50652 place count 3516 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 255 with 18 rules applied. Total rules applied 50670 place count 3516 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 255 with 6 rules applied. Total rules applied 50676 place count 3513 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 255 with 4 rules applied. Total rules applied 50680 place count 3513 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 256 with 19 rules applied. Total rules applied 50699 place count 3513 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 256 with 6 rules applied. Total rules applied 50705 place count 3510 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 256 with 5 rules applied. Total rules applied 50710 place count 3510 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 257 with 18 rules applied. Total rules applied 50728 place count 3510 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 257 with 6 rules applied. Total rules applied 50734 place count 3507 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 257 with 4 rules applied. Total rules applied 50738 place count 3507 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 258 with 19 rules applied. Total rules applied 50757 place count 3507 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 258 with 6 rules applied. Total rules applied 50763 place count 3504 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 258 with 5 rules applied. Total rules applied 50768 place count 3504 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 259 with 18 rules applied. Total rules applied 50786 place count 3504 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 259 with 6 rules applied. Total rules applied 50792 place count 3501 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 259 with 4 rules applied. Total rules applied 50796 place count 3501 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 260 with 19 rules applied. Total rules applied 50815 place count 3501 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 260 with 6 rules applied. Total rules applied 50821 place count 3498 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 260 with 5 rules applied. Total rules applied 50826 place count 3498 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 261 with 18 rules applied. Total rules applied 50844 place count 3498 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 261 with 6 rules applied. Total rules applied 50850 place count 3495 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 261 with 4 rules applied. Total rules applied 50854 place count 3495 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 262 with 19 rules applied. Total rules applied 50873 place count 3495 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 262 with 6 rules applied. Total rules applied 50879 place count 3492 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 262 with 5 rules applied. Total rules applied 50884 place count 3492 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 263 with 18 rules applied. Total rules applied 50902 place count 3492 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 263 with 6 rules applied. Total rules applied 50908 place count 3489 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 263 with 4 rules applied. Total rules applied 50912 place count 3489 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 264 with 19 rules applied. Total rules applied 50931 place count 3489 transition count 9166
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 264 with 6 rules applied. Total rules applied 50937 place count 3486 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 264 with 4 rules applied. Total rules applied 50941 place count 3486 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 265 with 14 rules applied. Total rules applied 50955 place count 3486 transition count 9168
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 265 with 4 rules applied. Total rules applied 50959 place count 3484 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 265 with 3 rules applied. Total rules applied 50962 place count 3484 transition count 9183
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 266 with 15 rules applied. Total rules applied 50977 place count 3484 transition count 9168
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 266 with 4 rules applied. Total rules applied 50981 place count 3482 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 266 with 3 rules applied. Total rules applied 50984 place count 3482 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 267 with 15 rules applied. Total rules applied 50999 place count 3482 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 267 with 4 rules applied. Total rules applied 51003 place count 3480 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 267 with 3 rules applied. Total rules applied 51006 place count 3480 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 268 with 15 rules applied. Total rules applied 51021 place count 3480 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 268 with 4 rules applied. Total rules applied 51025 place count 3478 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 268 with 3 rules applied. Total rules applied 51028 place count 3478 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 269 with 15 rules applied. Total rules applied 51043 place count 3478 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 269 with 4 rules applied. Total rules applied 51047 place count 3476 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 269 with 3 rules applied. Total rules applied 51050 place count 3476 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 270 with 15 rules applied. Total rules applied 51065 place count 3476 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 270 with 4 rules applied. Total rules applied 51069 place count 3474 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 270 with 3 rules applied. Total rules applied 51072 place count 3474 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 271 with 15 rules applied. Total rules applied 51087 place count 3474 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 271 with 4 rules applied. Total rules applied 51091 place count 3472 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 271 with 3 rules applied. Total rules applied 51094 place count 3472 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 272 with 15 rules applied. Total rules applied 51109 place count 3472 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 272 with 4 rules applied. Total rules applied 51113 place count 3470 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 272 with 3 rules applied. Total rules applied 51116 place count 3470 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 273 with 15 rules applied. Total rules applied 51131 place count 3470 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 273 with 4 rules applied. Total rules applied 51135 place count 3468 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 273 with 3 rules applied. Total rules applied 51138 place count 3468 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 274 with 15 rules applied. Total rules applied 51153 place count 3468 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 274 with 4 rules applied. Total rules applied 51157 place count 3466 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 274 with 3 rules applied. Total rules applied 51160 place count 3466 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 275 with 15 rules applied. Total rules applied 51175 place count 3466 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 275 with 4 rules applied. Total rules applied 51179 place count 3464 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 275 with 3 rules applied. Total rules applied 51182 place count 3464 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 276 with 15 rules applied. Total rules applied 51197 place count 3464 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 276 with 4 rules applied. Total rules applied 51201 place count 3462 transition count 9187
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 276 with 3 rules applied. Total rules applied 51204 place count 3462 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 277 with 15 rules applied. Total rules applied 51219 place count 3462 transition count 9169
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 277 with 4 rules applied. Total rules applied 51223 place count 3460 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 277 with 3 rules applied. Total rules applied 51226 place count 3460 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 278 with 15 rules applied. Total rules applied 51241 place count 3460 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 278 with 4 rules applied. Total rules applied 51245 place count 3458 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 278 with 3 rules applied. Total rules applied 51248 place count 3458 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 279 with 15 rules applied. Total rules applied 51263 place count 3458 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 279 with 4 rules applied. Total rules applied 51267 place count 3456 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 279 with 3 rules applied. Total rules applied 51270 place count 3456 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 280 with 15 rules applied. Total rules applied 51285 place count 3456 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 280 with 4 rules applied. Total rules applied 51289 place count 3454 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 280 with 3 rules applied. Total rules applied 51292 place count 3454 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 281 with 15 rules applied. Total rules applied 51307 place count 3454 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 281 with 4 rules applied. Total rules applied 51311 place count 3452 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 281 with 3 rules applied. Total rules applied 51314 place count 3452 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 282 with 15 rules applied. Total rules applied 51329 place count 3452 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 282 with 4 rules applied. Total rules applied 51333 place count 3450 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 282 with 3 rules applied. Total rules applied 51336 place count 3450 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 283 with 15 rules applied. Total rules applied 51351 place count 3450 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 283 with 4 rules applied. Total rules applied 51355 place count 3448 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 283 with 3 rules applied. Total rules applied 51358 place count 3448 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 284 with 15 rules applied. Total rules applied 51373 place count 3448 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 284 with 4 rules applied. Total rules applied 51377 place count 3446 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 284 with 3 rules applied. Total rules applied 51380 place count 3446 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 285 with 15 rules applied. Total rules applied 51395 place count 3446 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 285 with 4 rules applied. Total rules applied 51399 place count 3444 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 285 with 3 rules applied. Total rules applied 51402 place count 3444 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 286 with 15 rules applied. Total rules applied 51417 place count 3444 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 286 with 4 rules applied. Total rules applied 51421 place count 3442 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 286 with 3 rules applied. Total rules applied 51424 place count 3442 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 287 with 15 rules applied. Total rules applied 51439 place count 3442 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 287 with 4 rules applied. Total rules applied 51443 place count 3440 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 287 with 3 rules applied. Total rules applied 51446 place count 3440 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 288 with 15 rules applied. Total rules applied 51461 place count 3440 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 288 with 4 rules applied. Total rules applied 51465 place count 3438 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 288 with 3 rules applied. Total rules applied 51468 place count 3438 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 289 with 15 rules applied. Total rules applied 51483 place count 3438 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 289 with 4 rules applied. Total rules applied 51487 place count 3436 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 289 with 3 rules applied. Total rules applied 51490 place count 3436 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 290 with 15 rules applied. Total rules applied 51505 place count 3436 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 290 with 4 rules applied. Total rules applied 51509 place count 3434 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 290 with 3 rules applied. Total rules applied 51512 place count 3434 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 291 with 15 rules applied. Total rules applied 51527 place count 3434 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 291 with 4 rules applied. Total rules applied 51531 place count 3432 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 291 with 3 rules applied. Total rules applied 51534 place count 3432 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 292 with 15 rules applied. Total rules applied 51549 place count 3432 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 292 with 4 rules applied. Total rules applied 51553 place count 3430 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 292 with 3 rules applied. Total rules applied 51556 place count 3430 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 293 with 15 rules applied. Total rules applied 51571 place count 3430 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 293 with 4 rules applied. Total rules applied 51575 place count 3428 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 293 with 3 rules applied. Total rules applied 51578 place count 3428 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 294 with 15 rules applied. Total rules applied 51593 place count 3428 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 294 with 4 rules applied. Total rules applied 51597 place count 3426 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 294 with 3 rules applied. Total rules applied 51600 place count 3426 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 295 with 15 rules applied. Total rules applied 51615 place count 3426 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 295 with 4 rules applied. Total rules applied 51619 place count 3424 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 295 with 3 rules applied. Total rules applied 51622 place count 3424 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 296 with 15 rules applied. Total rules applied 51637 place count 3424 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 296 with 4 rules applied. Total rules applied 51641 place count 3422 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 296 with 3 rules applied. Total rules applied 51644 place count 3422 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 297 with 15 rules applied. Total rules applied 51659 place count 3422 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 297 with 4 rules applied. Total rules applied 51663 place count 3420 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 297 with 3 rules applied. Total rules applied 51666 place count 3420 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 298 with 15 rules applied. Total rules applied 51681 place count 3420 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 298 with 4 rules applied. Total rules applied 51685 place count 3418 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 298 with 3 rules applied. Total rules applied 51688 place count 3418 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 299 with 15 rules applied. Total rules applied 51703 place count 3418 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 299 with 4 rules applied. Total rules applied 51707 place count 3416 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 299 with 3 rules applied. Total rules applied 51710 place count 3416 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 300 with 15 rules applied. Total rules applied 51725 place count 3416 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 300 with 4 rules applied. Total rules applied 51729 place count 3414 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 300 with 3 rules applied. Total rules applied 51732 place count 3414 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 301 with 15 rules applied. Total rules applied 51747 place count 3414 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 301 with 4 rules applied. Total rules applied 51751 place count 3412 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 301 with 3 rules applied. Total rules applied 51754 place count 3412 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 302 with 15 rules applied. Total rules applied 51769 place count 3412 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 302 with 4 rules applied. Total rules applied 51773 place count 3410 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 302 with 3 rules applied. Total rules applied 51776 place count 3410 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 303 with 15 rules applied. Total rules applied 51791 place count 3410 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 303 with 4 rules applied. Total rules applied 51795 place count 3408 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 303 with 3 rules applied. Total rules applied 51798 place count 3408 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 304 with 15 rules applied. Total rules applied 51813 place count 3408 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 304 with 4 rules applied. Total rules applied 51817 place count 3406 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 304 with 3 rules applied. Total rules applied 51820 place count 3406 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 305 with 15 rules applied. Total rules applied 51835 place count 3406 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 305 with 4 rules applied. Total rules applied 51839 place count 3404 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 305 with 3 rules applied. Total rules applied 51842 place count 3404 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 306 with 15 rules applied. Total rules applied 51857 place count 3404 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 306 with 4 rules applied. Total rules applied 51861 place count 3402 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 306 with 3 rules applied. Total rules applied 51864 place count 3402 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 307 with 15 rules applied. Total rules applied 51879 place count 3402 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 307 with 4 rules applied. Total rules applied 51883 place count 3400 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 307 with 3 rules applied. Total rules applied 51886 place count 3400 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 308 with 15 rules applied. Total rules applied 51901 place count 3400 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 308 with 4 rules applied. Total rules applied 51905 place count 3398 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 308 with 3 rules applied. Total rules applied 51908 place count 3398 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 309 with 15 rules applied. Total rules applied 51923 place count 3398 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 309 with 4 rules applied. Total rules applied 51927 place count 3396 transition count 9188
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 309 with 3 rules applied. Total rules applied 51930 place count 3396 transition count 9185
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 310 with 15 rules applied. Total rules applied 51945 place count 3396 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 310 with 4 rules applied. Total rules applied 51949 place count 3394 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 310 with 3 rules applied. Total rules applied 51952 place count 3394 transition count 9186
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 311 with 15 rules applied. Total rules applied 51967 place count 3394 transition count 9171
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 311 with 4 rules applied. Total rules applied 51971 place count 3392 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 311 with 3 rules applied. Total rules applied 51974 place count 3392 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 312 with 15 rules applied. Total rules applied 51989 place count 3392 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 312 with 4 rules applied. Total rules applied 51993 place count 3390 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 312 with 3 rules applied. Total rules applied 51996 place count 3390 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 313 with 15 rules applied. Total rules applied 52011 place count 3390 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 313 with 4 rules applied. Total rules applied 52015 place count 3388 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 313 with 3 rules applied. Total rules applied 52018 place count 3388 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 314 with 15 rules applied. Total rules applied 52033 place count 3388 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 314 with 4 rules applied. Total rules applied 52037 place count 3386 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 314 with 3 rules applied. Total rules applied 52040 place count 3386 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 315 with 15 rules applied. Total rules applied 52055 place count 3386 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 315 with 4 rules applied. Total rules applied 52059 place count 3384 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 315 with 3 rules applied. Total rules applied 52062 place count 3384 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 316 with 15 rules applied. Total rules applied 52077 place count 3384 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 316 with 4 rules applied. Total rules applied 52081 place count 3382 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 316 with 3 rules applied. Total rules applied 52084 place count 3382 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 317 with 15 rules applied. Total rules applied 52099 place count 3382 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 317 with 4 rules applied. Total rules applied 52103 place count 3380 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 317 with 3 rules applied. Total rules applied 52106 place count 3380 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 318 with 15 rules applied. Total rules applied 52121 place count 3380 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 318 with 4 rules applied. Total rules applied 52125 place count 3378 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 318 with 3 rules applied. Total rules applied 52128 place count 3378 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 319 with 15 rules applied. Total rules applied 52143 place count 3378 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 319 with 4 rules applied. Total rules applied 52147 place count 3376 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 319 with 3 rules applied. Total rules applied 52150 place count 3376 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 320 with 15 rules applied. Total rules applied 52165 place count 3376 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 320 with 4 rules applied. Total rules applied 52169 place count 3374 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 320 with 3 rules applied. Total rules applied 52172 place count 3374 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 321 with 15 rules applied. Total rules applied 52187 place count 3374 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 321 with 4 rules applied. Total rules applied 52191 place count 3372 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 321 with 3 rules applied. Total rules applied 52194 place count 3372 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 322 with 15 rules applied. Total rules applied 52209 place count 3372 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 322 with 4 rules applied. Total rules applied 52213 place count 3370 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 322 with 3 rules applied. Total rules applied 52216 place count 3370 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 323 with 15 rules applied. Total rules applied 52231 place count 3370 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 323 with 4 rules applied. Total rules applied 52235 place count 3368 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 323 with 3 rules applied. Total rules applied 52238 place count 3368 transition count 9187
Renaming transitions due to excessive name length > 1024 char.
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 324 with 15 rules applied. Total rules applied 52253 place count 3368 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 324 with 4 rules applied. Total rules applied 52257 place count 3366 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 324 with 3 rules applied. Total rules applied 52260 place count 3366 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 325 with 15 rules applied. Total rules applied 52275 place count 3366 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 325 with 4 rules applied. Total rules applied 52279 place count 3364 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 325 with 3 rules applied. Total rules applied 52282 place count 3364 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 326 with 15 rules applied. Total rules applied 52297 place count 3364 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 326 with 4 rules applied. Total rules applied 52301 place count 3362 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 326 with 3 rules applied. Total rules applied 52304 place count 3362 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 327 with 15 rules applied. Total rules applied 52319 place count 3362 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 327 with 4 rules applied. Total rules applied 52323 place count 3360 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 327 with 3 rules applied. Total rules applied 52326 place count 3360 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 328 with 15 rules applied. Total rules applied 52341 place count 3360 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 328 with 4 rules applied. Total rules applied 52345 place count 3358 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 328 with 3 rules applied. Total rules applied 52348 place count 3358 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 329 with 15 rules applied. Total rules applied 52363 place count 3358 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 329 with 4 rules applied. Total rules applied 52367 place count 3356 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 329 with 3 rules applied. Total rules applied 52370 place count 3356 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 330 with 15 rules applied. Total rules applied 52385 place count 3356 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 330 with 4 rules applied. Total rules applied 52389 place count 3354 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 330 with 3 rules applied. Total rules applied 52392 place count 3354 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 331 with 15 rules applied. Total rules applied 52407 place count 3354 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 331 with 4 rules applied. Total rules applied 52411 place count 3352 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 331 with 3 rules applied. Total rules applied 52414 place count 3352 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 332 with 15 rules applied. Total rules applied 52429 place count 3352 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 332 with 4 rules applied. Total rules applied 52433 place count 3350 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 332 with 3 rules applied. Total rules applied 52436 place count 3350 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 333 with 15 rules applied. Total rules applied 52451 place count 3350 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 333 with 4 rules applied. Total rules applied 52455 place count 3348 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 333 with 3 rules applied. Total rules applied 52458 place count 3348 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 334 with 15 rules applied. Total rules applied 52473 place count 3348 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 334 with 4 rules applied. Total rules applied 52477 place count 3346 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 334 with 3 rules applied. Total rules applied 52480 place count 3346 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 335 with 15 rules applied. Total rules applied 52495 place count 3346 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 335 with 4 rules applied. Total rules applied 52499 place count 3344 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 335 with 3 rules applied. Total rules applied 52502 place count 3344 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 336 with 15 rules applied. Total rules applied 52517 place count 3344 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 336 with 4 rules applied. Total rules applied 52521 place count 3342 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 336 with 3 rules applied. Total rules applied 52524 place count 3342 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 337 with 15 rules applied. Total rules applied 52539 place count 3342 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 337 with 4 rules applied. Total rules applied 52543 place count 3340 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 337 with 3 rules applied. Total rules applied 52546 place count 3340 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 338 with 15 rules applied. Total rules applied 52561 place count 3340 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 338 with 4 rules applied. Total rules applied 52565 place count 3338 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 338 with 3 rules applied. Total rules applied 52568 place count 3338 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 339 with 15 rules applied. Total rules applied 52583 place count 3338 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 339 with 4 rules applied. Total rules applied 52587 place count 3336 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 339 with 3 rules applied. Total rules applied 52590 place count 3336 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 340 with 15 rules applied. Total rules applied 52605 place count 3336 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 340 with 4 rules applied. Total rules applied 52609 place count 3334 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 340 with 3 rules applied. Total rules applied 52612 place count 3334 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 341 with 15 rules applied. Total rules applied 52627 place count 3334 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 341 with 4 rules applied. Total rules applied 52631 place count 3332 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 341 with 3 rules applied. Total rules applied 52634 place count 3332 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 342 with 15 rules applied. Total rules applied 52649 place count 3332 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 342 with 4 rules applied. Total rules applied 52653 place count 3330 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 342 with 3 rules applied. Total rules applied 52656 place count 3330 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 343 with 15 rules applied. Total rules applied 52671 place count 3330 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 343 with 4 rules applied. Total rules applied 52675 place count 3328 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 343 with 3 rules applied. Total rules applied 52678 place count 3328 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 344 with 15 rules applied. Total rules applied 52693 place count 3328 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 344 with 4 rules applied. Total rules applied 52697 place count 3326 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 344 with 3 rules applied. Total rules applied 52700 place count 3326 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 345 with 15 rules applied. Total rules applied 52715 place count 3326 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 345 with 4 rules applied. Total rules applied 52719 place count 3324 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 345 with 3 rules applied. Total rules applied 52722 place count 3324 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 346 with 15 rules applied. Total rules applied 52737 place count 3324 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 346 with 4 rules applied. Total rules applied 52741 place count 3322 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 346 with 3 rules applied. Total rules applied 52744 place count 3322 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 347 with 15 rules applied. Total rules applied 52759 place count 3322 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 347 with 4 rules applied. Total rules applied 52763 place count 3320 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 347 with 3 rules applied. Total rules applied 52766 place count 3320 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 348 with 15 rules applied. Total rules applied 52781 place count 3320 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 348 with 4 rules applied. Total rules applied 52785 place count 3318 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 348 with 3 rules applied. Total rules applied 52788 place count 3318 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 349 with 15 rules applied. Total rules applied 52803 place count 3318 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 349 with 4 rules applied. Total rules applied 52807 place count 3316 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 349 with 3 rules applied. Total rules applied 52810 place count 3316 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 350 with 15 rules applied. Total rules applied 52825 place count 3316 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 350 with 4 rules applied. Total rules applied 52829 place count 3314 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 350 with 3 rules applied. Total rules applied 52832 place count 3314 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 351 with 15 rules applied. Total rules applied 52847 place count 3314 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 351 with 4 rules applied. Total rules applied 52851 place count 3312 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 351 with 3 rules applied. Total rules applied 52854 place count 3312 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 352 with 15 rules applied. Total rules applied 52869 place count 3312 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 352 with 4 rules applied. Total rules applied 52873 place count 3310 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 352 with 3 rules applied. Total rules applied 52876 place count 3310 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 353 with 15 rules applied. Total rules applied 52891 place count 3310 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 353 with 4 rules applied. Total rules applied 52895 place count 3308 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 353 with 3 rules applied. Total rules applied 52898 place count 3308 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 354 with 15 rules applied. Total rules applied 52913 place count 3308 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 354 with 4 rules applied. Total rules applied 52917 place count 3306 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 354 with 3 rules applied. Total rules applied 52920 place count 3306 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 355 with 15 rules applied. Total rules applied 52935 place count 3306 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 355 with 4 rules applied. Total rules applied 52939 place count 3304 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 355 with 3 rules applied. Total rules applied 52942 place count 3304 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 356 with 15 rules applied. Total rules applied 52957 place count 3304 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 356 with 4 rules applied. Total rules applied 52961 place count 3302 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 356 with 3 rules applied. Total rules applied 52964 place count 3302 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 357 with 15 rules applied. Total rules applied 52979 place count 3302 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 357 with 4 rules applied. Total rules applied 52983 place count 3300 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 357 with 3 rules applied. Total rules applied 52986 place count 3300 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 358 with 15 rules applied. Total rules applied 53001 place count 3300 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 358 with 4 rules applied. Total rules applied 53005 place count 3298 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 358 with 3 rules applied. Total rules applied 53008 place count 3298 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 359 with 15 rules applied. Total rules applied 53023 place count 3298 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 359 with 4 rules applied. Total rules applied 53027 place count 3296 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 359 with 3 rules applied. Total rules applied 53030 place count 3296 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 360 with 15 rules applied. Total rules applied 53045 place count 3296 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 360 with 4 rules applied. Total rules applied 53049 place count 3294 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 360 with 3 rules applied. Total rules applied 53052 place count 3294 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 361 with 15 rules applied. Total rules applied 53067 place count 3294 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 361 with 4 rules applied. Total rules applied 53071 place count 3292 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 361 with 3 rules applied. Total rules applied 53074 place count 3292 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 362 with 15 rules applied. Total rules applied 53089 place count 3292 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 362 with 4 rules applied. Total rules applied 53093 place count 3290 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 362 with 3 rules applied. Total rules applied 53096 place count 3290 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 363 with 15 rules applied. Total rules applied 53111 place count 3290 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 363 with 4 rules applied. Total rules applied 53115 place count 3288 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 363 with 3 rules applied. Total rules applied 53118 place count 3288 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 364 with 15 rules applied. Total rules applied 53133 place count 3288 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 364 with 4 rules applied. Total rules applied 53137 place count 3286 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 364 with 3 rules applied. Total rules applied 53140 place count 3286 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 365 with 15 rules applied. Total rules applied 53155 place count 3286 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 365 with 4 rules applied. Total rules applied 53159 place count 3284 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 365 with 3 rules applied. Total rules applied 53162 place count 3284 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 366 with 15 rules applied. Total rules applied 53177 place count 3284 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 366 with 4 rules applied. Total rules applied 53181 place count 3282 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 366 with 3 rules applied. Total rules applied 53184 place count 3282 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 367 with 15 rules applied. Total rules applied 53199 place count 3282 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 367 with 4 rules applied. Total rules applied 53203 place count 3280 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 367 with 3 rules applied. Total rules applied 53206 place count 3280 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 368 with 15 rules applied. Total rules applied 53221 place count 3280 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 368 with 4 rules applied. Total rules applied 53225 place count 3278 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 368 with 3 rules applied. Total rules applied 53228 place count 3278 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 369 with 15 rules applied. Total rules applied 53243 place count 3278 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 369 with 4 rules applied. Total rules applied 53247 place count 3276 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 369 with 3 rules applied. Total rules applied 53250 place count 3276 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 370 with 15 rules applied. Total rules applied 53265 place count 3276 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 370 with 4 rules applied. Total rules applied 53269 place count 3274 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 370 with 3 rules applied. Total rules applied 53272 place count 3274 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 371 with 15 rules applied. Total rules applied 53287 place count 3274 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 371 with 4 rules applied. Total rules applied 53291 place count 3272 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 371 with 3 rules applied. Total rules applied 53294 place count 3272 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 372 with 15 rules applied. Total rules applied 53309 place count 3272 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 372 with 4 rules applied. Total rules applied 53313 place count 3270 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 372 with 3 rules applied. Total rules applied 53316 place count 3270 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 373 with 15 rules applied. Total rules applied 53331 place count 3270 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 373 with 4 rules applied. Total rules applied 53335 place count 3268 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 373 with 3 rules applied. Total rules applied 53338 place count 3268 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 374 with 15 rules applied. Total rules applied 53353 place count 3268 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 374 with 4 rules applied. Total rules applied 53357 place count 3266 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 374 with 3 rules applied. Total rules applied 53360 place count 3266 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 375 with 15 rules applied. Total rules applied 53375 place count 3266 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 375 with 4 rules applied. Total rules applied 53379 place count 3264 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 375 with 3 rules applied. Total rules applied 53382 place count 3264 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 376 with 15 rules applied. Total rules applied 53397 place count 3264 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 376 with 4 rules applied. Total rules applied 53401 place count 3262 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 376 with 3 rules applied. Total rules applied 53404 place count 3262 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 377 with 15 rules applied. Total rules applied 53419 place count 3262 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 377 with 4 rules applied. Total rules applied 53423 place count 3260 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 377 with 3 rules applied. Total rules applied 53426 place count 3260 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 378 with 15 rules applied. Total rules applied 53441 place count 3260 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 378 with 4 rules applied. Total rules applied 53445 place count 3258 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 378 with 3 rules applied. Total rules applied 53448 place count 3258 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 379 with 15 rules applied. Total rules applied 53463 place count 3258 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 379 with 4 rules applied. Total rules applied 53467 place count 3256 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 379 with 3 rules applied. Total rules applied 53470 place count 3256 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 380 with 15 rules applied. Total rules applied 53485 place count 3256 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 380 with 4 rules applied. Total rules applied 53489 place count 3254 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 380 with 3 rules applied. Total rules applied 53492 place count 3254 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 381 with 15 rules applied. Total rules applied 53507 place count 3254 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 381 with 4 rules applied. Total rules applied 53511 place count 3252 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 381 with 3 rules applied. Total rules applied 53514 place count 3252 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 382 with 15 rules applied. Total rules applied 53529 place count 3252 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 382 with 4 rules applied. Total rules applied 53533 place count 3250 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 382 with 3 rules applied. Total rules applied 53536 place count 3250 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 383 with 15 rules applied. Total rules applied 53551 place count 3250 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 383 with 4 rules applied. Total rules applied 53555 place count 3248 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 383 with 3 rules applied. Total rules applied 53558 place count 3248 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 384 with 15 rules applied. Total rules applied 53573 place count 3248 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 384 with 4 rules applied. Total rules applied 53577 place count 3246 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 384 with 3 rules applied. Total rules applied 53580 place count 3246 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 385 with 15 rules applied. Total rules applied 53595 place count 3246 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 385 with 4 rules applied. Total rules applied 53599 place count 3244 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 385 with 3 rules applied. Total rules applied 53602 place count 3244 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 386 with 15 rules applied. Total rules applied 53617 place count 3244 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 386 with 4 rules applied. Total rules applied 53621 place count 3242 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 386 with 3 rules applied. Total rules applied 53624 place count 3242 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 387 with 15 rules applied. Total rules applied 53639 place count 3242 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 387 with 4 rules applied. Total rules applied 53643 place count 3240 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 387 with 3 rules applied. Total rules applied 53646 place count 3240 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 388 with 15 rules applied. Total rules applied 53661 place count 3240 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 388 with 4 rules applied. Total rules applied 53665 place count 3238 transition count 9190
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 388 with 3 rules applied. Total rules applied 53668 place count 3238 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 389 with 15 rules applied. Total rules applied 53683 place count 3238 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 389 with 4 rules applied. Total rules applied 53687 place count 3236 transition count 9191
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 389 with 3 rules applied. Total rules applied 53690 place count 3236 transition count 9188
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 390 with 15 rules applied. Total rules applied 53705 place count 3236 transition count 9173
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 390 with 4 rules applied. Total rules applied 53709 place count 3234 transition count 9191
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 390 with 3 rules applied. Total rules applied 53712 place count 3234 transition count 9188
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 391 with 15 rules applied. Total rules applied 53727 place count 3234 transition count 9173
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 391 with 4 rules applied. Total rules applied 53731 place count 3232 transition count 9191
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 391 with 3 rules applied. Total rules applied 53734 place count 3232 transition count 9188
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 392 with 15 rules applied. Total rules applied 53749 place count 3232 transition count 9173
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 392 with 4 rules applied. Total rules applied 53753 place count 3230 transition count 9191
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 392 with 3 rules applied. Total rules applied 53756 place count 3230 transition count 9188
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 393 with 15 rules applied. Total rules applied 53771 place count 3230 transition count 9173
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 393 with 4 rules applied. Total rules applied 53775 place count 3228 transition count 9191
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 393 with 3 rules applied. Total rules applied 53778 place count 3228 transition count 9188
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 394 with 15 rules applied. Total rules applied 53793 place count 3228 transition count 9173
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 394 with 4 rules applied. Total rules applied 53797 place count 3226 transition count 9191
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 394 with 3 rules applied. Total rules applied 53800 place count 3226 transition count 9188
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 395 with 15 rules applied. Total rules applied 53815 place count 3226 transition count 9173
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 395 with 4 rules applied. Total rules applied 53819 place count 3224 transition count 9191
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 395 with 3 rules applied. Total rules applied 53822 place count 3224 transition count 9188
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 396 with 15 rules applied. Total rules applied 53837 place count 3224 transition count 9173
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -16
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 396 with 4 rules applied. Total rules applied 53841 place count 3222 transition count 9189
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 396 with 2 rules applied. Total rules applied 53843 place count 3222 transition count 9187
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 397 with 15 rules applied. Total rules applied 53858 place count 3222 transition count 9172
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 397 with 4 rules applied. Total rules applied 53862 place count 3220 transition count 9186
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 397 with 2 rules applied. Total rules applied 53864 place count 3220 transition count 9184
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 398 with 14 rules applied. Total rules applied 53878 place count 3220 transition count 9170
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 398 with 4 rules applied. Total rules applied 53882 place count 3218 transition count 9184
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 398 with 2 rules applied. Total rules applied 53884 place count 3218 transition count 9182
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 399 with 14 rules applied. Total rules applied 53898 place count 3218 transition count 9168
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 399 with 4 rules applied. Total rules applied 53902 place count 3216 transition count 9182
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 399 with 2 rules applied. Total rules applied 53904 place count 3216 transition count 9180
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 400 with 14 rules applied. Total rules applied 53918 place count 3216 transition count 9166
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 400 with 4 rules applied. Total rules applied 53922 place count 3214 transition count 9180
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 400 with 2 rules applied. Total rules applied 53924 place count 3214 transition count 9178
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 401 with 14 rules applied. Total rules applied 53938 place count 3214 transition count 9164
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 401 with 4 rules applied. Total rules applied 53942 place count 3212 transition count 9178
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 401 with 2 rules applied. Total rules applied 53944 place count 3212 transition count 9176
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 402 with 14 rules applied. Total rules applied 53958 place count 3212 transition count 9162
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 402 with 4 rules applied. Total rules applied 53962 place count 3210 transition count 9176
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 402 with 2 rules applied. Total rules applied 53964 place count 3210 transition count 9174
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 403 with 14 rules applied. Total rules applied 53978 place count 3210 transition count 9160
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 403 with 4 rules applied. Total rules applied 53982 place count 3208 transition count 9174
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 403 with 2 rules applied. Total rules applied 53984 place count 3208 transition count 9172
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 404 with 14 rules applied. Total rules applied 53998 place count 3208 transition count 9158
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 404 with 4 rules applied. Total rules applied 54002 place count 3206 transition count 9172
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 404 with 2 rules applied. Total rules applied 54004 place count 3206 transition count 9170
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 405 with 14 rules applied. Total rules applied 54018 place count 3206 transition count 9156
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 405 with 4 rules applied. Total rules applied 54022 place count 3204 transition count 9170
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 405 with 2 rules applied. Total rules applied 54024 place count 3204 transition count 9168
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 406 with 14 rules applied. Total rules applied 54038 place count 3204 transition count 9154
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 406 with 2 rules applied. Total rules applied 54040 place count 3203 transition count 9159
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 406 with 1 rules applied. Total rules applied 54041 place count 3203 transition count 9158
Drop transitions (Redundant composition of simpler transitions.) removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 407 with 5 rules applied. Total rules applied 54046 place count 3203 transition count 9153
Free-agglomeration rule applied 475 times with reduction of 70 identical transitions.
Iterating global reduction 407 with 475 rules applied. Total rules applied 54521 place count 3203 transition count 8608
Reduce places removed 475 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 3097 transitions
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 3103 transitions.
Graph (complete) has 8326 edges and 2728 vertex of which 306 are kept as prefixes of interest. Removing 2422 places using SCC suffix rule.5 ms
Discarding 2422 places :
Also discarding 3756 output transitions
Drop transitions (Output transitions of discarded places.) removed 3756 transitions
Iterating post reduction 407 with 3579 rules applied. Total rules applied 58100 place count 306 transition count 1749
Drop transitions (Empty/Sink Transition effects.) removed 1102 transitions
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 1117 transitions.
Iterating post reduction 408 with 1117 rules applied. Total rules applied 59217 place count 306 transition count 632
Drop transitions (Redundant composition of simpler transitions.) removed 65 transitions
Redundant transition composition rules discarded 65 transitions
Iterating global reduction 409 with 65 rules applied. Total rules applied 59282 place count 306 transition count 567
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 409 with 1 rules applied. Total rules applied 59283 place count 305 transition count 567
Applied a total of 59283 rules in 655720 ms. Remains 305 /27146 variables (removed 26841) and now considering 567/39849 (removed 39282) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 655720 ms. Remains : 305/27146 places, 567/39849 transitions.
Computed a total of 6377 stabilizing places and 6377 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202405141337/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(((p0&&F(p1)) U p2)))'
Support contains 6 out of 27146 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25285 edges and 27146 vertex of which 2218 / 27146 are part of one of the 143 SCC in 14 ms
Free SCC test removed 2075 places
Ensure Unique test removed 2206 transitions
Reduce isomorphic transitions removed 2206 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12923 transitions
Trivial Post-agglo rules discarded 12923 transitions
Performed 12923 trivial Post agglomeration. Transition count delta: 12923
Iterating post reduction 0 with 12923 rules applied. Total rules applied 12924 place count 25070 transition count 24719
Reduce places removed 12923 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13686 rules applied. Total rules applied 26610 place count 12147 transition count 23956
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27235 place count 11768 transition count 23710
Reduce places removed 123 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 3 with 127 rules applied. Total rules applied 27362 place count 11645 transition count 23706
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 27366 place count 11641 transition count 23706
Performed 126 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 126 Pre rules applied. Total rules applied 27366 place count 11641 transition count 23580
Deduced a syphon composed of 126 places in 1001 ms
Reduce places removed 126 places and 0 transitions.
Iterating global reduction 5 with 252 rules applied. Total rules applied 27618 place count 11515 transition count 23580
Discarding 3282 places :
Symmetric choice reduction at 5 with 3282 rule applications. Total rules 30900 place count 8233 transition count 20298
Iterating global reduction 5 with 3282 rules applied. Total rules applied 34182 place count 8233 transition count 20298
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1249 Pre rules applied. Total rules applied 34182 place count 8233 transition count 19049
Deduced a syphon composed of 1249 places in 796 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 5 with 2498 rules applied. Total rules applied 36680 place count 6984 transition count 19049
Discarding 276 places :
Symmetric choice reduction at 5 with 276 rule applications. Total rules 36956 place count 6708 transition count 13765
Iterating global reduction 5 with 276 rules applied. Total rules applied 37232 place count 6708 transition count 13765
Ensure Unique test removed 252 transitions
Reduce isomorphic transitions removed 252 transitions.
Iterating post reduction 5 with 252 rules applied. Total rules applied 37484 place count 6708 transition count 13513
Performed 1785 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1785 places in 3 ms
Reduce places removed 1785 places and 0 transitions.
Iterating global reduction 6 with 3570 rules applied. Total rules applied 41054 place count 4923 transition count 11723
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 6 with 4 rules applied. Total rules applied 41058 place count 4923 transition count 11719
Renaming transitions due to excessive name length > 1024 char.
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 41059 place count 4922 transition count 11592
Iterating global reduction 7 with 1 rules applied. Total rules applied 41060 place count 4922 transition count 11592
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41262 place count 4821 transition count 12062
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41263 place count 4821 transition count 12061
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41297 place count 4787 transition count 11721
Iterating global reduction 8 with 34 rules applied. Total rules applied 41331 place count 4787 transition count 11721
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 8 with 166 rules applied. Total rules applied 41497 place count 4787 transition count 11555
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41699 place count 4686 transition count 12024
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41732 place count 4653 transition count 11694
Iterating global reduction 9 with 33 rules applied. Total rules applied 41765 place count 4653 transition count 11694
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 9 with 165 rules applied. Total rules applied 41930 place count 4653 transition count 11529
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42132 place count 4552 transition count 12001
Discarding 34 places :
Symmetric choice reduction at 10 with 34 rule applications. Total rules 42166 place count 4518 transition count 11661
Iterating global reduction 10 with 34 rules applied. Total rules applied 42200 place count 4518 transition count 11661
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 10 with 170 rules applied. Total rules applied 42370 place count 4518 transition count 11491
Performed 75 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 75 places in 2 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 11 with 150 rules applied. Total rules applied 42520 place count 4443 transition count 11866
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42542 place count 4421 transition count 11646
Iterating global reduction 11 with 22 rules applied. Total rules applied 42564 place count 4421 transition count 11646
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42674 place count 4421 transition count 11536
Drop transitions (Redundant composition of simpler transitions.) removed 35 transitions
Redundant transition composition rules discarded 35 transitions
Iterating global reduction 12 with 35 rules applied. Total rules applied 42709 place count 4421 transition count 11501
Discarding 8 places :
Symmetric choice reduction at 12 with 8 rule applications. Total rules 42717 place count 4413 transition count 11485
Iterating global reduction 12 with 8 rules applied. Total rules applied 42725 place count 4413 transition count 11485
Discarding 8 places :
Symmetric choice reduction at 12 with 8 rule applications. Total rules 42733 place count 4405 transition count 10463
Iterating global reduction 12 with 8 rules applied. Total rules applied 42741 place count 4405 transition count 10463
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 12 with 8 rules applied. Total rules applied 42749 place count 4405 transition count 10455
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42750 place count 4404 transition count 10454
Applied a total of 42750 rules in 20989 ms. Remains 4404 /27146 variables (removed 22742) and now considering 10454/39849 (removed 29395) transitions.
[2024-05-23 01:59:16] [INFO ] Flow matrix only has 10305 transitions (discarded 149 similar events)
// Phase 1: matrix 10305 rows 4404 cols
[2024-05-23 01:59:16] [INFO ] Computed 1378 invariants in 32 ms
[2024-05-23 01:59:20] [INFO ] Implicit Places using invariants in 4954 ms returned []
Implicit Place search using SMT only with invariants took 4955 ms to find 0 implicit places.
Running 9928 sub problems to find dead transitions.
[2024-05-23 01:59:21] [INFO ] Flow matrix only has 10305 transitions (discarded 149 similar events)
[2024-05-23 01:59:21] [INFO ] Invariant cache hit.
[2024-05-23 01:59:21] [INFO ] State equation strengthened by 771 read => feed constraints.
BK_STOP 1716429587821
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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="DLCshifumi-PT-5b"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is DLCshifumi-PT-5b, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-smll-171624275800347"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;