About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ?F??F??????????? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524600500.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C11, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524600500
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 35M
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 79K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 29K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.0K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 7 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 35M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1749265692376
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C11
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202505121319
[2025-06-07 03:08:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-07 03:08:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 03:08:16] [INFO ] Load time of PNML (sax parser for PT used): 2338 ms
[2025-06-07 03:08:16] [INFO ] Transformed 34406 places.
[2025-06-07 03:08:17] [INFO ] Transformed 51525 transitions.
[2025-06-07 03:08:17] [INFO ] Parsed PT model containing 34406 places and 51525 transitions and 192310 arcs in 2859 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 48 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 57 out of 34406 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 34406/34406 places, 51525/51525 transitions.
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 0 with 58 rules applied. Total rules applied 58 place count 34348 transition count 51525
Applied a total of 58 rules in 3879 ms. Remains 34348 /34406 variables (removed 58) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 03:08:22] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34348 cols
[2025-06-07 03:08:44] [INFO ] Computed 1905 invariants in 22374 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:09:30] [INFO ] Performed 2876/34348 implicitness test of which 76 returned IMPLICIT in 30 seconds.
[2025-06-07 03:10:00] [INFO ] Performed 6071/34348 implicitness test of which 165 returned IMPLICIT in 60 seconds.
[2025-06-07 03:10:30] [INFO ] Performed 7522/34348 implicitness test of which 212 returned IMPLICIT in 90 seconds.
[2025-06-07 03:11:00] [INFO ] Performed 10141/34348 implicitness test of which 297 returned IMPLICIT in 120 seconds.
[2025-06-07 03:11:24] [INFO ] Implicit Places using invariants in 182582 ms returned [4, 8, 34, 62, 92, 124, 158, 194, 232, 272, 314, 358, 404, 452, 502, 554, 608, 663, 717, 769, 819, 867, 913, 957, 999, 1039, 1077, 1113, 1147, 1179, 1209, 1237, 1263, 1333, 1340, 1365, 1391, 1419, 1449, 1481, 1515, 1551, 1589, 1629, 1671, 1715, 1761, 1809, 1859, 1911, 1964, 2016, 2066, 2114, 2160, 2204, 2246, 2286, 2324, 2360, 2394, 2426, 2456, 2484, 2510, 2535, 2605, 2612, 2637, 2662, 2688, 2716, 2746, 2778, 2812, 2848, 2886, 2926, 2968, 3012, 3058, 3106, 3156, 3207, 3257, 3305, 3351, 3395, 3437, 3477, 3515, 3551, 3585, 3617, 3647, 3675, 3701, 3726, 3751, 3821, 3828, 3853, 3878, 3903, 3929, 3957, 3987, 4019, 4053, 4089, 4127, 4167, 4209, 4253, 4299, 4347, 4396, 4444, 4490, 4534, 4576, 4616, 4654, 4690, 4724, 4756, 4786, 4814, 4840, 4865, 4890, 4915, 4985, 4992, 5017, 5042, 5067, 5092, 5118, 5146, 5176, 5208, 5242, 5278, 5316, 5356, 5398, 5442, 5488, 5535, 5581, 5625, 5667, 5707, 5745, 5781, 5815, 5847, 5877, 5905, 5931, 5956, 5981, 6006, 6031, 6101, 6108, 6133, 6158, 6183, 6208, 6233, 6259, 6287, 6317, 6349, 6383, 6419, 6457, 6497, 6539, 6583, 6628, 6672, 6714, 6754, 6792, 6828, 6862, 6894, 6924, 6952, 6978, 7003, 7028, 7053, 7078, 7103, 7173, 7180, 7205, 7230, 7255, 7280, 7305, 7330, 7356, 7384, 7414, 7446, 7480, 7516, 7554, 7594, 7636, 7679, 7721, 7761, 7799, 7835, 7869, 7901, 7931, 7959, 7985, 8010, 8035, 8060, 8085, 8110, 8135, 8205, 8212, 8237, 8262, 8287, 8312, 8337, 8362, 8387, 8413, 8441, 8471, 8503, 8537, 8573, 8611, 8651, 8692, 8732, 8770, 8806, 8840, 8872, 8902, 8930, 8956, 8981, 9006, 9031, 9056, 9081, 9106, 9131, 9201, 9208, 9233, 9258, 9283, 9308, 9333, 9358, 9383, 9408, 9434, 9462, 9492, 9524, 9558, 9594, 9632, 9671, 9709, 9745, 9779, 9811, 9841, 9869, 9895, 9920, 9945, 9970, 9995, 10020, 10045, 10070, 10095, 10165, 10172, 10197, 10222, 10247, 10272, 10297, 10322, 10347, 10372, 10397, 10423, 10451, 10481, 10513, 10547, 10583, 10620, 10656, 10690, 10722, 10752, 10780, 10806, 10831, 10856, 10881, 10906, 10931, 10956, 10981, 11006, 11031, 11101]
[2025-06-07 03:11:24] [INFO ] Actually due to overlaps returned [1333, 2605, 3821, 4985, 6101, 7173, 8205, 9201, 10165, 11101, 4, 314, 358, 404, 452, 502, 554, 608, 663, 717, 769, 819, 867, 913, 957, 999, 1039, 1077, 1113, 1147, 1179, 1209, 1237, 1263, 1629, 1671, 1715, 1761, 1809, 1859, 1911, 1964, 2016, 2066, 2114, 2160, 2204, 2246, 2286, 2324, 2360, 2394, 2426, 2456, 2484, 2510, 2535, 2886, 2926, 2968, 3012, 3058, 3106, 3156, 3207, 3257, 3305, 3351, 3395, 3437, 3477, 3515, 3551, 3585, 3617, 3647, 3675, 3701, 3726, 3751, 4089, 4127, 4167, 4209, 4253, 4299, 4347, 4396, 4444, 4490, 4534, 4576, 4616, 4654, 4690, 4724, 4756, 4786, 4814, 4840, 4865, 4890, 4915, 5242, 5278, 5316, 5356, 5398, 5442, 5488, 5535, 5581, 5625, 5667, 5707, 5745, 5781, 5815, 5847, 5877, 5905, 5931, 5956, 5981, 6006, 6031, 6349, 6383, 6419, 6457, 6497, 6539, 6583, 6628, 6672, 6714, 6754, 6792, 6828, 6862, 6894, 6924, 6952, 6978, 7003, 7028, 7053, 7078, 7103, 7414, 7446, 7480, 7516, 7554, 7594, 7636, 7679, 7721, 7761, 7799, 7835, 7869, 7901, 7931, 7959, 7985, 8010, 8035, 8060, 8085, 8110, 8135, 8441, 8471, 8503, 8537, 8573, 8611, 8651, 8692, 8732, 8770, 8806, 8840, 8872, 8902, 8930, 8956, 8981, 9006, 9031, 9056, 9081, 9106, 9131, 9434, 9462, 9492, 9524, 9558, 9594, 9632, 9671, 9709, 9745, 9779, 9811, 9841, 9869, 9895, 9920, 9945, 9970, 9995, 10020, 10045, 10070, 10095, 10397, 10423, 10451, 10481, 10513, 10547, 10583, 10620, 10656, 10690, 10722, 10752, 10780, 10806, 10831, 10856, 10881, 10906, 10931, 10956, 10981, 11006, 11031]
Discarding 241 places :
Implicit Place search using SMT only with invariants took 182699 ms to find 241 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 34107/34406 places, 51525/51525 transitions.
Applied a total of 0 rules in 3411 ms. Remains 34107 /34107 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 190028 ms. Remains : 34107/34406 places, 51525/51525 transitions.
Support contains 57 out of 34107 places after structural reductions.
[2025-06-07 03:11:31] [INFO ] Flatten gal took : 2034 ms
[2025-06-07 03:11:32] [INFO ] Flatten gal took : 1599 ms
[2025-06-07 03:11:36] [INFO ] Input system was already deterministic with 51525 transitions.
Reduction of identical properties reduced properties to check from 32 to 30
RANDOM walk for 40000 steps (355 resets) in 6312 ms. (6 steps per ms) remains 23/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 23/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 22/23 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 22/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 22/22 properties
[2025-06-07 03:11:38] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34107 cols
[2025-06-07 03:11:57] [INFO ] Computed 1664 invariants in 18434 ms
[2025-06-07 03:11:57] [INFO ] State equation strengthened by 16546 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/45 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/45 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 21128/84576 variables, and 12 constraints, problems are : Problem set: 0 solved, 22 unsolved in 5015 ms.
Refiners :[Positive P Invariants (semi-flows): 12/63 constraints, Generalized P Invariants (flows): 0/1601 constraints, State Equation: 0/34107 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 22/22 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/45 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/45 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 21128/84576 variables, and 12 constraints, problems are : Problem set: 0 solved, 22 unsolved in 5014 ms.
Refiners :[Positive P Invariants (semi-flows): 12/63 constraints, Generalized P Invariants (flows): 0/1601 constraints, State Equation: 0/34107 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 0/22 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 29269ms problems are : Problem set: 0 solved, 22 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 45 out of 34107 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 34107/34107 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11532 transitions
Trivial Post-agglo rules discarded 11532 transitions
Performed 11532 trivial Post agglomeration. Transition count delta: 11532
Iterating post reduction 0 with 11532 rules applied. Total rules applied 11532 place count 34107 transition count 39993
Reduce places removed 11532 places and 0 transitions.
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Iterating post reduction 1 with 11612 rules applied. Total rules applied 23144 place count 22575 transition count 39913
Reduce places removed 80 places and 0 transitions.
Iterating post reduction 2 with 80 rules applied. Total rules applied 23224 place count 22495 transition count 39913
Performed 720 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 720 Pre rules applied. Total rules applied 23224 place count 22495 transition count 39193
Deduced a syphon composed of 720 places in 75 ms
Reduce places removed 720 places and 0 transitions.
Iterating global reduction 3 with 1440 rules applied. Total rules applied 24664 place count 21775 transition count 39193
Performed 30 Post agglomeration using F-continuation condition.Transition count delta: 30
Deduced a syphon composed of 30 places in 69 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 3 with 60 rules applied. Total rules applied 24724 place count 21745 transition count 39163
Free-agglomeration rule (complex) applied 1535 times.
Iterating global reduction 3 with 1535 rules applied. Total rules applied 26259 place count 21745 transition count 37628
Reduce places removed 1535 places and 0 transitions.
Iterating post reduction 3 with 1535 rules applied. Total rules applied 27794 place count 20210 transition count 37628
Partial Free-agglomeration rule applied 2556 times.
Drop transitions (Partial Free agglomeration) removed 2556 transitions
Iterating global reduction 4 with 2556 rules applied. Total rules applied 30350 place count 20210 transition count 37628
Applied a total of 30350 rules in 18399 ms. Remains 20210 /34107 variables (removed 13897) and now considering 37628/51525 (removed 13897) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 18401 ms. Remains : 20210/34107 places, 37628/51525 transitions.
RANDOM walk for 40000 steps (600 resets) in 7708 ms. (5 steps per ms) remains 20/22 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4000 steps (8 resets) in 74 ms. (53 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4000 steps (8 resets) in 74 ms. (53 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 20/20 properties
Interrupted probabilistic random walk after 9267 steps, run timeout after 6001 ms. (steps per millisecond=1 ) properties seen :2 out of 20
Probabilistic random walk after 9267 steps, saw 4473 distinct states, run finished after 6013 ms. (steps per millisecond=1 ) properties seen :2
[2025-06-07 03:12:35] [INFO ] Flow matrix only has 36107 transitions (discarded 1521 similar events)
// Phase 1: matrix 36107 rows 20210 cols
[2025-06-07 03:13:00] [INFO ] Computed 1664 invariants in 25611 ms
[2025-06-07 03:13:02] [INFO ] State equation strengthened by 16546 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/37 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/37 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 2 (OVERLAPS) 7158/7195 variables, 10/13 constraints. Problems are: Problem set: 0 solved, 18 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-07 03:13:36] [INFO ] Deduced a trap composed of 1438 places in 29027 ms of which 12024 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-07 03:14:04] [INFO ] Deduced a trap composed of 1595 places in 27988 ms of which 11510 ms to minimize.
SMT process timed out in 89814ms, After SMT, problems are : Problem set: 0 solved, 18 unsolved
Fused 18 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 37 out of 20210 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20210/20210 places, 37628/37628 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 20210 transition count 37626
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 20208 transition count 37626
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 4 place count 20208 transition count 37624
Deduced a syphon composed of 2 places in 27 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8 place count 20206 transition count 37624
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 28 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 10 place count 20205 transition count 37623
Free-agglomeration rule (complex) applied 27 times.
Iterating global reduction 2 with 27 rules applied. Total rules applied 37 place count 20205 transition count 37596
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 2 with 27 rules applied. Total rules applied 64 place count 20178 transition count 37596
Partial Free-agglomeration rule applied 2 times.
Drop transitions (Partial Free agglomeration) removed 2 transitions
Iterating global reduction 3 with 2 rules applied. Total rules applied 66 place count 20178 transition count 37596
Applied a total of 66 rules in 6782 ms. Remains 20178 /20210 variables (removed 32) and now considering 37596/37628 (removed 32) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6783 ms. Remains : 20178/20210 places, 37596/37628 transitions.
Computed a total of 28091 stabilizing places and 39556 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 1 out of 34107 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 34107/34107 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11616 transitions
Trivial Post-agglo rules discarded 11616 transitions
Performed 11616 trivial Post agglomeration. Transition count delta: 11616
Iterating post reduction 0 with 11616 rules applied. Total rules applied 11616 place count 34107 transition count 39909
Reduce places removed 11616 places and 0 transitions.
Iterating post reduction 1 with 11616 rules applied. Total rules applied 23232 place count 22491 transition count 39909
Performed 725 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 725 Pre rules applied. Total rules applied 23232 place count 22491 transition count 39184
Deduced a syphon composed of 725 places in 65 ms
Reduce places removed 725 places and 0 transitions.
Iterating global reduction 2 with 1450 rules applied. Total rules applied 24682 place count 21766 transition count 39184
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 49 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 24748 place count 21733 transition count 39151
Applied a total of 24748 rules in 8125 ms. Remains 21733 /34107 variables (removed 12374) and now considering 39151/51525 (removed 12374) transitions.
[2025-06-07 03:14:20] [INFO ] Flow matrix only has 38095 transitions (discarded 1056 similar events)
// Phase 1: matrix 38095 rows 21733 cols
[2025-06-07 03:14:27] [INFO ] Computed 1664 invariants in 6709 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:15:04] [INFO ] Performed 5414/21733 implicitness test of which 63 returned IMPLICIT in 30 seconds.
[2025-06-07 03:15:36] [INFO ] Performed 8168/21733 implicitness test of which 156 returned IMPLICIT in 62 seconds.
[2025-06-07 03:16:07] [INFO ] Performed 11550/21733 implicitness test of which 388 returned IMPLICIT in 93 seconds.
[2025-06-07 03:16:37] [INFO ] Performed 13712/21733 implicitness test of which 529 returned IMPLICIT in 123 seconds.
[2025-06-07 03:17:07] [INFO ] Implicit Places using invariants in 166785 ms returned [6, 21, 38, 57, 78, 101, 126, 153, 182, 939, 953, 968, 985, 1004, 1025, 1048, 1073, 1100, 1812, 1826, 1840, 1855, 1872, 1891, 1912, 1935, 1960, 2629, 2643, 2657, 2671, 2686, 2703, 2722, 2743, 2766, 3394, 3408, 3422, 3436, 3450, 3465, 3482, 3501, 3522, 4111, 4125, 4139, 4153, 4167, 4181, 4196, 4213, 4232, 4784, 4798, 4812, 4826, 4840, 4854, 4868, 4883, 4900, 5417, 5431, 5445, 5459, 5473, 5487, 5501, 5515, 5530, 6014, 6028, 6042, 6056, 6070, 6084, 6098, 6112, 6126, 6579, 6593, 6607, 6621, 6635, 6649, 6663, 6677, 6691, 7116, 7130, 7144, 7158, 7172, 7186, 7200, 7214, 7228, 7242, 7256, 7271, 7288, 7307, 7328, 7351, 7375, 7398, 7419, 7438, 7455, 7470, 7484, 7498, 7512, 7526, 7540, 7554, 7568, 7582, 7596, 7610, 7648, 7654, 7668, 7682, 7696, 7710, 7724, 7738, 7752, 7766, 7780, 7794, 7808, 7823, 7840, 7859, 7880, 7902, 7923, 7942, 7959, 7974, 7988, 8002, 8016, 8030, 8044, 8058, 8072, 8086, 8100, 8114, 8128, 8165, 8171, 8185, 8199, 8213, 8227, 8241, 8255, 8269, 8283, 8297, 8311, 8325, 8339, 8354, 8371, 8390, 8410, 8429, 8446, 8461, 8475, 8489, 8503, 8517, 8531, 8545, 8559, 8573, 8587, 8601, 8615, 8629, 8666, 8672, 8686, 8700, 8714, 8728, 8742, 8756, 8770, 8784, 8798, 8812, 8826, 8840, 8854, 8869, 8886, 8904, 8921, 8936, 8950, 8964, 8978, 8992, 9006, 9020, 9034, 9048, 9062, 9076, 9090, 9104, 9118, 9155, 9161, 9175, 9189, 9203, 9217, 9231, 9245, 9259, 9273, 9287, 9301, 9315, 9329, 9343, 9357, 9372, 9388, 9403, 9417, 9431, 9445, 9459, 9473, 9487, 9501, 9515, 9529, 9543, 9557, 9571, 9585, 9599, 9636, 9642, 9656, 9670, 9684, 9698, 9712, 9726, 9740, 9754, 9768, 9782, 9796, 9810, 9824, 9838, 9852, 9866, 9880, 9894, 9908, 9922, 9936, 9950, 9964, 9978, 9992, 10006, 10020, 10034, 10048, 10062, 10076, 10113, 10115, 10118, 10132, 10146, 10160, 10174, 10188, 10202, 10216, 10230, 10244, 10258, 10272, 10286, 10300, 10314, 10328, 10342, 10356, 10370, 10384, 10398, 10412, 10426, 10440, 10454, 10468, 10482, 10496, 10510, 10524, 10538, 10552, 10589, 10595, 10609, 10623, 10637, 10651, 10665, 10679, 10693, 10707, 10721, 10735, 10749, 10763, 10777, 10791, 10805, 10819, 10833, 10847, 10861, 10875, 10889, 10903, 10917, 10931, 10945, 10959, 10973, 10987, 11001, 11015, 11029, 11066, 11072, 11086, 11100, 11114, 11128, 11142, 11156, 11170, 11184, 11198, 11212, 11226, 11240, 11254, 11268, 11282, 11297, 11313, 11328, 11342, 11356, 11370, 11384, 11398, 11412, 11426, 11440, 11454, 11468, 11482, 11496, 11510, 11547, 11553, 11567, 11581, 11595, 11609, 11623, 11637, 11651, 11665, 11679, 11693, 11707, 11721, 11735, 11749, 11764, 11781, 11799, 11816, 11831, 11845, 11859, 11873, 11887, 11901, 11915, 11929, 11943, 11957, 11971, 11985, 11999, 12036, 12042, 12056, 12070, 12084, 12098, 12112, 12126, 12140, 12154, 12168, 12182, 12196, 12210, 12224, 12239, 12256, 12275, 12295, 12314, 12331, 12346, 12360, 12374, 12388, 12402, 12416, 12430, 12444, 12458, 12472, 12486, 12500, 12537, 12543, 12557, 12571, 12585, 12599, 12613, 12627, 12641, 12655, 12669, 12683, 12697, 12711, 12726, 12743, 12762, 12783, 12805, 12826, 12845, 12862, 12877, 12891, 12905, 12919, 12933, 12947, 12961, 12975, 12989, 13003, 13017, 13054, 13060, 13074, 13088, 13102, 13116, 13130, 13144, 13158, 13172, 13186, 13200, 13214, 13229, 13246, 13265, 13286, 13309, 13333, 13356, 13377, 13396, 13413, 13428, 13442, 13456, 13470, 13484, 13498, 13512, 13526, 13540, 13554, 13591, 13597, 13611, 13625, 13639, 13653, 13667, 13681, 13695, 13709, 13723, 13737, 13752, 13769, 13788, 13809, 13832, 13857, 13883, 13908, 13931, 13952, 13971, 13988, 14003, 14017, 14031, 14045, 14059, 14073, 14087, 14101, 14115, 14152, 14158, 14172, 14186, 14200, 14214, 14228, 14242, 14256, 14270, 14284, 14299, 14316, 14335, 14356, 14379, 14404, 14431, 14459, 14486, 14511, 14534, 14555, 14574, 14591, 14606, 14620, 14634, 14648, 14662, 14676, 14690, 14704, 14741, 14747, 14761, 14775, 14789, 14803, 14817, 14831, 14845, 14859, 14874, 14891, 14910, 14931, 14954, 14979, 15006, 15035, 15065, 15094, 15121, 15146, 15169, 15190, 15209, 15226, 15241, 15255, 15269, 15283, 15297, 15311, 15325, 15362, 15368, 15382, 15396, 15410, 15424, 15438, 15452, 15466, 15481, 15498, 15517, 15538, 15561, 15586, 15613, 15642, 15673, 15705, 15736, 15765, 15792, 15817, 15840, 15861, 15880, 15897, 15912, 15926, 15940, 15954, 15968, 15982, 16019]
[2025-06-07 03:17:07] [INFO ] Actually due to overlaps returned [7648, 8165, 8666, 9155, 9636, 10113, 10589, 11066, 11547, 12036, 12537, 13054, 13591, 14152, 14741, 15362, 16019, 6, 21, 38, 57, 78, 101, 126, 153, 182, 939, 953, 968, 985, 1004, 1025, 1048, 1073, 1100, 1812, 1826, 1840, 1855, 1872, 1891, 1912, 1935, 1960, 2629, 2643, 2657, 2671, 2686, 2703, 2722, 2743, 2766, 3394, 3408, 3422, 3436, 3450, 3465, 3482, 3501, 3522, 4111, 4125, 4139, 4153, 4167, 4181, 4196, 4213, 4232, 4784, 4798, 4812, 4826, 4840, 4854, 4868, 4883, 4900, 5417, 5431, 5445, 5459, 5473, 5487, 5501, 5515, 5530, 6014, 6028, 6042, 6056, 6070, 6084, 6098, 6112, 6126, 6579, 6593, 6607, 6621, 6635, 6649, 6663, 6677, 6691, 7116, 7130, 7144, 7158, 7172, 7186, 7200, 7214, 7228, 7242, 7540, 7554, 7568, 7582, 7596, 7610, 7654, 7668, 7682, 7696, 7710, 7724, 7738, 7752, 7766, 7780, 8058, 8072, 8086, 8100, 8114, 8128, 8171, 8185, 8199, 8213, 8227, 8241, 8255, 8269, 8283, 8297, 8559, 8573, 8587, 8601, 8615, 8629, 8672, 8686, 8700, 8714, 8728, 8742, 8756, 8770, 8784, 8798, 9048, 9062, 9076, 9090, 9104, 9118, 9161, 9175, 9189, 9203, 9217, 9231, 9245, 9259, 9273, 9287, 9529, 9543, 9557, 9571, 9585, 9599, 9642, 9656, 9670, 9684, 9698, 9712, 9726, 9740, 9754, 9768, 10006, 10020, 10034, 10048, 10062, 10076, 10115, 10118, 10132, 10146, 10160, 10174, 10188, 10202, 10216, 10230, 10244, 10482, 10496, 10510, 10524, 10538, 10552, 10595, 10609, 10623, 10637, 10651, 10665, 10679, 10693, 10707, 10721, 10959, 10973, 10987, 11001, 11015, 11029, 11072, 11086, 11100, 11114, 11128, 11142, 11156, 11170, 11184, 11198, 11440, 11454, 11468, 11482, 11496, 11510, 11553, 11567, 11581, 11595, 11609, 11623, 11637, 11651, 11665, 11679, 11929, 11943, 11957, 11971, 11985, 11999, 12042, 12056, 12070, 12084, 12098, 12112, 12126, 12140, 12154, 12168, 12430, 12444, 12458, 12472, 12486, 12500, 12543, 12557, 12571, 12585, 12599, 12613, 12627, 12641, 12655, 12669, 12947, 12961, 12975, 12989, 13003, 13017, 13060, 13074, 13088, 13102, 13116, 13130, 13144, 13158, 13172, 13186, 13484, 13498, 13512, 13526, 13540, 13554, 13597, 13611, 13625, 13639, 13653, 13667, 13681, 13695, 13709, 13723, 14045, 14059, 14073, 14087, 14101, 14115, 14158, 14172, 14186, 14200, 14214, 14228, 14242, 14256, 14270, 14284, 14634, 14648, 14662, 14676, 14690, 14704, 14747, 14761, 14775, 14789, 14803, 14817, 14831, 14845, 14859, 14874, 15255, 15269, 15283, 15297, 15311, 15325, 15368, 15382, 15396, 15410, 15424, 15438, 15452, 15466, 15481, 15498, 15912, 15926, 15940, 15954, 15968, 15982]
Discarding 380 places :
Implicit Place search using SMT only with invariants took 166823 ms to find 380 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 21353/34107 places, 39151/51525 transitions.
Applied a total of 0 rules in 2699 ms. Remains 21353 /21353 variables (removed 0) and now considering 39151/39151 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 177652 ms. Remains : 21353/34107 places, 39151/51525 transitions.
Stuttering acceptance computed with spot in 233 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-00
Product exploration explored 100000 steps with 1119 reset in 5434 ms.
Product exploration explored 100000 steps with 1120 reset in 4893 ms.
Computed a total of 15370 stabilizing places and 27215 stable transitions
Computed a total of 15370 stabilizing places and 27215 stable transitions
Detected a total of 15370/21353 stabilizing places and 27215/39151 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 1/1 atomic propositions.
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : []
Knowledge based reduction with 4 factoid took 101 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 75 ms :[(NOT p0), (NOT p0)]
RANDOM walk for 8831 steps (96 resets) in 595 ms. (14 steps per ms) remains 0/1 properties
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : [(F (NOT p0))]
Knowledge based reduction with 4 factoid took 122 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 80 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 71 ms :[(NOT p0), (NOT p0)]
Support contains 1 out of 21353 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 21353/21353 places, 39151/39151 transitions.
Applied a total of 0 rules in 2476 ms. Remains 21353 /21353 variables (removed 0) and now considering 39151/39151 (removed 0) transitions.
[2025-06-07 03:17:24] [INFO ] Flow matrix only has 38095 transitions (discarded 1056 similar events)
// Phase 1: matrix 38095 rows 21353 cols
[2025-06-07 03:17:34] [INFO ] Computed 1284 invariants in 9972 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:18:11] [INFO ] Performed 5350/21353 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 03:18:41] [INFO ] Performed 8561/21353 implicitness test of which 48 returned IMPLICIT in 60 seconds.
[2025-06-07 03:19:11] [INFO ] Performed 12035/21353 implicitness test of which 168 returned IMPLICIT in 90 seconds.
[2025-06-07 03:19:43] [INFO ] Performed 14397/21353 implicitness test of which 240 returned IMPLICIT in 122 seconds.
[2025-06-07 03:20:13] [INFO ] Performed 17649/21353 implicitness test of which 360 returned IMPLICIT in 152 seconds.
[2025-06-07 03:20:14] [INFO ] Implicit Places using invariants in 170041 ms returned [7156, 7171, 7188, 7207, 7228, 7251, 7275, 7298, 7319, 7338, 7355, 7370, 7384, 7398, 7412, 7426, 7677, 7691, 7706, 7723, 7742, 7763, 7785, 7806, 7825, 7842, 7857, 7871, 7885, 7899, 7913, 7927, 8177, 8191, 8205, 8220, 8237, 8256, 8276, 8295, 8312, 8327, 8341, 8355, 8369, 8383, 8397, 8411, 8661, 8675, 8689, 8703, 8718, 8735, 8753, 8770, 8785, 8799, 8813, 8827, 8841, 8855, 8869, 8883, 9133, 9147, 9161, 9175, 9189, 9204, 9220, 9235, 9249, 9263, 9277, 9291, 9305, 9319, 9333, 9347, 9597, 9611, 9625, 9639, 9653, 9667, 9681, 9695, 9709, 9723, 9737, 9751, 9765, 9779, 9793, 9807, 10055, 10069, 10083, 10097, 10111, 10125, 10139, 10153, 10167, 10181, 10195, 10209, 10223, 10237, 10251, 10265, 10515, 10529, 10543, 10557, 10571, 10585, 10599, 10613, 10627, 10641, 10655, 10669, 10683, 10697, 10711, 10725, 10975, 10989, 11003, 11017, 11031, 11045, 11060, 11076, 11091, 11105, 11119, 11133, 11147, 11161, 11175, 11189, 11439, 11453, 11467, 11481, 11495, 11510, 11527, 11545, 11562, 11577, 11591, 11605, 11619, 11633, 11647, 11661, 11911, 11925, 11939, 11953, 11968, 11985, 12004, 12024, 12043, 12060, 12075, 12089, 12103, 12117, 12131, 12145, 12395, 12409, 12423, 12438, 12455, 12474, 12495, 12517, 12538, 12557, 12574, 12589, 12603, 12617, 12631, 12645, 12895, 12909, 12924, 12941, 12960, 12981, 13004, 13028, 13051, 13072, 13091, 13108, 13123, 13137, 13151, 13165, 13415, 13430, 13447, 13466, 13487, 13510, 13535, 13561, 13586, 13609, 13630, 13649, 13666, 13681, 13695, 13709, 13960, 13977, 13996, 14017, 14040, 14065, 14092, 14120, 14147, 14172, 14195, 14216, 14235, 14252, 14267, 14281, 14535, 14554, 14575, 14598, 14623, 14650, 14679, 14709, 14738, 14765, 14790, 14813, 14834, 14853, 14870, 14885, 15144, 15165, 15188, 15213, 15240, 15269, 15300, 15332, 15363, 15392, 15419, 15444, 15467, 15488, 15507, 15524, 15645, 15659, 15673, 15687, 15701, 15715, 15729, 15744, 15761, 15780, 15801, 15824, 15849, 15876, 15905, 15936, 15969, 16003, 16036, 16067, 16096, 16123, 16148, 16171, 16192, 16211, 16228, 16243, 16257, 16271, 16285, 16299, 16336, 16342, 16356, 16370, 16384, 16398, 16412, 16427, 16444, 16463, 16484, 16507, 16532, 16559, 16588, 16619, 16652, 16687, 16723, 16758, 16791, 16822, 16851, 16878, 16903, 16926, 16947, 16966, 16983, 16998, 17012, 17026, 17040, 17077, 17083, 17097, 17111, 17125, 17139, 17154, 17171, 17190, 17211, 17234, 17259, 17286, 17315, 17346, 17379, 17414, 17451, 17489, 17526, 17561, 17594, 17625, 17654, 17681, 17706, 17729, 17750, 17769, 17786]
[2025-06-07 03:20:14] [INFO ] Actually due to overlaps returned [16336, 17077, 7156, 7171, 7188, 7207, 7228, 7251, 7275, 7298, 7319, 7338, 7355, 7370, 7384, 7398, 7412, 7426, 7677, 7691, 7706, 7723, 7742, 7763, 7785, 7806, 7825, 7842, 7857, 7871, 7885, 7899, 7913, 7927, 8177, 8191, 8205, 8220, 8237, 8256, 8276, 8295, 8312, 8327, 8341, 8355, 8369, 8383, 8397, 8411, 8661, 8675, 8689, 8703, 8718, 8735, 8753, 8770, 8785, 8799, 8813, 8827, 8841, 8855, 8869, 8883, 9133, 9147, 9161, 9175, 9189, 9204, 9220, 9235, 9249, 9263, 9277, 9291, 9305, 9319, 9333, 9347, 9597, 9611, 9625, 9639, 9653, 9667, 9681, 9695, 9709, 9723, 9737, 9751, 9765, 9779, 9793, 9807, 10055, 10069, 10083, 10097, 10111, 10125, 10139, 10153, 10167, 10181, 10195, 10209, 10223, 10237, 10251, 10265, 10515, 10529, 10543, 10557, 10571, 10585, 10599, 10613, 10627, 10641, 10655, 10669, 10683, 10697, 10711, 10725, 10975, 10989, 11003, 11017, 11031, 11045, 11060, 11076, 11091, 11105, 11119, 11133, 11147, 11161, 11175, 11189, 11439, 11453, 11467, 11481, 11495, 11510, 11527, 11545, 11562, 11577, 11591, 11605, 11619, 11633, 11647, 11661, 11911, 11925, 11939, 11953, 11968, 11985, 12004, 12024, 12043, 12060, 12075, 12089, 12103, 12117, 12131, 12145, 12395, 12409, 12423, 12438, 12455, 12474, 12495, 12517, 12538, 12557, 12574, 12589, 12603, 12617, 12631, 12645, 12895, 12909, 12924, 12941, 12960, 12981, 13004, 13028, 13051, 13072, 13091, 13108, 13123, 13137, 13151, 13165, 13415, 13430, 13447, 13466, 13487, 13510, 13535, 13561, 13586, 13609, 13630, 13649, 13666, 13681, 13695, 13709, 13960, 13977, 13996, 14017, 14040, 14065, 14092, 14120, 14147, 14172, 14195, 14216, 14235, 14252, 14267, 14281, 14535, 14554, 14575, 14598, 14623, 14650, 14679, 14709, 14738, 14765, 14790, 14813, 14834, 14853, 14870, 14885, 15144, 15165, 15188, 15213, 15240, 15269, 15300, 15332, 15363, 15392, 15419, 15444, 15467, 15488, 15507, 15524, 15645, 15659, 15673, 15687, 15701, 15715, 15729, 15744, 15761, 15780, 15801, 15824, 15849, 15876, 15905, 15936, 15969, 16003, 16036, 16067, 16096, 16123, 16148, 16171, 16192, 16211, 16228, 16257, 16271, 16285, 16299, 16342, 16356, 16370, 16384, 16398, 16412, 16427, 16444, 16463, 16484, 16507, 16532, 16559, 16588, 16619, 16652, 16687, 16723, 16758, 16791, 16822, 16851, 16878, 16903, 16926, 16947, 16966, 16998, 17012, 17026, 17040, 17083, 17097, 17111, 17125, 17139, 17154, 17171, 17190, 17211, 17234, 17259, 17286, 17315, 17346, 17379, 17414, 17451, 17489, 17526, 17561, 17594, 17625, 17654, 17681, 17706, 17729, 17750]
Discarding 363 places :
Implicit Place search using SMT only with invariants took 170073 ms to find 363 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 20990/21353 places, 39151/39151 transitions.
Applied a total of 0 rules in 2543 ms. Remains 20990 /20990 variables (removed 0) and now considering 39151/39151 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 175095 ms. Remains : 20990/21353 places, 39151/39151 transitions.
Computed a total of 15007 stabilizing places and 27215 stable transitions
Computed a total of 15007 stabilizing places and 27215 stable transitions
Detected a total of 15007/20990 stabilizing places and 27215/39151 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 1/1 atomic propositions.
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : []
Knowledge based reduction with 4 factoid took 132 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 97 ms :[(NOT p0), (NOT p0)]
RANDOM walk for 13343 steps (147 resets) in 669 ms. (19 steps per ms) remains 0/1 properties
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : [(F (NOT p0))]
Knowledge based reduction with 4 factoid took 111 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 67 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 72 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 68 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 1120 reset in 3302 ms.
Product exploration explored 100000 steps with 1124 reset in 3295 ms.
Built C files in :
/tmp/ltsmin7668905881068795103
[2025-06-07 03:20:24] [INFO ] Too many transitions (39151) to apply POR reductions. Disabling POR matrices.
[2025-06-07 03:20:25] [INFO ] Built C files in 548ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7668905881068795103
Running compilation step : cd /tmp/ltsmin7668905881068795103;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin7668905881068795103;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin7668905881068795103;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1 out of 20990 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 20990/20990 places, 39151/39151 transitions.
Applied a total of 0 rules in 2515 ms. Remains 20990 /20990 variables (removed 0) and now considering 39151/39151 (removed 0) transitions.
[2025-06-07 03:20:30] [INFO ] Flow matrix only has 38095 transitions (discarded 1056 similar events)
// Phase 1: matrix 38095 rows 20990 cols
[2025-06-07 03:20:40] [INFO ] Computed 921 invariants in 9378 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:21:17] [INFO ] Performed 5168/20990 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 03:21:47] [INFO ] Performed 8714/20990 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-07 03:22:17] [INFO ] Performed 12459/20990 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-07 03:22:47] [INFO ] Performed 15369/20990 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-07 03:22:47] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-07 03:22:47] [INFO ] Implicit Places using invariants in 136585 ms returned []
Implicit Place search using SMT only with invariants took 136588 ms to find 0 implicit places.
Running 39118 sub problems to find dead transitions.
[2025-06-07 03:22:48] [INFO ] Flow matrix only has 38095 transitions (discarded 1056 similar events)
[2025-06-07 03:22:48] [INFO ] Invariant cache hit.
[2025-06-07 03:22:48] [INFO ] State equation strengthened by 16546 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
SMT process timed out in 217660ms, After SMT, problems are : Problem set: 0 solved, 39118 unsolved
Search for dead transitions found 0 dead transitions in 218024ms
Finished structural reductions in SI_LTL mode , in 1 iterations and 357261 ms. Remains : 20990/20990 places, 39151/39151 transitions.
Built C files in :
/tmp/ltsmin11690199249773767657
[2025-06-07 03:26:25] [INFO ] Too many transitions (39151) to apply POR reductions. Disabling POR matrices.
[2025-06-07 03:26:26] [INFO ] Built C files in 593ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11690199249773767657
Running compilation step : cd /tmp/ltsmin11690199249773767657;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11690199249773767657;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11690199249773767657;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2025-06-07 03:26:32] [INFO ] Flatten gal took : 1047 ms
[2025-06-07 03:26:33] [INFO ] Flatten gal took : 1098 ms
[2025-06-07 03:26:33] [INFO ] Time to serialize gal into /tmp/LTL1844859663857294599.gal : 281 ms
[2025-06-07 03:26:33] [INFO ] Time to serialize properties into /tmp/LTL15745227761206318206.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL1844859663857294599.gal' '-t' 'CGAL' '-hoa' '/tmp/aut1880546436606360821.hoa' '-atoms' '/tmp/LTL15745227761206318206.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...318
Detected timeout of ITS tools.
[2025-06-07 03:26:50] [INFO ] Flatten gal took : 1086 ms
[2025-06-07 03:26:51] [INFO ] Flatten gal took : 1119 ms
[2025-06-07 03:26:52] [INFO ] Time to serialize gal into /tmp/LTL13870687655736596597.gal : 184 ms
[2025-06-07 03:26:52] [INFO ] Time to serialize properties into /tmp/LTL2230778595094165404.ltl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL13870687655736596597.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2230778595094165404.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Detected timeout of ITS tools.
[2025-06-07 03:27:08] [INFO ] Flatten gal took : 1090 ms
[2025-06-07 03:27:08] [INFO ] Applying decomposition
[2025-06-07 03:27:09] [INFO ] Flatten gal took : 1093 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph16313605742844879547.txt' '-o' '/tmp/graph16313605742844879547.bin' '-w' '/tmp/graph16313605742844879547.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16313605742844879547.bin' '-l' '-1' '-v' '-w' '/tmp/graph16313605742844879547.weights' '-q' '0' '-e' '0.001'
[2025-06-07 03:27:12] [INFO ] Decomposing Gal with order
[2025-06-07 03:27:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 03:27:45] [INFO ] Removed a total of 32776 redundant transitions.
[2025-06-07 03:27:46] [INFO ] Flatten gal took : 11816 ms
[2025-06-07 03:27:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 6141 labels/synchronizations in 3069 ms.
[2025-06-07 03:27:52] [INFO ] Time to serialize gal into /tmp/LTL16407743032750525543.gal : 434 ms
[2025-06-07 03:27:52] [INFO ] Time to serialize properties into /tmp/LTL12044437134088318243.ltl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL16407743032750525543.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL12044437134088318243.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...256
Read 1 LTL properties
Detected timeout of ITS tools.
Treatment of property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-00 finished in 835919 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Support contains 2 out of 34107 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 34107/34107 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11616 transitions
Trivial Post-agglo rules discarded 11616 transitions
Performed 11616 trivial Post agglomeration. Transition count delta: 11616
Iterating post reduction 0 with 11616 rules applied. Total rules applied 11616 place count 34107 transition count 39909
Reduce places removed 11616 places and 0 transitions.
Iterating post reduction 1 with 11616 rules applied. Total rules applied 23232 place count 22491 transition count 39909
Performed 726 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 726 Pre rules applied. Total rules applied 23232 place count 22491 transition count 39183
Deduced a syphon composed of 726 places in 60 ms
Reduce places removed 726 places and 0 transitions.
Iterating global reduction 2 with 1452 rules applied. Total rules applied 24684 place count 21765 transition count 39183
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 62 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 24750 place count 21732 transition count 39150
Applied a total of 24750 rules in 8142 ms. Remains 21732 /34107 variables (removed 12375) and now considering 39150/51525 (removed 12375) transitions.
[2025-06-07 03:28:16] [INFO ] Flow matrix only has 38094 transitions (discarded 1056 similar events)
// Phase 1: matrix 38094 rows 21732 cols
[2025-06-07 03:28:22] [INFO ] Computed 1664 invariants in 6748 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:29:00] [INFO ] Performed 5916/21732 implicitness test of which 72 returned IMPLICIT in 30 seconds.
[2025-06-07 03:29:30] [INFO ] Performed 9049/21732 implicitness test of which 216 returned IMPLICIT in 60 seconds.
[2025-06-07 03:30:00] [INFO ] Performed 12337/21732 implicitness test of which 441 returned IMPLICIT in 90 seconds.
[2025-06-07 03:30:30] [INFO ] Performed 14742/21732 implicitness test of which 586 returned IMPLICIT in 120 seconds.
[2025-06-07 03:31:00] [INFO ] Performed 17458/21732 implicitness test of which 718 returned IMPLICIT in 150 seconds.
[2025-06-07 03:31:03] [INFO ] Implicit Places using invariants in 166827 ms returned [6, 21, 38, 57, 78, 101, 126, 153, 182, 939, 953, 968, 985, 1004, 1025, 1048, 1073, 1100, 1812, 1826, 1840, 1855, 1872, 1891, 1912, 1935, 1960, 2629, 2643, 2657, 2671, 2686, 2703, 2722, 2743, 2766, 3394, 3408, 3422, 3436, 3450, 3465, 3482, 3501, 3522, 4111, 4125, 4139, 4153, 4167, 4181, 4196, 4213, 4232, 4784, 4798, 4812, 4826, 4840, 4854, 4868, 4883, 4900, 5417, 5431, 5445, 5459, 5473, 5487, 5501, 5515, 5530, 6014, 6028, 6042, 6056, 6070, 6084, 6098, 6112, 6126, 6579, 6593, 6607, 6621, 6635, 6649, 6663, 6677, 6691, 7116, 7130, 7144, 7158, 7172, 7186, 7200, 7214, 7228, 7242, 7256, 7271, 7288, 7307, 7328, 7351, 7375, 7398, 7419, 7438, 7455, 7470, 7484, 7498, 7512, 7526, 7540, 7554, 7568, 7582, 7596, 7610, 7647, 7653, 7667, 7681, 7695, 7709, 7723, 7737, 7751, 7765, 7779, 7793, 7807, 7822, 7839, 7858, 7879, 7901, 7922, 7941, 7958, 7973, 7987, 8001, 8015, 8029, 8043, 8057, 8071, 8085, 8099, 8113, 8127, 8164, 8170, 8184, 8198, 8212, 8226, 8240, 8254, 8268, 8282, 8296, 8310, 8324, 8338, 8353, 8370, 8389, 8409, 8428, 8445, 8460, 8474, 8488, 8502, 8516, 8530, 8544, 8558, 8572, 8586, 8600, 8614, 8628, 8665, 8671, 8685, 8699, 8713, 8727, 8741, 8755, 8769, 8783, 8797, 8811, 8825, 8839, 8853, 8868, 8885, 8903, 8920, 8935, 8949, 8963, 8977, 8991, 9005, 9019, 9033, 9047, 9061, 9075, 9089, 9103, 9117, 9154, 9160, 9174, 9188, 9202, 9216, 9230, 9244, 9258, 9272, 9286, 9300, 9314, 9328, 9342, 9356, 9371, 9387, 9402, 9416, 9430, 9444, 9458, 9472, 9486, 9500, 9514, 9528, 9542, 9556, 9570, 9584, 9598, 9635, 9641, 9655, 9669, 9683, 9697, 9711, 9725, 9739, 9753, 9767, 9781, 9795, 9809, 9823, 9837, 9851, 9865, 9879, 9893, 9907, 9921, 9935, 9949, 9963, 9977, 9991, 10005, 10019, 10033, 10047, 10061, 10075, 10112, 10114, 10117, 10131, 10145, 10159, 10173, 10187, 10201, 10215, 10229, 10243, 10257, 10271, 10285, 10299, 10313, 10327, 10341, 10355, 10369, 10383, 10397, 10411, 10425, 10439, 10453, 10467, 10481, 10495, 10509, 10523, 10537, 10551, 10588, 10594, 10608, 10622, 10636, 10650, 10664, 10678, 10692, 10706, 10720, 10734, 10748, 10762, 10776, 10790, 10804, 10818, 10832, 10846, 10860, 10874, 10888, 10902, 10916, 10930, 10944, 10958, 10972, 10986, 11000, 11014, 11028, 11065, 11071, 11085, 11099, 11113, 11127, 11141, 11155, 11169, 11183, 11197, 11211, 11225, 11239, 11253, 11267, 11281, 11296, 11312, 11327, 11341, 11355, 11369, 11383, 11397, 11411, 11425, 11439, 11453, 11467, 11481, 11495, 11509, 11546, 11552, 11566, 11580, 11594, 11608, 11622, 11636, 11650, 11664, 11678, 11692, 11706, 11720, 11734, 11748, 11763, 11780, 11798, 11815, 11830, 11844, 11858, 11872, 11886, 11900, 11914, 11928, 11942, 11956, 11970, 11984, 11998, 12035, 12041, 12055, 12069, 12083, 12097, 12111, 12125, 12139, 12153, 12167, 12181, 12195, 12209, 12223, 12238, 12255, 12274, 12294, 12313, 12330, 12345, 12359, 12373, 12387, 12401, 12415, 12429, 12443, 12457, 12471, 12485, 12499, 12536, 12542, 12556, 12570, 12584, 12598, 12612, 12626, 12640, 12654, 12668, 12682, 12696, 12710, 12725, 12742, 12761, 12782, 12804, 12825, 12844, 12861, 12876, 12890, 12904, 12918, 12932, 12946, 12960, 12974, 12988, 13002, 13016, 13053, 13059, 13073, 13087, 13101, 13115, 13129, 13143, 13157, 13171, 13185, 13199, 13213, 13228, 13245, 13264, 13285, 13308, 13332, 13355, 13376, 13395, 13412, 13427, 13441, 13455, 13469, 13483, 13497, 13511, 13525, 13539, 13553, 13590, 13596, 13610, 13624, 13638, 13652, 13666, 13680, 13694, 13708, 13722, 13736, 13751, 13768, 13787, 13808, 13831, 13856, 13882, 13907, 13930, 13951, 13970, 13987, 14002, 14016, 14030, 14044, 14058, 14072, 14086, 14100, 14114, 14151, 14157, 14171, 14185, 14199, 14213, 14227, 14241, 14255, 14269, 14283, 14298, 14315, 14334, 14355, 14378, 14403, 14430, 14458, 14485, 14510, 14533, 14554, 14573, 14590, 14605, 14619, 14633, 14647, 14661, 14675, 14689, 14703, 14740, 14746, 14760, 14774, 14788, 14802, 14816, 14830, 14844, 14858, 14873, 14890, 14909, 14930, 14953, 14978, 15005, 15034, 15064, 15093, 15120, 15145, 15168, 15189, 15208, 15225, 15240, 15254, 15268, 15282, 15296, 15310, 15324, 15361, 15367, 15381, 15395, 15409, 15423, 15437, 15451, 15465, 15480, 15497, 15516, 15537, 15560, 15585, 15612, 15641, 15672, 15704, 15735, 15764, 15791, 15816, 15839, 15860, 15879, 15896, 15911, 15925, 15939, 15953, 15967, 15981, 16018, 16024, 16038, 16052, 16066, 16080, 16094, 16108, 16123, 16140, 16159, 16180, 16203, 16228, 16255, 16284, 16315, 16348, 16382, 16415, 16446, 16475, 16502, 16527, 16550, 16571, 16590, 16607, 16622, 16636, 16650, 16664, 16678, 16715, 16721, 16735, 16749, 16763, 16777, 16791, 16806, 16823, 16842, 16863, 16886, 16911, 16938, 16967, 16998, 17031, 17066, 17102, 17137, 17170, 17201, 17230, 17257, 17282, 17305, 17326, 17345, 17362, 17377, 17391, 17405, 17419, 17456, 17462, 17476, 17490]
[2025-06-07 03:31:03] [INFO ] Actually due to overlaps returned [7647, 8164, 8665, 9154, 9635, 10112, 10588, 11065, 11546, 12035, 12536, 13053, 13590, 14151, 14740, 15361, 16018, 16715, 17456, 6, 21, 38, 57, 78, 101, 126, 153, 182, 939, 953, 968, 985, 1004, 1025, 1048, 1073, 1100, 1812, 1826, 1840, 1855, 1872, 1891, 1912, 1935, 1960, 2629, 2643, 2657, 2671, 2686, 2703, 2722, 2743, 2766, 3394, 3408, 3422, 3436, 3450, 3465, 3482, 3501, 3522, 4111, 4125, 4139, 4153, 4167, 4181, 4196, 4213, 4232, 4784, 4798, 4812, 4826, 4840, 4854, 4868, 4883, 4900, 5417, 5431, 5445, 5459, 5473, 5487, 5501, 5515, 5530, 6014, 6028, 6042, 6056, 6070, 6084, 6098, 6112, 6126, 6579, 6593, 6607, 6621, 6635, 6649, 6663, 6677, 6691, 7116, 7130, 7144, 7158, 7172, 7186, 7200, 7214, 7228, 7242, 7568, 7582, 7596, 7610, 7653, 7667, 7681, 7695, 7709, 7723, 7737, 7751, 7765, 7779, 8085, 8099, 8113, 8127, 8170, 8184, 8198, 8212, 8226, 8240, 8254, 8268, 8282, 8296, 8586, 8600, 8614, 8628, 8671, 8685, 8699, 8713, 8727, 8741, 8755, 8769, 8783, 8797, 9075, 9089, 9103, 9117, 9160, 9174, 9188, 9202, 9216, 9230, 9244, 9258, 9272, 9286, 9556, 9570, 9584, 9598, 9641, 9655, 9669, 9683, 9697, 9711, 9725, 9739, 9753, 9767, 10033, 10047, 10061, 10075, 10114, 10117, 10131, 10145, 10159, 10173, 10187, 10201, 10215, 10229, 10243, 10509, 10523, 10537, 10551, 10594, 10608, 10622, 10636, 10650, 10664, 10678, 10692, 10706, 10720, 10986, 11000, 11014, 11028, 11071, 11085, 11099, 11113, 11127, 11141, 11155, 11169, 11183, 11197, 11467, 11481, 11495, 11509, 11552, 11566, 11580, 11594, 11608, 11622, 11636, 11650, 11664, 11678, 11956, 11970, 11984, 11998, 12041, 12055, 12069, 12083, 12097, 12111, 12125, 12139, 12153, 12167, 12457, 12471, 12485, 12499, 12542, 12556, 12570, 12584, 12598, 12612, 12626, 12640, 12654, 12668, 12974, 12988, 13002, 13016, 13059, 13073, 13087, 13101, 13115, 13129, 13143, 13157, 13171, 13185, 13511, 13525, 13539, 13553, 13596, 13610, 13624, 13638, 13652, 13666, 13680, 13694, 13708, 13722, 14072, 14086, 14100, 14114, 14157, 14171, 14185, 14199, 14213, 14227, 14241, 14255, 14269, 14283, 14661, 14675, 14689, 14703, 14746, 14760, 14774, 14788, 14802, 14816, 14830, 14844, 14858, 14873, 15282, 15296, 15310, 15324, 15367, 15381, 15395, 15409, 15423, 15437, 15451, 15465, 15480, 15497, 15939, 15953, 15967, 15981, 16024, 16038, 16052, 16066, 16080, 16094, 16108, 16123, 16140, 16159, 16636, 16650, 16664, 16678, 16721, 16735, 16749, 16763, 16777, 16791, 16806, 16823, 16842, 16863, 17377, 17391, 17405, 17419, 17462, 17476, 17490]
Discarding 379 places :
Implicit Place search using SMT only with invariants took 166864 ms to find 379 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 21353/34107 places, 39150/51525 transitions.
Applied a total of 0 rules in 2703 ms. Remains 21353 /21353 variables (removed 0) and now considering 39150/39150 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 177718 ms. Remains : 21353/34107 places, 39150/51525 transitions.
Stuttering acceptance computed with spot in 39 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-01
Stuttering criterion allowed to conclude after 88 steps with 0 reset in 6 ms.
FORMULA MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-01 finished in 177878 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Support contains 3 out of 34107 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 34107/34107 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11599 transitions
Trivial Post-agglo rules discarded 11599 transitions
Performed 11599 trivial Post agglomeration. Transition count delta: 11599
Iterating post reduction 0 with 11599 rules applied. Total rules applied 11599 place count 34107 transition count 39926
Reduce places removed 11599 places and 0 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 1 with 11615 rules applied. Total rules applied 23214 place count 22508 transition count 39910
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 23230 place count 22492 transition count 39910
Performed 725 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 725 Pre rules applied. Total rules applied 23230 place count 22492 transition count 39185
Deduced a syphon composed of 725 places in 76 ms
Reduce places removed 725 places and 0 transitions.
Iterating global reduction 3 with 1450 rules applied. Total rules applied 24680 place count 21767 transition count 39185
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 60 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 24746 place count 21734 transition count 39152
Applied a total of 24746 rules in 8276 ms. Remains 21734 /34107 variables (removed 12373) and now considering 39152/51525 (removed 12373) transitions.
[2025-06-07 03:31:14] [INFO ] Flow matrix only has 38096 transitions (discarded 1056 similar events)
// Phase 1: matrix 38096 rows 21734 cols
[2025-06-07 03:31:21] [INFO ] Computed 1664 invariants in 7136 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:31:57] [INFO ] Performed 5562/21734 implicitness test of which 72 returned IMPLICIT in 30 seconds.
[2025-06-07 03:32:27] [INFO ] Performed 9047/21734 implicitness test of which 215 returned IMPLICIT in 60 seconds.
[2025-06-07 03:32:57] [INFO ] Performed 12419/21734 implicitness test of which 447 returned IMPLICIT in 90 seconds.
[2025-06-07 03:33:27] [INFO ] Performed 14612/21734 implicitness test of which 578 returned IMPLICIT in 120 seconds.
[2025-06-07 03:34:00] [INFO ] Performed 16720/21734 implicitness test of which 685 returned IMPLICIT in 152 seconds.
[2025-06-07 03:34:01] [INFO ] Implicit Places using invariants in 167240 ms returned [6, 21, 38, 57, 78, 101, 126, 153, 182, 939, 954, 969, 986, 1005, 1026, 1049, 1074, 1101, 1813, 1827, 1841, 1856, 1873, 1892, 1913, 1936, 1961, 2631, 2645, 2659, 2673, 2688, 2705, 2724, 2745, 2768, 3396, 3410, 3424, 3438, 3452, 3467, 3484, 3503, 3524, 4113, 4127, 4141, 4155, 4169, 4183, 4198, 4215, 4234, 4786, 4800, 4814, 4828, 4842, 4856, 4870, 4885, 4902, 5419, 5433, 5447, 5461, 5475, 5489, 5503, 5517, 5532, 6016, 6030, 6044, 6058, 6072, 6086, 6100, 6114, 6128, 6581, 6595, 6609, 6623, 6637, 6651, 6665, 6679, 6693, 7118, 7132, 7146, 7160, 7174, 7188, 7202, 7216, 7230, 7244, 7258, 7273, 7290, 7309, 7330, 7353, 7377, 7400, 7421, 7440, 7457, 7472, 7486, 7500, 7514, 7528, 7542, 7556, 7570, 7584, 7598, 7612, 7649, 7655, 7669, 7683, 7697, 7711, 7725, 7739, 7753, 7767, 7781, 7795, 7809, 7824, 7841, 7860, 7881, 7903, 7924, 7943, 7960, 7975, 7989, 8003, 8017, 8031, 8045, 8059, 8073, 8087, 8101, 8115, 8129, 8166, 8172, 8186, 8200, 8214, 8228, 8242, 8256, 8270, 8284, 8298, 8312, 8326, 8340, 8355, 8372, 8391, 8411, 8430, 8447, 8462, 8476, 8490, 8504, 8518, 8532, 8546, 8560, 8574, 8588, 8602, 8616, 8630, 8667, 8673, 8687, 8701, 8715, 8729, 8743, 8757, 8771, 8785, 8799, 8813, 8827, 8841, 8855, 8870, 8887, 8905, 8922, 8937, 8951, 8965, 8979, 8993, 9007, 9021, 9035, 9049, 9063, 9077, 9091, 9105, 9119, 9156, 9162, 9176, 9190, 9204, 9218, 9232, 9246, 9260, 9274, 9288, 9302, 9316, 9330, 9344, 9358, 9373, 9389, 9404, 9418, 9432, 9446, 9460, 9474, 9488, 9502, 9516, 9530, 9544, 9558, 9572, 9586, 9600, 9637, 9643, 9657, 9671, 9685, 9699, 9713, 9727, 9741, 9755, 9769, 9783, 9797, 9811, 9825, 9839, 9853, 9867, 9881, 9895, 9909, 9923, 9937, 9951, 9965, 9979, 9993, 10007, 10021, 10035, 10049, 10063, 10077, 10114, 10116, 10119, 10133, 10147, 10161, 10175, 10189, 10203, 10217, 10231, 10245, 10259, 10273, 10287, 10301, 10315, 10329, 10343, 10357, 10371, 10385, 10399, 10413, 10427, 10441, 10455, 10469, 10483, 10497, 10511, 10525, 10539, 10553, 10590, 10596, 10610, 10624, 10638, 10652, 10666, 10680, 10694, 10708, 10722, 10736, 10750, 10764, 10778, 10792, 10806, 10820, 10834, 10848, 10862, 10876, 10890, 10904, 10918, 10932, 10946, 10960, 10974, 10988, 11002, 11016, 11030, 11067, 11073, 11087, 11101, 11115, 11129, 11143, 11157, 11171, 11185, 11199, 11213, 11227, 11241, 11255, 11269, 11283, 11298, 11314, 11329, 11343, 11357, 11371, 11385, 11399, 11413, 11427, 11441, 11455, 11469, 11483, 11497, 11511, 11548, 11554, 11568, 11582, 11596, 11610, 11624, 11638, 11652, 11666, 11680, 11694, 11708, 11722, 11736, 11750, 11765, 11782, 11800, 11817, 11832, 11846, 11860, 11874, 11888, 11902, 11916, 11930, 11944, 11958, 11972, 11986, 12000, 12037, 12043, 12057, 12071, 12085, 12099, 12113, 12127, 12141, 12155, 12169, 12183, 12197, 12211, 12225, 12240, 12257, 12276, 12296, 12315, 12332, 12347, 12361, 12375, 12389, 12403, 12417, 12431, 12445, 12459, 12473, 12487, 12501, 12538, 12544, 12558, 12572, 12586, 12600, 12614, 12628, 12642, 12656, 12670, 12684, 12698, 12712, 12727, 12744, 12763, 12784, 12806, 12827, 12846, 12863, 12878, 12892, 12906, 12920, 12934, 12948, 12962, 12976, 12990, 13004, 13018, 13055, 13061, 13075, 13089, 13103, 13117, 13131, 13145, 13159, 13173, 13187, 13201, 13215, 13230, 13247, 13266, 13287, 13310, 13334, 13357, 13378, 13397, 13414, 13429, 13443, 13457, 13471, 13485, 13499, 13513, 13527, 13541, 13555, 13592, 13598, 13612, 13626, 13640, 13654, 13668, 13682, 13696, 13710, 13724, 13738, 13753, 13770, 13789, 13810, 13833, 13858, 13884, 13909, 13932, 13953, 13972, 13989, 14004, 14018, 14032, 14046, 14060, 14074, 14088, 14102, 14116, 14153, 14159, 14173, 14187, 14201, 14215, 14229, 14243, 14257, 14271, 14285, 14300, 14317, 14336, 14357, 14380, 14405, 14432, 14460, 14487, 14512, 14535, 14556, 14575, 14592, 14607, 14621, 14635, 14649, 14663, 14677, 14691, 14705, 14742, 14748, 14762, 14776, 14790, 14804, 14818, 14832, 14846, 14860, 14875, 14892, 14911, 14932, 14955, 14980, 15007, 15036, 15066, 15095, 15122, 15147, 15170, 15191, 15210, 15227, 15242, 15256, 15270, 15284, 15298, 15312, 15326, 15363, 15369, 15383, 15397, 15411, 15425, 15439, 15453, 15467, 15482, 15499, 15518, 15539, 15562, 15587, 15614, 15643, 15674, 15706, 15737, 15766, 15793, 15818, 15841, 15862, 15881, 15898, 15913, 15927, 15941, 15955, 15969, 15983, 16020, 16026, 16040, 16054, 16068, 16082, 16096, 16110, 16125, 16142, 16161, 16182, 16205, 16230, 16257, 16286, 16317, 16350, 16384, 16417, 16448, 16477, 16504, 16529, 16552, 16573, 16592, 16609, 16624, 16638, 16652, 16666, 16680, 16717, 16723, 16737, 16751, 16765, 16779, 16793, 16808, 16825]
[2025-06-07 03:34:01] [INFO ] Actually due to overlaps returned [7649, 8166, 8667, 9156, 9637, 10114, 10590, 11067, 11548, 12037, 12538, 13055, 13592, 14153, 14742, 15363, 16020, 16717, 6, 21, 38, 57, 78, 101, 126, 153, 182, 939, 954, 969, 986, 1005, 1026, 1049, 1074, 1101, 1813, 1827, 1841, 1856, 1873, 1892, 1913, 1936, 1961, 2631, 2645, 2659, 2673, 2688, 2705, 2724, 2745, 2768, 3396, 3410, 3424, 3438, 3452, 3467, 3484, 3503, 3524, 4113, 4127, 4141, 4155, 4169, 4183, 4198, 4215, 4234, 4786, 4800, 4814, 4828, 4842, 4856, 4870, 4885, 4902, 5419, 5433, 5447, 5461, 5475, 5489, 5503, 5517, 5532, 6016, 6030, 6044, 6058, 6072, 6086, 6100, 6114, 6128, 6581, 6595, 6609, 6623, 6637, 6651, 6665, 6679, 6693, 7118, 7132, 7146, 7160, 7174, 7188, 7202, 7216, 7230, 7244, 7556, 7570, 7584, 7598, 7612, 7655, 7669, 7683, 7697, 7711, 7725, 7739, 7753, 7767, 7781, 8073, 8087, 8101, 8115, 8129, 8172, 8186, 8200, 8214, 8228, 8242, 8256, 8270, 8284, 8298, 8574, 8588, 8602, 8616, 8630, 8673, 8687, 8701, 8715, 8729, 8743, 8757, 8771, 8785, 8799, 9063, 9077, 9091, 9105, 9119, 9162, 9176, 9190, 9204, 9218, 9232, 9246, 9260, 9274, 9288, 9544, 9558, 9572, 9586, 9600, 9643, 9657, 9671, 9685, 9699, 9713, 9727, 9741, 9755, 9769, 10021, 10035, 10049, 10063, 10077, 10116, 10119, 10133, 10147, 10161, 10175, 10189, 10203, 10217, 10231, 10245, 10497, 10511, 10525, 10539, 10553, 10596, 10610, 10624, 10638, 10652, 10666, 10680, 10694, 10708, 10722, 10974, 10988, 11002, 11016, 11030, 11073, 11087, 11101, 11115, 11129, 11143, 11157, 11171, 11185, 11199, 11455, 11469, 11483, 11497, 11511, 11554, 11568, 11582, 11596, 11610, 11624, 11638, 11652, 11666, 11680, 11944, 11958, 11972, 11986, 12000, 12043, 12057, 12071, 12085, 12099, 12113, 12127, 12141, 12155, 12169, 12445, 12459, 12473, 12487, 12501, 12544, 12558, 12572, 12586, 12600, 12614, 12628, 12642, 12656, 12670, 12962, 12976, 12990, 13004, 13018, 13061, 13075, 13089, 13103, 13117, 13131, 13145, 13159, 13173, 13187, 13499, 13513, 13527, 13541, 13555, 13598, 13612, 13626, 13640, 13654, 13668, 13682, 13696, 13710, 13724, 14060, 14074, 14088, 14102, 14116, 14159, 14173, 14187, 14201, 14215, 14229, 14243, 14257, 14271, 14285, 14649, 14663, 14677, 14691, 14705, 14748, 14762, 14776, 14790, 14804, 14818, 14832, 14846, 14860, 14875, 15270, 15284, 15298, 15312, 15326, 15369, 15383, 15397, 15411, 15425, 15439, 15453, 15467, 15482, 15499, 15927, 15941, 15955, 15969, 15983, 16026, 16040, 16054, 16068, 16082, 16096, 16110, 16125, 16142, 16161, 16624, 16638, 16652, 16666, 16680, 16723, 16737, 16751, 16765, 16779, 16793, 16808, 16825]
Discarding 387 places :
Implicit Place search using SMT only with invariants took 167286 ms to find 387 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 21347/34107 places, 39152/51525 transitions.
Applied a total of 0 rules in 3067 ms. Remains 21347 /21347 variables (removed 0) and now considering 39152/39152 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 178636 ms. Remains : 21347/34107 places, 39152/51525 transitions.
Stuttering acceptance computed with spot in 42 ms :[(NOT p0)]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-02
Product exploration explored 100000 steps with 1112 reset in 4288 ms.
Product exploration explored 100000 steps with 1112 reset in 3781 ms.
Computed a total of 15364 stabilizing places and 27216 stable transitions
Computed a total of 15364 stabilizing places and 27216 stable transitions
Detected a total of 15364/21347 stabilizing places and 27216/39152 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 1/1 atomic propositions.
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : []
Knowledge based reduction with 4 factoid took 98 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 38 ms :[(NOT p0)]
RANDOM walk for 33758 steps (374 resets) in 2035 ms. (16 steps per ms) remains 0/1 properties
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : [(F (NOT p0))]
Knowledge based reduction with 4 factoid took 125 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 35 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 33 ms :[(NOT p0)]
Support contains 3 out of 21347 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 21347/21347 places, 39152/39152 transitions.
Applied a total of 0 rules in 2529 ms. Remains 21347 /21347 variables (removed 0) and now considering 39152/39152 (removed 0) transitions.
[2025-06-07 03:34:16] [INFO ] Flow matrix only has 38096 transitions (discarded 1056 similar events)
// Phase 1: matrix 38096 rows 21347 cols
[2025-06-07 03:34:23] [INFO ] Computed 1277 invariants in 6878 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:35:00] [INFO ] Performed 5941/21347 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 03:35:30] [INFO ] Performed 10128/21347 implicitness test of which 107 returned IMPLICIT in 60 seconds.
[2025-06-07 03:36:00] [INFO ] Performed 12774/21347 implicitness test of which 204 returned IMPLICIT in 90 seconds.
[2025-06-07 03:36:30] [INFO ] Performed 15236/21347 implicitness test of which 276 returned IMPLICIT in 120 seconds.
[2025-06-07 03:37:00] [INFO ] Performed 19610/21347 implicitness test of which 432 returned IMPLICIT in 150 seconds.
[2025-06-07 03:37:03] [INFO ] Implicit Places using invariants in 166956 ms returned [7158, 7173, 7190, 7209, 7230, 7253, 7277, 7300, 7321, 7340, 7357, 7372, 7386, 7400, 7414, 7428, 7442, 7679, 7693, 7708, 7725, 7744, 7765, 7787, 7808, 7827, 7844, 7859, 7873, 7887, 7901, 7915, 7929, 7943, 8180, 8194, 8208, 8223, 8240, 8259, 8279, 8298, 8315, 8330, 8344, 8358, 8372, 8386, 8400, 8414, 8428, 8665, 8679, 8693, 8707, 8722, 8739, 8757, 8774, 8789, 8803, 8817, 8831, 8845, 8859, 8873, 8887, 8901, 9138, 9152, 9166, 9180, 9194, 9209, 9225, 9240, 9254, 9268, 9282, 9296, 9310, 9324, 9338, 9352, 9366, 9603, 9617, 9631, 9645, 9659, 9673, 9687, 9701, 9715, 9729, 9743, 9757, 9771, 9785, 9799, 9813, 9827, 10062, 10076, 10090, 10104, 10118, 10132, 10146, 10160, 10174, 10188, 10202, 10216, 10230, 10244, 10258, 10272, 10286, 10523, 10537, 10551, 10565, 10579, 10593, 10607, 10621, 10635, 10649, 10663, 10677, 10691, 10705, 10719, 10733, 10747, 10984, 10998, 11012, 11026, 11040, 11054, 11069, 11085, 11100, 11114, 11128, 11142, 11156, 11170, 11184, 11198, 11212, 11449, 11463, 11477, 11491, 11505, 11520, 11537, 11555, 11572, 11587, 11601, 11615, 11629, 11643, 11657, 11671, 11685, 11922, 11936, 11950, 11964, 11979, 11996, 12015, 12035, 12054, 12071, 12086, 12100, 12114, 12128, 12142, 12156, 12170, 12407, 12421, 12435, 12450, 12467, 12486, 12507, 12529, 12550, 12569, 12586, 12601, 12615, 12629, 12643, 12657, 12671, 12908, 12922, 12937, 12954, 12973, 12994, 13017, 13041, 13064, 13085, 13104, 13121, 13136, 13150, 13164, 13178, 13192, 13429, 13444, 13461, 13480, 13501, 13524, 13549, 13575, 13600, 13623, 13644, 13663, 13680, 13695, 13709, 13723, 13737, 13975, 13992, 14011, 14032, 14055, 14080, 14107, 14135, 14162, 14187, 14210, 14231, 14250, 14267, 14282, 14296, 14310, 14551, 14570, 14591, 14614, 14639, 14666, 14695, 14725, 14754, 14781, 14806, 14829, 14850, 14869, 14886, 14901, 14915, 15161, 15182, 15205, 15230, 15257, 15286, 15317, 15349, 15380, 15409, 15436, 15461, 15484, 15505, 15524, 15541, 15556, 15809, 15832, 15857, 15884, 15913, 15944, 15977, 16011, 16044, 16075, 16104, 16131, 16156, 16179, 16200, 16219, 16236, 16457, 16478, 16501, 16526, 16553, 16582, 16613, 16646, 16681, 16717, 16752, 16785, 16816, 16845, 16872, 16897, 16920, 16941, 16960, 16977, 16992, 17006, 17020, 17034, 17071, 17077, 17091, 17105, 17119, 17133, 17148, 17165, 17184, 17205, 17228, 17253, 17280, 17309, 17340, 17373, 17408, 17445, 17483, 17520, 17555, 17588, 17619, 17648, 17675, 17700, 17723, 17744, 17763, 17780, 17795, 17809, 17823, 17860, 17866, 17880, 17894, 17908, 17923, 17940, 17959, 17980, 18003, 18028, 18055, 18084, 18115, 18148, 18183, 18220, 18259, 18299, 18338, 18375, 18410, 18443, 18474, 18503, 18530, 18555, 18578, 18599, 18618, 18635, 18650, 18664, 18701, 18707, 18721, 18735, 18750, 18767, 18786, 18807, 18830, 18855, 18882, 18911, 18942, 18975, 19010, 19047, 19086, 19127, 19169, 19210, 19249, 19286, 19321, 19354, 19385, 19414, 19441, 19466, 19489, 19510, 19529, 19546, 19561, 19598, 19600, 19603, 19617, 19632, 19649, 19668, 19689, 19712, 19737, 19764, 19793, 19824, 19857, 19892, 19929, 19968, 20009, 20052, 20096, 20139, 20180, 20219, 20256, 20291, 20324, 20355, 20384, 20411, 20436, 20459, 20480, 20499, 20516]
[2025-06-07 03:37:03] [INFO ] Actually due to overlaps returned [17071, 17860, 18701, 19598, 7158, 7173, 7190, 7209, 7230, 7253, 7277, 7300, 7321, 7340, 7357, 7372, 7386, 7400, 7414, 7428, 7442, 7679, 7693, 7708, 7725, 7744, 7765, 7787, 7808, 7827, 7844, 7859, 7873, 7887, 7901, 7915, 7929, 7943, 8180, 8194, 8208, 8223, 8240, 8259, 8279, 8298, 8315, 8330, 8344, 8358, 8372, 8386, 8400, 8414, 8428, 8665, 8679, 8693, 8707, 8722, 8739, 8757, 8774, 8789, 8803, 8817, 8831, 8845, 8859, 8873, 8887, 8901, 9138, 9152, 9166, 9180, 9194, 9209, 9225, 9240, 9254, 9268, 9282, 9296, 9310, 9324, 9338, 9352, 9366, 9603, 9617, 9631, 9645, 9659, 9673, 9687, 9701, 9715, 9729, 9743, 9757, 9771, 9785, 9799, 9813, 9827, 10062, 10076, 10090, 10104, 10118, 10132, 10146, 10160, 10174, 10188, 10202, 10216, 10230, 10244, 10258, 10272, 10286, 10523, 10537, 10551, 10565, 10579, 10593, 10607, 10621, 10635, 10649, 10663, 10677, 10691, 10705, 10719, 10733, 10747, 10984, 10998, 11012, 11026, 11040, 11054, 11069, 11085, 11100, 11114, 11128, 11142, 11156, 11170, 11184, 11198, 11212, 11449, 11463, 11477, 11491, 11505, 11520, 11537, 11555, 11572, 11587, 11601, 11615, 11629, 11643, 11657, 11671, 11685, 11922, 11936, 11950, 11964, 11979, 11996, 12015, 12035, 12054, 12071, 12086, 12100, 12114, 12128, 12142, 12156, 12170, 12407, 12421, 12435, 12450, 12467, 12486, 12507, 12529, 12550, 12569, 12586, 12601, 12615, 12629, 12643, 12657, 12671, 12908, 12922, 12937, 12954, 12973, 12994, 13017, 13041, 13064, 13085, 13104, 13121, 13136, 13150, 13164, 13178, 13192, 13429, 13444, 13461, 13480, 13501, 13524, 13549, 13575, 13600, 13623, 13644, 13663, 13680, 13695, 13709, 13723, 13737, 13975, 13992, 14011, 14032, 14055, 14080, 14107, 14135, 14162, 14187, 14210, 14231, 14250, 14267, 14282, 14296, 14310, 14551, 14570, 14591, 14614, 14639, 14666, 14695, 14725, 14754, 14781, 14806, 14829, 14850, 14869, 14886, 14901, 14915, 15161, 15182, 15205, 15230, 15257, 15286, 15317, 15349, 15380, 15409, 15436, 15461, 15484, 15505, 15524, 15541, 15556, 15809, 15832, 15857, 15884, 15913, 15944, 15977, 16011, 16044, 16075, 16104, 16131, 16156, 16179, 16200, 16219, 16236, 16457, 16478, 16501, 16526, 16553, 16582, 16613, 16646, 16681, 16717, 16752, 16785, 16816, 16845, 16872, 16897, 16920, 16941, 16960, 16977, 17034, 17077, 17091, 17105, 17119, 17133, 17148, 17165, 17184, 17205, 17228, 17253, 17280, 17309, 17340, 17373, 17408, 17445, 17483, 17520, 17555, 17588, 17619, 17648, 17675, 17700, 17723, 17744, 17763, 17823, 17866, 17880, 17894, 17908, 17923, 17940, 17959, 17980, 18003, 18028, 18055, 18084, 18115, 18148, 18183, 18220, 18259, 18299, 18338, 18375, 18410, 18443, 18474, 18503, 18530, 18555, 18578, 18599, 18664, 18707, 18721, 18735, 18750, 18767, 18786, 18807, 18830, 18855, 18882, 18911, 18942, 18975, 19010, 19047, 19086, 19127, 19169, 19210, 19249, 19286, 19321, 19354, 19385, 19414, 19441, 19466, 19489, 19561, 19600, 19603, 19617, 19632, 19649, 19668, 19689, 19712, 19737, 19764, 19793, 19824, 19857, 19892, 19929, 19968, 20009, 20052, 20096, 20139, 20180, 20219, 20256, 20291, 20324, 20355, 20384, 20411, 20436]
Discarding 447 places :
Implicit Place search using SMT only with invariants took 167003 ms to find 447 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 20900/21347 places, 39152/39152 transitions.
Applied a total of 0 rules in 2365 ms. Remains 20900 /20900 variables (removed 0) and now considering 39152/39152 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 171898 ms. Remains : 20900/21347 places, 39152/39152 transitions.
Computed a total of 14917 stabilizing places and 27216 stable transitions
Computed a total of 14917 stabilizing places and 27216 stable transitions
Detected a total of 14917/20900 stabilizing places and 27216/39152 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 1/1 atomic propositions.
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : []
Knowledge based reduction with 4 factoid took 100 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 50 ms :[(NOT p0)]
RANDOM walk for 38114 steps (421 resets) in 3026 ms. (12 steps per ms) remains 0/1 properties
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (OR (G p0) (G (NOT p0))))]
False Knowledge obtained : [(F (NOT p0))]
Knowledge based reduction with 4 factoid took 141 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 32 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 49 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 32 ms :[(NOT p0)]
Product exploration explored 100000 steps with 1112 reset in 3736 ms.
Product exploration explored 100000 steps with 1112 reset in 3568 ms.
Built C files in :
/tmp/ltsmin17314654067287679621
[2025-06-07 03:37:14] [INFO ] Too many transitions (39152) to apply POR reductions. Disabling POR matrices.
[2025-06-07 03:37:15] [INFO ] Built C files in 770ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17314654067287679621
Running compilation step : cd /tmp/ltsmin17314654067287679621;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin17314654067287679621;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin17314654067287679621;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 3 out of 20900 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 20900/20900 places, 39152/39152 transitions.
Applied a total of 0 rules in 4662 ms. Remains 20900 /20900 variables (removed 0) and now considering 39152/39152 (removed 0) transitions.
[2025-06-07 03:37:23] [INFO ] Flow matrix only has 38096 transitions (discarded 1056 similar events)
// Phase 1: matrix 38096 rows 20900 cols
[2025-06-07 03:37:30] [INFO ] Computed 830 invariants in 6590 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:38:07] [INFO ] Performed 5059/20900 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 03:38:37] [INFO ] Performed 9827/20900 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-07 03:39:07] [INFO ] Performed 13228/20900 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-07 03:39:37] [INFO ] Performed 16820/20900 implicitness test of which 3 returned IMPLICIT in 120 seconds.
[2025-06-07 03:40:08] [INFO ] Performed 20247/20900 implicitness test of which 17 returned IMPLICIT in 151 seconds.
[2025-06-07 03:40:10] [INFO ] Implicit Places using invariants in 166645 ms returned [16666, 16680, 16694, 17424, 17439, 17453, 18232, 18249, 18264, 19094, 19113, 19130, 20012, 20033, 20052, 20069, 20107]
Discarding 17 places :
Implicit Place search using SMT only with invariants took 166683 ms to find 17 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 20883/20900 places, 39152/39152 transitions.
Applied a total of 0 rules in 2539 ms. Remains 20883 /20883 variables (removed 0) and now considering 39152/39152 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 173900 ms. Remains : 20883/20900 places, 39152/39152 transitions.
Built C files in :
/tmp/ltsmin3842195118703453588
[2025-06-07 03:40:12] [INFO ] Too many transitions (39152) to apply POR reductions. Disabling POR matrices.
[2025-06-07 03:40:13] [INFO ] Built C files in 339ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3842195118703453588
Running compilation step : cd /tmp/ltsmin3842195118703453588;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3842195118703453588;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3842195118703453588;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202505121319/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2025-06-07 03:40:21] [INFO ] Flatten gal took : 2587 ms
[2025-06-07 03:40:22] [INFO ] Flatten gal took : 1343 ms
[2025-06-07 03:40:23] [INFO ] Time to serialize gal into /tmp/LTL3327691051071140925.gal : 527 ms
[2025-06-07 03:40:23] [INFO ] Time to serialize properties into /tmp/LTL11533487649264470111.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL3327691051071140925.gal' '-t' 'CGAL' '-hoa' '/tmp/aut14411976434949136236.hoa' '-atoms' '/tmp/LTL11533487649264470111.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Detected timeout of ITS tools.
[2025-06-07 03:40:40] [INFO ] Flatten gal took : 1157 ms
[2025-06-07 03:40:41] [INFO ] Flatten gal took : 996 ms
[2025-06-07 03:40:41] [INFO ] Time to serialize gal into /tmp/LTL35858729252592940.gal : 162 ms
[2025-06-07 03:40:41] [INFO ] Time to serialize properties into /tmp/LTL2549716572882509263.ltl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL35858729252592940.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2549716572882509263.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...273
Read 1 LTL properties
Detected timeout of ITS tools.
[2025-06-07 03:40:58] [INFO ] Flatten gal took : 1474 ms
[2025-06-07 03:40:58] [INFO ] Applying decomposition
[2025-06-07 03:40:59] [INFO ] Flatten gal took : 1085 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph489015414906558316.txt' '-o' '/tmp/graph489015414906558316.bin' '-w' '/tmp/graph489015414906558316.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph489015414906558316.bin' '-l' '-1' '-v' '-w' '/tmp/graph489015414906558316.weights' '-q' '0' '-e' '0.001'
[2025-06-07 03:41:02] [INFO ] Decomposing Gal with order
[2025-06-07 03:41:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 03:41:35] [INFO ] Removed a total of 31822 redundant transitions.
[2025-06-07 03:41:36] [INFO ] Flatten gal took : 10604 ms
[2025-06-07 03:41:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 9620 labels/synchronizations in 3136 ms.
[2025-06-07 03:41:41] [INFO ] Time to serialize gal into /tmp/LTL629574345097896244.gal : 262 ms
[2025-06-07 03:41:41] [INFO ] Time to serialize properties into /tmp/LTL16102042101107380364.ltl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL629574345097896244.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16102042101107380364.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...254
Read 1 LTL properties
Detected timeout of ITS tools.
Treatment of property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-02 finished in 651111 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202505121319/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((G(p0) U p1)||G(p2))))'
Support contains 4 out of 34107 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 34107/34107 places, 51525/51525 transitions.
Applied a total of 0 rules in 3613 ms. Remains 34107 /34107 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 03:42:00] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34107 cols
[2025-06-07 03:42:16] [INFO ] Computed 1664 invariants in 16200 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:43:01] [INFO ] Performed 3719/34107 implicitness test of which 27 returned IMPLICIT in 30 seconds.
[2025-06-07 03:43:34] [INFO ] Performed 5983/34107 implicitness test of which 45 returned IMPLICIT in 62 seconds.
[2025-06-07 03:44:04] [INFO ] Performed 8198/34107 implicitness test of which 70 returned IMPLICIT in 92 seconds.
[2025-06-07 03:44:35] [INFO ] Performed 9951/34107 implicitness test of which 81 returned IMPLICIT in 123 seconds.
[2025-06-07 03:44:56] [INFO ] Implicit Places using invariants in 176315 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 1315, 1340, 1366, 1394, 1424, 1456, 1490, 1526, 1564, 2563, 2588, 2613, 2639, 2667, 2697, 2729, 2763, 2799, 3755, 3780, 3805, 3830, 3856, 3884, 3914, 3946, 3980, 4895, 4920, 4945, 4970, 4995, 5021, 5049, 5079, 5111, 5987, 6012, 6037, 6062, 6087, 6112, 6138, 6166, 6196, 7035, 7060, 7085, 7110, 7135, 7160, 7185, 7211, 7239, 8043, 8068, 8093, 8118, 8143, 8168, 8193, 8218, 8244, 9015, 9040, 9065, 9090, 9115, 9140, 9165, 9190, 9215, 9955, 9980, 10005, 10030, 10055, 10080, 10105, 10130, 10155, 10867, 10892, 10917, 10942, 10967, 10992, 11017, 11042, 11067, 11092, 11117, 11143, 11171, 11201, 11233, 11267, 11302, 11336, 11368, 11398, 11426, 11452, 11477, 11502, 11527, 11552, 11577, 11602, 11627, 11652, 11677, 11702]
Discarding 122 places :
Implicit Place search using SMT only with invariants took 176375 ms to find 122 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33985/34107 places, 51525/51525 transitions.
Applied a total of 0 rules in 2321 ms. Remains 33985 /33985 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 182322 ms. Remains : 33985/34107 places, 51525/51525 transitions.
Stuttering acceptance computed with spot in 434 ms :[(AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2)), true, (NOT p0), (NOT p1), (NOT p2), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-03
Product exploration explored 100000 steps with 891 reset in 5784 ms.
Product exploration explored 100000 steps with 890 reset in 5423 ms.
Computed a total of 27969 stabilizing places and 39556 stable transitions
Computed a total of 27969 stabilizing places and 39556 stable transitions
Detected a total of 27969/33985 stabilizing places and 39556/51525 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 3/3 atomic propositions.
Knowledge obtained : [(AND (NOT p1) p0 (NOT p2)), (X (NOT p2)), (X (AND (NOT p1) p0 (NOT p2))), (X (NOT (AND (NOT p1) (NOT p0) p2))), (X (NOT (AND (NOT p1) (NOT p0) (NOT p2)))), (X (NOT (AND (NOT p1) p0 p2))), (X p0), (X (NOT p1)), (X (X (NOT p2))), (X (X (AND (NOT p1) p0 (NOT p2)))), (X (X (AND p0 (NOT p2)))), (X (X (AND (NOT p1) p0))), (X (X (NOT (AND (NOT p1) (NOT p0) p2)))), (X (X (NOT (AND (NOT p1) (NOT p0) (NOT p2))))), (X (X (NOT (AND (NOT p0) (NOT p2))))), (X (X (NOT (AND p0 p2)))), (X (X (NOT (AND (NOT p0) p2)))), (X (X (NOT (AND (NOT p1) p0 p2)))), (X (X p0)), (X (X (NOT (AND (NOT p1) (NOT p0))))), (X (X (NOT p1))), (F (OR (G p1) (G (NOT p1)))), (F (OR (G p0) (G (NOT p0)))), (F (OR (G p2) (G (NOT p2))))]
False Knowledge obtained : []
Knowledge based reduction with 24 factoid took 1367 ms. Reduced automaton from 7 states, 19 edges and 3 AP (stutter sensitive) to 5 states, 8 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 210 ms :[(NOT p0), (OR (NOT p0) (NOT p1)), (OR (NOT p1) (NOT p0)), true, (OR (NOT p1) (NOT p0))]
RANDOM walk for 40000 steps (354 resets) in 4074 ms. (9 steps per ms) remains 1/4 properties
BEST_FIRST walk for 40004 steps (52 resets) in 714 ms. (55 steps per ms) remains 1/1 properties
[2025-06-07 03:45:15] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 33985 cols
[2025-06-07 03:45:34] [INFO ] Computed 1542 invariants in 19673 ms
[2025-06-07 03:45:35] [INFO ] State equation strengthened by 16546 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 18566/84454 variables, and 2 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4542 ms.
Refiners :[Positive P Invariants (semi-flows): 2/63 constraints, Generalized P Invariants (flows): 0/1479 constraints, State Equation: 0/33985 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 18566/84454 variables, and 2 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4112 ms.
Refiners :[Positive P Invariants (semi-flows): 2/63 constraints, Generalized P Invariants (flows): 0/1479 constraints, State Equation: 0/33985 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 29065ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 33985 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 33985/33985 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11615 transitions
Trivial Post-agglo rules discarded 11615 transitions
Performed 11615 trivial Post agglomeration. Transition count delta: 11615
Iterating post reduction 0 with 11615 rules applied. Total rules applied 11615 place count 33985 transition count 39910
Reduce places removed 11615 places and 0 transitions.
Iterating post reduction 1 with 11615 rules applied. Total rules applied 23230 place count 22370 transition count 39910
Performed 726 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 726 Pre rules applied. Total rules applied 23230 place count 22370 transition count 39184
Deduced a syphon composed of 726 places in 67 ms
Reduce places removed 726 places and 0 transitions.
Iterating global reduction 2 with 1452 rules applied. Total rules applied 24682 place count 21644 transition count 39184
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 75 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 24748 place count 21611 transition count 39151
Free-agglomeration rule (complex) applied 1588 times.
Iterating global reduction 2 with 1588 rules applied. Total rules applied 26336 place count 21611 transition count 37563
Reduce places removed 1588 places and 0 transitions.
Iterating post reduction 2 with 1588 rules applied. Total rules applied 27924 place count 20023 transition count 37563
Partial Free-agglomeration rule applied 527 times.
Drop transitions (Partial Free agglomeration) removed 527 transitions
Iterating global reduction 3 with 527 rules applied. Total rules applied 28451 place count 20023 transition count 37563
Applied a total of 28451 rules in 17800 ms. Remains 20023 /33985 variables (removed 13962) and now considering 37563/51525 (removed 13962) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 17802 ms. Remains : 20023/33985 places, 37563/51525 transitions.
RANDOM walk for 40000 steps (600 resets) in 8351 ms. (4 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (56 resets) in 879 ms. (45 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 9987 steps, run timeout after 6002 ms. (steps per millisecond=1 ) properties seen :0 out of 1
Probabilistic random walk after 9987 steps, saw 4783 distinct states, run finished after 6002 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-07 03:46:10] [INFO ] Flow matrix only has 35997 transitions (discarded 1566 similar events)
// Phase 1: matrix 35997 rows 20023 cols
[2025-06-07 03:46:33] [INFO ] Computed 1542 invariants in 22505 ms
[2025-06-07 03:46:35] [INFO ] State equation strengthened by 16546 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 6039/6040 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6040 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 1161/7201 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/7201 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 12577/19778 variables, 1292/1297 constraints. Problems are: Problem set: 0 solved, 1 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/19778 variables, 0/1297 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 60/19838 variables, 60/1357 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/19838 variables, 0/1357 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 185/20023 variables, 185/1542 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/20023 variables, 0/1542 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 56020/56020 variables, and 21565 constraints, problems are : Problem set: 0 solved, 1 unsolved in 45021 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1477/1477 constraints, State Equation: 20023/20023 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 6039/6040 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6040 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 1161/7201 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/7201 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 12577/19778 variables, 1292/1297 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
SMT process timed out in 197018ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 20023 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20023/20023 places, 37563/37563 transitions.
Applied a total of 0 rules in 1868 ms. Remains 20023 /20023 variables (removed 0) and now considering 37563/37563 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1868 ms. Remains : 20023/20023 places, 37563/37563 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20023/20023 places, 37563/37563 transitions.
Applied a total of 0 rules in 1843 ms. Remains 20023 /20023 variables (removed 0) and now considering 37563/37563 (removed 0) transitions.
[2025-06-07 03:49:31] [INFO ] Flow matrix only has 35997 transitions (discarded 1566 similar events)
[2025-06-07 03:49:31] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:50:07] [INFO ] Performed 5987/20023 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 03:50:37] [INFO ] Performed 8741/20023 implicitness test of which 132 returned IMPLICIT in 60 seconds.
[2025-06-07 03:51:08] [INFO ] Performed 11475/20023 implicitness test of which 332 returned IMPLICIT in 90 seconds.
[2025-06-07 03:51:38] [INFO ] Performed 13503/20023 implicitness test of which 464 returned IMPLICIT in 121 seconds.
[2025-06-07 03:52:08] [INFO ] Performed 15781/20023 implicitness test of which 584 returned IMPLICIT in 151 seconds.
[2025-06-07 03:52:11] [INFO ] Implicit Places using invariants in 160112 ms returned [6941, 6947, 6960, 6973, 6986, 6999, 7012, 7025, 7038, 7051, 7064, 7077, 7090, 7103, 7118, 7135, 7154, 7174, 7193, 7210, 7225, 7238, 7251, 7264, 7277, 7290, 7303, 7316, 7329, 7342, 7355, 7368, 7381, 7417, 7423, 7436, 7449, 7462, 7475, 7488, 7501, 7514, 7527, 7540, 7553, 7566, 7579, 7592, 7607, 7624, 7642, 7659, 7674, 7687, 7700, 7713, 7726, 7739, 7752, 7765, 7778, 7791, 7804, 7817, 7830, 7843, 7879, 7885, 7898, 7911, 7924, 7937, 7950, 7963, 7976, 7989, 8002, 8015, 8028, 8041, 8054, 8067, 8082, 8098, 8113, 8126, 8139, 8152, 8165, 8178, 8191, 8204, 8217, 8230, 8243, 8256, 8269, 8282, 8295, 8331, 8337, 8350, 8363, 8376, 8389, 8402, 8415, 8428, 8441, 8454, 8467, 8480, 8493, 8506, 8519, 8532, 8546, 8559, 8572, 8585, 8598, 8611, 8624, 8637, 8650, 8663, 8676, 8689, 8702, 8715, 8728, 8741, 8777, 8783, 8796, 8809, 8822, 8835, 8848, 8861, 8874, 8887, 8900, 8913, 8926, 8939, 8952, 8965, 8978, 8991, 9004, 9017, 9030, 9043, 9056, 9069, 9082, 9095, 9108, 9121, 9134, 9147, 9160, 9173, 9186, 9222, 9224, 9227, 9240, 9253, 9266, 9279, 9292, 9305, 9318, 9331, 9344, 9357, 9370, 9383, 9396, 9409, 9422, 9435, 9448, 9461, 9474, 9487, 9500, 9513, 9526, 9539, 9552, 9565, 9578, 9591, 9604, 9617, 9630, 9666, 9672, 9685, 9698, 9711, 9724, 9737, 9750, 9763, 9776, 9789, 9802, 9815, 9828, 9841, 9854, 9867, 9880, 9893, 9906, 9919, 9932, 9945, 9958, 9971, 9984, 9997, 10010, 10023, 10036, 10049, 10062, 10075, 10111, 10117, 10130, 10143, 10156, 10169, 10182, 10195, 10208, 10221, 10234, 10247, 10260, 10273, 10286, 10299, 10312, 10325, 10339, 10352, 10365, 10378, 10391, 10404, 10417, 10430, 10443, 10456, 10469, 10482, 10495, 10508, 10521, 10558, 10564, 10577, 10590, 10603, 10616, 10629, 10642, 10655, 10668, 10681, 10694, 10707, 10720, 10733, 10746, 10759, 10774, 10790, 10805, 10818, 10831, 10844, 10857, 10870, 10883, 10896, 10909, 10922, 10935, 10948, 10961, 10974, 11010, 11016, 11029, 11042, 11055, 11068, 11081, 11094, 11107, 11120, 11133, 11146, 11159, 11172, 11185, 11198, 11213, 11230, 11248, 11265, 11280, 11293, 11306, 11319, 11332, 11345, 11358, 11371, 11384, 11397, 11410, 11423, 11436, 11472, 11478, 11491, 11504, 11517, 11530, 11543, 11556, 11569, 11582, 11595, 11608, 11621, 11634, 11647, 11662, 11679, 11698, 11718, 11737, 11754, 11769, 11782, 11795, 11808, 11821, 11834, 11847, 11860, 11873, 11886, 11899, 11912, 11948, 11954, 11967, 11980, 11993, 12006, 12019, 12032, 12045, 12058, 12071, 12084, 12097, 12110, 12125, 12142, 12161, 12182, 12204, 12225, 12244, 12261, 12276, 12289, 12302, 12315, 12328, 12341, 12354, 12367, 12380, 12393, 12406, 12442, 12448, 12461, 12474, 12487, 12500, 12513, 12526, 12539, 12552, 12565, 12578, 12591, 12606, 12623, 12642, 12663, 12686, 12710, 12733, 12754, 12773, 12790, 12805, 12818, 12831, 12844, 12857, 12870, 12883, 12896, 12909, 12922, 12958, 12964, 12977, 12990, 13003, 13016, 13029, 13042, 13055, 13068, 13081, 13094, 13109, 13126, 13145, 13166, 13189, 13214, 13240, 13265, 13288, 13309, 13328, 13345, 13360, 13373, 13386, 13399, 13412, 13425, 13438, 13451, 13464, 13500, 13506, 13519, 13532, 13545, 13558, 13571, 13584, 13597, 13610, 13623, 13638, 13655, 13674, 13695, 13718, 13743, 13770, 13798, 13825, 13850, 13873, 13894, 13913, 13930, 13945, 13958, 13971, 13984, 13997, 14010, 14023, 14036, 14072, 14078, 14091, 14104, 14117, 14130, 14143, 14156, 14169, 14182, 14197, 14214, 14233, 14254, 14277, 14302, 14329, 14358, 14388, 14417, 14444, 14469, 14492, 14513, 14532, 14549, 14564, 14577, 14590, 14603, 14616, 14629, 14642, 14678, 14684, 14697, 14710, 14723, 14736, 14749, 14762, 14775, 14790, 14807, 14826, 14847, 14870, 14895, 14922, 14951, 14982, 15014, 15045, 15074, 15101, 15126, 15149, 15170, 15189, 15206, 15221, 15234, 15247, 15260, 15273, 15286, 15322, 15328, 15341, 15354, 15367, 15380, 15393, 15406, 15421, 15438, 15457, 15478, 15501, 15526, 15553, 15582, 15613, 15646, 15680, 15713, 15744, 15773, 15800, 15825, 15848, 15869, 15888, 15905, 15920, 15933, 15946, 15959, 15972, 16008]
[2025-06-07 03:52:11] [INFO ] Actually due to overlaps returned [6941, 7417, 7879, 8331, 8777, 9222, 9666, 10111, 10558, 11010, 11472, 11948, 12442, 12958, 13500, 14072, 14678, 15322, 16008, 6947, 6960, 6973, 6986, 6999, 7012, 7025, 7038, 7051, 7064, 7342, 7355, 7368, 7381, 7423, 7436, 7449, 7462, 7475, 7488, 7501, 7514, 7527, 7540, 7804, 7817, 7830, 7843, 7885, 7898, 7911, 7924, 7937, 7950, 7963, 7976, 7989, 8002, 8256, 8269, 8282, 8295, 8337, 8350, 8363, 8376, 8389, 8402, 8415, 8428, 8441, 8454, 8702, 8715, 8728, 8741, 8783, 8796, 8809, 8822, 8835, 8848, 8861, 8874, 8887, 8900, 9147, 9160, 9173, 9186, 9227, 9240, 9253, 9266, 9279, 9292, 9305, 9318, 9331, 9344, 9591, 9604, 9617, 9630, 9672, 9685, 9698, 9711, 9724, 9737, 9750, 9763, 9776, 9789, 10036, 10049, 10062, 10075, 10117, 10130, 10143, 10156, 10169, 10182, 10195, 10208, 10221, 10234, 10482, 10495, 10508, 10521, 10564, 10577, 10590, 10603, 10616, 10629, 10642, 10655, 10668, 10681, 10935, 10948, 10961, 10974, 11016, 11029, 11042, 11055, 11068, 11081, 11094, 11107, 11120, 11133, 11397, 11410, 11423, 11436, 11478, 11491, 11504, 11517, 11530, 11543, 11556, 11569, 11582, 11595, 11873, 11886, 11899, 11912, 11954, 11967, 11980, 11993, 12006, 12019, 12032, 12045, 12058, 12071, 12367, 12380, 12393, 12406, 12448, 12461, 12474, 12487, 12500, 12513, 12526, 12539, 12552, 12565, 12883, 12896, 12909, 12922, 12964, 12977, 12990, 13003, 13016, 13029, 13042, 13055, 13068, 13081, 13425, 13438, 13451, 13464, 13506, 13519, 13532, 13545, 13558, 13571, 13584, 13597, 13610, 13623, 13997, 14010, 14023, 14036, 14078, 14091, 14104, 14117, 14130, 14143, 14156, 14169, 14182, 14197, 14603, 14616, 14629, 14642, 14684, 14697, 14710, 14723, 14736, 14749, 14762, 14775, 14790, 14807, 15247, 15260, 15273, 15286, 15328, 15341, 15354, 15367, 15380, 15393, 15406, 15421, 15438, 15457, 15933, 15946, 15959, 15972, 9224]
Discarding 272 places :
Implicit Place search using SMT only with invariants took 160189 ms to find 272 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 19751/20023 places, 37563/37563 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 19751 transition count 37562
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 19750 transition count 37562
Applied a total of 2 rules in 3171 ms. Remains 19750 /19751 variables (removed 1) and now considering 37562/37563 (removed 1) transitions.
[2025-06-07 03:52:14] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
// Phase 1: matrix 35996 rows 19750 cols
[2025-06-07 03:52:38] [INFO ] Computed 1270 invariants in 23539 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:53:14] [INFO ] Performed 4951/19750 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 03:53:44] [INFO ] Performed 8288/19750 implicitness test of which 54 returned IMPLICIT in 60 seconds.
[2025-06-07 03:54:14] [INFO ] Performed 11263/19750 implicitness test of which 180 returned IMPLICIT in 90 seconds.
[2025-06-07 03:54:45] [INFO ] Performed 13290/19750 implicitness test of which 252 returned IMPLICIT in 121 seconds.
[2025-06-07 03:55:15] [INFO ] Performed 15952/19750 implicitness test of which 336 returned IMPLICIT in 151 seconds.
[2025-06-07 03:55:18] [INFO ] Implicit Places using invariants in 183607 ms returned [7066, 7079, 7092, 7107, 7124, 7143, 7163, 7182, 7199, 7214, 7227, 7240, 7253, 7266, 7279, 7292, 7305, 7318, 7527, 7540, 7553, 7566, 7581, 7598, 7616, 7633, 7648, 7661, 7674, 7687, 7700, 7713, 7726, 7739, 7752, 7765, 7974, 7987, 8000, 8013, 8026, 8041, 8057, 8072, 8085, 8098, 8111, 8124, 8137, 8150, 8163, 8176, 8189, 8202, 8411, 8424, 8437, 8450, 8463, 8476, 8490, 8503, 8516, 8529, 8542, 8555, 8568, 8581, 8594, 8607, 8620, 8633, 8842, 8855, 8868, 8881, 8894, 8907, 8920, 8933, 8946, 8959, 8972, 8985, 8998, 9011, 9024, 9037, 9050, 9063, 9270, 9283, 9296, 9309, 9322, 9335, 9348, 9361, 9374, 9387, 9400, 9413, 9426, 9439, 9452, 9465, 9478, 9491, 9699, 9712, 9725, 9738, 9751, 9764, 9777, 9790, 9803, 9816, 9829, 9842, 9855, 9868, 9881, 9894, 9907, 9920, 10129, 10142, 10155, 10168, 10181, 10194, 10207, 10221, 10234, 10247, 10260, 10273, 10286, 10299, 10312, 10325, 10338, 10351, 10561, 10574, 10587, 10600, 10613, 10626, 10641, 10657, 10672, 10685, 10698, 10711, 10724, 10737, 10750, 10763, 10776, 10789, 10998, 11011, 11024, 11037, 11050, 11065, 11082, 11100, 11117, 11132, 11145, 11158, 11171, 11184, 11197, 11210, 11223, 11236, 11445, 11458, 11471, 11484, 11499, 11516, 11535, 11555, 11574, 11591, 11606, 11619, 11632, 11645, 11658, 11671, 11684, 11697, 11906, 11919, 11932, 11947, 11964, 11983, 12004, 12026, 12047, 12066, 12083, 12098, 12111, 12124, 12137, 12150, 12163, 12176, 12385, 12398, 12413, 12430, 12449, 12470, 12493, 12517, 12540, 12561, 12580, 12597, 12612, 12625, 12638, 12651, 12664, 12677, 12886, 12901, 12918, 12937, 12958, 12981, 13006, 13032, 13057, 13080, 13101, 13120, 13137, 13152, 13165, 13178, 13191, 13204, 13415, 13432, 13451, 13472, 13495, 13520, 13547, 13575, 13602, 13627, 13650, 13671, 13690, 13707, 13722, 13735, 13748, 13761, 13976, 13995, 14016, 14039, 14064, 14091, 14120, 14150, 14179, 14206, 14231, 14254, 14275, 14294, 14311, 14326, 14339, 14352, 14573, 14594, 14617, 14642, 14669, 14698, 14729, 14761, 14792, 14821, 14848, 14873, 14896, 14917, 14936, 14953, 14968, 14981, 15210, 15233, 15258, 15285, 15314, 15345, 15378, 15412, 15445, 15476, 15505, 15532, 15557, 15580, 15601, 15620, 15637, 15652, 15741, 15754, 15767, 15780, 15793, 15806, 15821, 15838, 15857, 15878, 15901, 15926, 15953, 15982, 16013, 16046, 16081, 16117, 16152, 16185, 16216, 16245, 16272, 16297, 16320, 16341, 16360, 16377, 16392, 16405, 16418]
Discarding 355 places :
Implicit Place search using SMT only with invariants took 183652 ms to find 355 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 19395/20023 places, 37562/37563 transitions.
Applied a total of 0 rules in 1989 ms. Remains 19395 /19395 variables (removed 0) and now considering 37562/37562 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 350850 ms. Remains : 19395/20023 places, 37562/37563 transitions.
Knowledge obtained : [(AND (NOT p1) p0 (NOT p2)), (X (NOT p2)), (X (AND (NOT p1) p0 (NOT p2))), (X (NOT (AND (NOT p1) (NOT p0) p2))), (X (NOT (AND (NOT p1) (NOT p0) (NOT p2)))), (X (NOT (AND (NOT p1) p0 p2))), (X p0), (X (NOT p1)), (X (X (NOT p2))), (X (X (AND (NOT p1) p0 (NOT p2)))), (X (X (AND p0 (NOT p2)))), (X (X (AND (NOT p1) p0))), (X (X (NOT (AND (NOT p1) (NOT p0) p2)))), (X (X (NOT (AND (NOT p1) (NOT p0) (NOT p2))))), (X (X (NOT (AND (NOT p0) (NOT p2))))), (X (X (NOT (AND p0 p2)))), (X (X (NOT (AND (NOT p0) p2)))), (X (X (NOT (AND (NOT p1) p0 p2)))), (X (X p0)), (X (X (NOT (AND (NOT p1) (NOT p0))))), (X (X (NOT p1))), (F (OR (G p1) (G (NOT p1)))), (F (OR (G p0) (G (NOT p0)))), (F (OR (G p2) (G (NOT p2))))]
False Knowledge obtained : [(F p1), (F (NOT (AND p0 (NOT p1)))), (F (NOT (OR (NOT p0) (NOT p1))))]
Knowledge based reduction with 24 factoid took 2150 ms. Reduced automaton from 5 states, 8 edges and 2 AP (stutter sensitive) to 5 states, 8 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 215 ms :[(NOT p0), (OR (NOT p0) (NOT p1)), (OR (NOT p1) (NOT p0)), true, (OR (NOT p1) (NOT p0))]
Stuttering acceptance computed with spot in 215 ms :[(NOT p0), (OR (NOT p0) (NOT p1)), (OR (NOT p1) (NOT p0)), true, (OR (NOT p1) (NOT p0))]
[2025-06-07 03:55:23] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 33985 cols
[2025-06-07 03:55:42] [INFO ] Computed 1542 invariants in 19576 ms
Starting Z3 with timeout 15.0 s and query timeout 1500.0 ms
Could not prove EG (NOT p1)
Support contains 2 out of 33985 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in LTL mode, iteration 0 : 33985/33985 places, 51525/51525 transitions.
Applied a total of 0 rules in 2093 ms. Remains 33985 /33985 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 03:55:55] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 03:55:55] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:56:38] [INFO ] Performed 3723/33985 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 03:57:08] [INFO ] Performed 6531/33985 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-07 03:57:38] [INFO ] Performed 8704/33985 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-07 03:58:08] [INFO ] Performed 10612/33985 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-07 03:58:08] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-07 03:58:08] [INFO ] Implicit Places using invariants in 132491 ms returned []
Implicit Place search using SMT only with invariants took 132494 ms to find 0 implicit places.
Running 51492 sub problems to find dead transitions.
[2025-06-07 03:58:08] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 03:58:08] [INFO ] Invariant cache hit.
[2025-06-07 03:58:08] [INFO ] State equation strengthened by 16546 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
SMT process timed out in 355778ms, After SMT, problems are : Problem set: 0 solved, 51492 unsolved
Search for dead transitions found 0 dead transitions in 356094ms
Finished structural reductions in LTL mode , in 1 iterations and 490824 ms. Remains : 33985/33985 places, 51525/51525 transitions.
Computed a total of 27969 stabilizing places and 39556 stable transitions
Computed a total of 27969 stabilizing places and 39556 stable transitions
Detected a total of 27969/33985 stabilizing places and 39556/51525 transitions leading to convergence knowledge of the form 'F(Gp|G!p)' for 2/2 atomic propositions.
Knowledge obtained : [(AND p0 (NOT p1)), (X (X (AND p0 (NOT p1)))), (X (X (NOT (AND p0 p1)))), (X (X p0)), (X (X (NOT p1))), (F (OR (G p0) (G (NOT p0)))), (F (OR (G p1) (G (NOT p1))))]
False Knowledge obtained : []
Knowledge based reduction with 7 factoid took 191 ms. Reduced automaton from 5 states, 8 edges and 2 AP (stutter sensitive) to 5 states, 8 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 192 ms :[(NOT p0), (OR (NOT p0) (NOT p1)), (OR (NOT p1) (NOT p0)), true, (OR (NOT p1) (NOT p0))]
RANDOM walk for 40000 steps (356 resets) in 2840 ms. (14 steps per ms) remains 1/4 properties
BEST_FIRST walk for 40003 steps (52 resets) in 674 ms. (59 steps per ms) remains 1/1 properties
[2025-06-07 04:04:06] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 04:04:06] [INFO ] Invariant cache hit.
[2025-06-07 04:04:06] [INFO ] State equation strengthened by 16546 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 18566/84454 variables, and 2 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4386 ms.
Refiners :[Positive P Invariants (semi-flows): 2/63 constraints, Generalized P Invariants (flows): 0/1479 constraints, State Equation: 0/33985 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 18566/84454 variables, and 2 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4136 ms.
Refiners :[Positive P Invariants (semi-flows): 2/63 constraints, Generalized P Invariants (flows): 0/1479 constraints, State Equation: 0/33985 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 8688ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 33985 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 33985/33985 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11615 transitions
Trivial Post-agglo rules discarded 11615 transitions
Performed 11615 trivial Post agglomeration. Transition count delta: 11615
Iterating post reduction 0 with 11615 rules applied. Total rules applied 11615 place count 33985 transition count 39910
Reduce places removed 11615 places and 0 transitions.
Iterating post reduction 1 with 11615 rules applied. Total rules applied 23230 place count 22370 transition count 39910
Performed 726 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 726 Pre rules applied. Total rules applied 23230 place count 22370 transition count 39184
Deduced a syphon composed of 726 places in 67 ms
Reduce places removed 726 places and 0 transitions.
Iterating global reduction 2 with 1452 rules applied. Total rules applied 24682 place count 21644 transition count 39184
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 148 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 24748 place count 21611 transition count 39151
Free-agglomeration rule (complex) applied 1588 times.
Iterating global reduction 2 with 1588 rules applied. Total rules applied 26336 place count 21611 transition count 37563
Reduce places removed 1588 places and 0 transitions.
Iterating post reduction 2 with 1588 rules applied. Total rules applied 27924 place count 20023 transition count 37563
Partial Free-agglomeration rule applied 527 times.
Drop transitions (Partial Free agglomeration) removed 527 transitions
Iterating global reduction 3 with 527 rules applied. Total rules applied 28451 place count 20023 transition count 37563
Applied a total of 28451 rules in 14655 ms. Remains 20023 /33985 variables (removed 13962) and now considering 37563/51525 (removed 13962) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 14656 ms. Remains : 20023/33985 places, 37563/51525 transitions.
RANDOM walk for 40000 steps (600 resets) in 6275 ms. (6 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (55 resets) in 799 ms. (50 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 5672 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :0 out of 1
Probabilistic random walk after 5672 steps, saw 2865 distinct states, run finished after 3001 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-07 04:04:34] [INFO ] Flow matrix only has 35997 transitions (discarded 1566 similar events)
// Phase 1: matrix 35997 rows 20023 cols
[2025-06-07 04:04:57] [INFO ] Computed 1542 invariants in 23091 ms
[2025-06-07 04:04:59] [INFO ] State equation strengthened by 16546 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 6039/6040 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6040 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 1161/7201 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/7201 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 12577/19778 variables, 1292/1297 constraints. Problems are: Problem set: 0 solved, 1 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/19778 variables, 0/1297 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 60/19838 variables, 60/1357 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/19838 variables, 0/1357 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 185/20023 variables, 185/1542 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/20023 variables, 0/1542 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 56020/56020 variables, and 21565 constraints, problems are : Problem set: 0 solved, 1 unsolved in 45034 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1477/1477 constraints, State Equation: 20023/20023 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 6039/6040 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6040 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 1161/7201 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/7201 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 12577/19778 variables, 1292/1297 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
SMT process timed out in 197704ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 20023 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20023/20023 places, 37563/37563 transitions.
Applied a total of 0 rules in 1734 ms. Remains 20023 /20023 variables (removed 0) and now considering 37563/37563 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1734 ms. Remains : 20023/20023 places, 37563/37563 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20023/20023 places, 37563/37563 transitions.
Applied a total of 0 rules in 1573 ms. Remains 20023 /20023 variables (removed 0) and now considering 37563/37563 (removed 0) transitions.
[2025-06-07 04:07:55] [INFO ] Flow matrix only has 35997 transitions (discarded 1566 similar events)
[2025-06-07 04:07:55] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
BK_TIME_CONFINEMENT_REACHED
--------------------
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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -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
++ 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.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLFireability -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="MultiCrashLeafsetExtension-PT-S32C11"
export BK_EXAMINATION="LTLFireability"
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-5832"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C11, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-smll-174876524600500"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C11.tgz
mv MultiCrashLeafsetExtension-PT-S32C11 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;