About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C12
| 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 | ? 1 1 1 1 ? ? ? 1 1 ? ? ? 1 ? 1 | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524700509.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-S32C12, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524700509
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 22K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K 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 37M 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 positive values
NUM_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1749281054618
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C12
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202505121319
[2025-06-07 07:24:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-07 07:24:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 07:24:19] [INFO ] Load time of PNML (sax parser for PT used): 1840 ms
[2025-06-07 07:24:19] [INFO ] Transformed 36724 places.
[2025-06-07 07:24:19] [INFO ] Transformed 54827 transitions.
[2025-06-07 07:24:19] [INFO ] Parsed PT model containing 36724 places and 54827 transitions and 203278 arcs in 2255 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 56 ms.
Current structural bounds on expressions (Initially) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
Current structural bounds on expressions (Before main loop) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
[2025-06-07 07:24:20] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
// Phase 1: matrix 53771 rows 36724 cols
[2025-06-07 07:24:45] [INFO ] Computed 2033 invariants in 25185 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 33, 99, 99, 33, 99, 33, 1, 99, 99, 99, 1, 1, 33, 1, 99]
RANDOM walk for 10000 steps (81 resets) in 841 ms. (11 steps per ms)
BEST_FIRST walk for 160010 steps (192 resets) in 1947 ms. (82 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 33, 99, 99, 33, 99, 33, 1, 99, 99, 99, 1, 1, 33, 1, 99]
[2025-06-07 07:24:48] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
[2025-06-07 07:24:48] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:24:53] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 0
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:24:58] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:25:03] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:25:13] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:25:23] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:25:48] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 11
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:25:53] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 12
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:25:58] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 13
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:26:03] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 14
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-07 07:26:08] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 15
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:829)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 33, 99, 99, 33, 99, 33, 1, 99, 99, 99, 1, 1, 33, 1, 99]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 33, 99, 99, 33, 99, 33, 1, 99, 99, 99, 1, 1, 33, 1, 99]
Support contains 16 out of 36724 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 36724/36724 places, 54827/54827 transitions.
Graph (complete) has 119009 edges and 36724 vertex of which 36664 are kept as prefixes of interest. Removing 60 places using SCC suffix rule.112 ms
Discarding 60 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 12662 transitions
Trivial Post-agglo rules discarded 12662 transitions
Performed 12662 trivial Post agglomeration. Transition count delta: 12662
Iterating post reduction 0 with 12662 rules applied. Total rules applied 12663 place count 36664 transition count 42165
Reduce places removed 12662 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 1 with 12669 rules applied. Total rules applied 25332 place count 24002 transition count 42158
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 2 with 7 rules applied. Total rules applied 25339 place count 23995 transition count 42158
Performed 792 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 792 Pre rules applied. Total rules applied 25339 place count 23995 transition count 41366
Deduced a syphon composed of 792 places in 98 ms
Reduce places removed 792 places and 0 transitions.
Iterating global reduction 3 with 1584 rules applied. Total rules applied 26923 place count 23203 transition count 41366
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 82 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 26989 place count 23170 transition count 41333
Free-agglomeration rule (complex) applied 1581 times.
Iterating global reduction 3 with 1581 rules applied. Total rules applied 28570 place count 23170 transition count 39752
Reduce places removed 1581 places and 0 transitions.
Iterating post reduction 3 with 1581 rules applied. Total rules applied 30151 place count 21589 transition count 39752
Partial Free-agglomeration rule applied 4214 times.
Drop transitions (Partial Free agglomeration) removed 4214 transitions
Iterating global reduction 4 with 4214 rules applied. Total rules applied 34365 place count 21589 transition count 39752
Applied a total of 34365 rules in 20470 ms. Remains 21589 /36724 variables (removed 15135) and now considering 39752/54827 (removed 15075) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 20493 ms. Remains : 21589/36724 places, 39752/54827 transitions.
[2025-06-07 07:26:29] [INFO ] Flow matrix only has 38187 transitions (discarded 1565 similar events)
// Phase 1: matrix 38187 rows 21589 cols
[2025-06-07 07:27:09] [INFO ] Computed 1973 invariants in 39695 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 1, 2, 2, 1, 2, 1, 1, 2, 2, 2, 1, 1, 1, 1, 2]
FORMULA MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-04 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 187789 steps (2552 resets) in 30001 ms. (6 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 4187290 steps (5794 resets) in 70014 ms. (59 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 2, 2, 2, 1, 1, 2, 2, 2, 1, 1, 1, 1, 2]
[2025-06-07 07:28:49] [INFO ] Flow matrix only has 38187 transitions (discarded 1565 similar events)
[2025-06-07 07:28:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:28:54] [INFO ] [Real]Absence check using 65 positive place invariants in 1230 ms returned sat
[2025-06-07 07:28:56] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1632 ms returned sat
[2025-06-07 07:29:34] [INFO ] [Real]Absence check using state equation in 38112 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:29:40] [INFO ] [Real]Absence check using 65 positive place invariants in 1241 ms returned sat
[2025-06-07 07:29:40] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 88 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:29:46] [INFO ] [Real]Absence check using 65 positive place invariants in 1251 ms returned sat
[2025-06-07 07:29:46] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 198 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:29:51] [INFO ] [Real]Absence check using 65 positive place invariants in 1364 ms returned sat
[2025-06-07 07:29:53] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1478 ms returned sat
[2025-06-07 07:30:31] [INFO ] [Real]Absence check using state equation in 38012 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:30:36] [INFO ] [Real]Absence check using 65 positive place invariants in 1211 ms returned sat
[2025-06-07 07:30:38] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1758 ms returned sat
[2025-06-07 07:31:16] [INFO ] [Real]Absence check using state equation in 37870 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:31:21] [INFO ] [Real]Absence check using 65 positive place invariants in 1208 ms returned sat
[2025-06-07 07:31:23] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1462 ms returned sat
[2025-06-07 07:32:01] [INFO ] [Real]Absence check using state equation in 38327 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:32:06] [INFO ] [Real]Absence check using 65 positive place invariants in 1234 ms returned sat
[2025-06-07 07:32:06] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 219 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:32:12] [INFO ] [Real]Absence check using 65 positive place invariants in 1239 ms returned sat
[2025-06-07 07:32:13] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1304 ms returned sat
[2025-06-07 07:32:51] [INFO ] [Real]Absence check using state equation in 38288 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:32:57] [INFO ] [Real]Absence check using 65 positive place invariants in 1208 ms returned sat
[2025-06-07 07:32:58] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1234 ms returned sat
[2025-06-07 07:33:36] [INFO ] [Real]Absence check using state equation in 38610 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:33:42] [INFO ] [Real]Absence check using 65 positive place invariants in 1244 ms returned sat
[2025-06-07 07:33:43] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1276 ms returned sat
[2025-06-07 07:34:22] [INFO ] [Real]Absence check using state equation in 38244 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:34:27] [INFO ] [Real]Absence check using 65 positive place invariants in 1187 ms returned sat
[2025-06-07 07:34:28] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1170 ms returned sat
[2025-06-07 07:35:07] [INFO ] [Real]Absence check using state equation in 38637 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:35:12] [INFO ] [Real]Absence check using 65 positive place invariants in 1155 ms returned sat
[2025-06-07 07:35:13] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1099 ms returned sat
[2025-06-07 07:35:52] [INFO ] [Real]Absence check using state equation in 38889 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:35:57] [INFO ] [Real]Absence check using 65 positive place invariants in 1598 ms returned sat
[2025-06-07 07:35:59] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1777 ms returned sat
[2025-06-07 07:36:37] [INFO ] [Real]Absence check using state equation in 37304 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:36:42] [INFO ] [Real]Absence check using 65 positive place invariants in 1253 ms returned sat
[2025-06-07 07:36:43] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 417 ms returned unsat
Current structural bounds on expressions (after SMT) : Max Seen:[0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1, 1]
Support contains 10 out of 21589 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 21589/21589 places, 39752/39752 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 21589 transition count 39751
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 21588 transition count 39751
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 6 place count 21588 transition count 39747
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 10 place count 21584 transition count 39747
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 11 place count 21584 transition count 39747
Applied a total of 11 rules in 5573 ms. Remains 21584 /21589 variables (removed 5) and now considering 39747/39752 (removed 5) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5573 ms. Remains : 21584/21589 places, 39747/39752 transitions.
[2025-06-07 07:36:48] [INFO ] Flow matrix only has 38182 transitions (discarded 1565 similar events)
// Phase 1: matrix 38182 rows 21584 cols
[2025-06-07 07:37:22] [INFO ] Computed 1973 invariants in 33564 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1, 1]
RANDOM walk for 200867 steps (2731 resets) in 30001 ms. (6 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 2643337 steps (3659 resets) in 45009 ms. (58 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
[2025-06-07 07:38:37] [INFO ] Flow matrix only has 38182 transitions (discarded 1565 similar events)
[2025-06-07 07:38:37] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:38:42] [INFO ] [Real]Absence check using 65 positive place invariants in 1247 ms returned sat
[2025-06-07 07:38:44] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1466 ms returned sat
[2025-06-07 07:39:22] [INFO ] [Real]Absence check using state equation in 38221 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:39:27] [INFO ] [Real]Absence check using 65 positive place invariants in 1179 ms returned sat
[2025-06-07 07:39:28] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1297 ms returned sat
[2025-06-07 07:40:07] [INFO ] [Real]Absence check using state equation in 38585 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:40:12] [INFO ] [Real]Absence check using 65 positive place invariants in 1255 ms returned sat
[2025-06-07 07:40:14] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1492 ms returned sat
[2025-06-07 07:40:52] [INFO ] [Real]Absence check using state equation in 38012 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:40:57] [INFO ] [Real]Absence check using 65 positive place invariants in 1303 ms returned sat
[2025-06-07 07:40:59] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1499 ms returned sat
[2025-06-07 07:41:37] [INFO ] [Real]Absence check using state equation in 38010 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:41:42] [INFO ] [Real]Absence check using 65 positive place invariants in 1231 ms returned sat
[2025-06-07 07:41:44] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1496 ms returned sat
[2025-06-07 07:42:22] [INFO ] [Real]Absence check using state equation in 38232 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:42:27] [INFO ] [Real]Absence check using 65 positive place invariants in 1163 ms returned sat
[2025-06-07 07:42:29] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1499 ms returned sat
[2025-06-07 07:43:07] [INFO ] [Real]Absence check using state equation in 38290 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:43:12] [INFO ] [Real]Absence check using 65 positive place invariants in 1213 ms returned sat
[2025-06-07 07:43:14] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1299 ms returned sat
[2025-06-07 07:43:52] [INFO ] [Real]Absence check using state equation in 38311 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:43:57] [INFO ] [Real]Absence check using 65 positive place invariants in 1189 ms returned sat
[2025-06-07 07:43:59] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1312 ms returned sat
[2025-06-07 07:44:37] [INFO ] [Real]Absence check using state equation in 38563 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:44:42] [INFO ] [Real]Absence check using 65 positive place invariants in 1190 ms returned sat
[2025-06-07 07:44:44] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1151 ms returned sat
[2025-06-07 07:45:22] [INFO ] [Real]Absence check using state equation in 38568 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
Support contains 9 out of 21584 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 21584/21584 places, 39747/39747 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 21584 transition count 39746
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 21583 transition count 39746
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 3 place count 21583 transition count 39745
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 4 place count 21582 transition count 39745
Applied a total of 4 rules in 3911 ms. Remains 21582 /21584 variables (removed 2) and now considering 39745/39747 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3911 ms. Remains : 21582/21584 places, 39745/39747 transitions.
[2025-06-07 07:45:26] [INFO ] Flow matrix only has 38180 transitions (discarded 1565 similar events)
// Phase 1: matrix 38180 rows 21582 cols
[2025-06-07 07:45:59] [INFO ] Computed 1973 invariants in 32752 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
RANDOM walk for 196746 steps (2673 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 2672163 steps (3698 resets) in 45009 ms. (59 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
[2025-06-07 07:47:14] [INFO ] Flow matrix only has 38180 transitions (discarded 1565 similar events)
[2025-06-07 07:47:14] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:47:19] [INFO ] [Real]Absence check using 65 positive place invariants in 1332 ms returned sat
[2025-06-07 07:47:21] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1256 ms returned sat
[2025-06-07 07:47:59] [INFO ] [Real]Absence check using state equation in 38243 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:48:04] [INFO ] [Real]Absence check using 65 positive place invariants in 1232 ms returned sat
[2025-06-07 07:48:06] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1677 ms returned sat
[2025-06-07 07:48:44] [INFO ] [Real]Absence check using state equation in 37752 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:48:49] [INFO ] [Real]Absence check using 65 positive place invariants in 1246 ms returned sat
[2025-06-07 07:48:51] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1388 ms returned sat
[2025-06-07 07:49:29] [INFO ] [Real]Absence check using state equation in 38087 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:49:35] [INFO ] [Real]Absence check using 65 positive place invariants in 1431 ms returned sat
[2025-06-07 07:49:36] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1528 ms returned sat
[2025-06-07 07:50:14] [INFO ] [Real]Absence check using state equation in 37792 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:50:20] [INFO ] [Real]Absence check using 65 positive place invariants in 1329 ms returned sat
[2025-06-07 07:50:21] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1477 ms returned sat
[2025-06-07 07:50:59] [INFO ] [Real]Absence check using state equation in 37955 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:51:04] [INFO ] [Real]Absence check using 65 positive place invariants in 1300 ms returned sat
[2025-06-07 07:51:06] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1423 ms returned sat
[2025-06-07 07:51:44] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:51:50] [INFO ] [Real]Absence check using 65 positive place invariants in 1316 ms returned sat
[2025-06-07 07:51:51] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1614 ms returned sat
[2025-06-07 07:52:29] [INFO ] [Real]Absence check using state equation in 37755 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:52:35] [INFO ] [Real]Absence check using 65 positive place invariants in 1360 ms returned sat
[2025-06-07 07:52:36] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1337 ms returned sat
[2025-06-07 07:53:14] [INFO ] [Real]Absence check using state equation in 38187 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 07:53:19] [INFO ] [Real]Absence check using 65 positive place invariants in 1209 ms returned sat
[2025-06-07 07:53:20] [INFO ] [Real]Absence check using 65 positive and 1908 generalized place invariants in 1166 ms returned sat
[2025-06-07 07:53:59] [INFO ] [Real]Absence check using state equation in 38710 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
Support contains 9 out of 21582 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 21582/21582 places, 39745/39745 transitions.
Applied a total of 0 rules in 1665 ms. Remains 21582 /21582 variables (removed 0) and now considering 39745/39745 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1665 ms. Remains : 21582/21582 places, 39745/39745 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 21582/21582 places, 39745/39745 transitions.
Applied a total of 0 rules in 1675 ms. Remains 21582 /21582 variables (removed 0) and now considering 39745/39745 (removed 0) transitions.
[2025-06-07 07:54:02] [INFO ] Flow matrix only has 38180 transitions (discarded 1565 similar events)
[2025-06-07 07:54:02] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 07:54:40] [INFO ] Performed 4103/21582 implicitness test of which 166 returned IMPLICIT in 31 seconds.
[2025-06-07 07:55:10] [INFO ] Performed 6606/21582 implicitness test of which 298 returned IMPLICIT in 61 seconds.
[2025-06-07 07:55:41] [INFO ] Performed 8686/21582 implicitness test of which 430 returned IMPLICIT in 91 seconds.
[2025-06-07 07:56:11] [INFO ] Performed 11088/21582 implicitness test of which 596 returned IMPLICIT in 121 seconds.
[2025-06-07 07:56:41] [INFO ] Performed 12627/21582 implicitness test of which 701 returned IMPLICIT in 151 seconds.
[2025-06-07 07:56:43] [INFO ] Implicit Places using invariants in 160077 ms returned [4, 7, 21, 37, 55, 75, 97, 121, 147, 175, 205, 237, 271, 307, 345, 385, 427, 470, 512, 552, 590, 626, 660, 692, 722, 750, 776, 800, 822, 842, 860, 876, 890, 929, 935, 949, 963, 979, 997, 1017, 1039, 1063, 1089, 1117, 1147, 1179, 1213, 1249, 1287, 1327, 1368, 1408, 1446, 1482, 1516, 1548, 1578, 1606, 1632, 1656, 1678, 1698, 1716, 1732, 1746, 1760, 1799, 1805, 1819, 1833, 1847, 1863, 1881, 1901, 1923, 1947, 1973, 2001, 2031, 2063, 2097, 2133, 2171, 2210, 2248, 2284, 2318, 2350, 2380, 2408, 2434, 2458, 2480, 2500, 2518, 2534, 2548, 2562, 2576, 2615, 2621, 2635, 2649, 2663, 2677, 2693, 2711, 2731, 2753, 2777, 2803, 2831, 2861, 2893, 2927, 2963, 3000, 3036, 3070, 3102, 3132, 3160, 3186, 3210, 3232, 3252, 3270, 3286, 3300, 3314, 3328, 3342, 3381, 3387, 3401, 3415, 3429, 3443, 3457, 3473, 3491, 3511, 3533, 3557, 3583, 3611, 3641, 3673, 3707, 3742, 3776, 3808, 3838, 3866, 3892, 3916, 3938, 3958, 3976, 3992, 4006, 4020, 4034, 4048, 4062, 4101, 4107, 4121, 4135, 4149, 4163, 4177, 4191, 4207, 4225, 4245, 4267, 4291, 4317, 4345, 4375, 4407, 4440, 4472, 4502, 4530, 4556, 4580, 4602, 4622, 4640, 4656, 4670, 4684, 4698, 4712, 4726, 4740, 4779, 4785, 4799, 4813, 4827, 4841, 4855, 4869, 4883, 4899, 4917, 4937, 4959, 4983, 5009, 5037, 5067, 5098, 5128, 5156, 5182, 5206, 5228, 5248, 5266, 5282, 5296, 5310, 5324, 5338, 5352, 5366, 5380, 5419, 5425, 5439, 5453, 5467, 5481, 5495, 5509, 5523, 5537, 5553, 5571, 5591, 5613, 5637, 5663, 5691, 5720, 5748, 5774, 5798, 5820, 5840, 5858, 5874, 5888, 5902, 5916, 5930, 5944, 5958, 5972, 5986, 6025, 6031, 6045, 6059, 6073, 6087, 6101, 6115, 6129, 6143, 6157, 6173, 6191, 6211, 6233, 6257, 6283, 6310, 6336, 6360, 6382, 6402, 6420, 6436, 6450, 6464, 6478, 6492, 6506, 6520, 6534, 6548, 6562, 6601, 6607, 6621, 6635, 6649, 6663, 6677, 6691, 6705, 6719, 6733, 6747, 6763, 6781, 6801, 6823, 6847, 6872, 6896, 6918, 6938, 6956, 6972, 6986, 7000, 7014, 7028, 7042, 7056, 7070, 7084, 7098, 7112, 7151, 7157, 7171, 7185, 7199, 7213, 7227, 7241, 7255, 7269, 7283, 7297, 7311, 7327, 7345, 7365, 7387, 7410, 7432, 7452, 7470, 7486, 7500, 7514, 7528, 7542, 7556, 7570, 7584, 7598, 7612, 7626, 7640, 7679, 7685, 7699, 7713, 7727, 7741, 7755, 7769, 7783, 7797, 7811, 7825, 7839, 7853, 7869, 7887, 7907, 7928, 7948, 7966, 7982, 7996, 8010, 8024, 8038, 8052, 8066, 8080, 8094, 8108, 8122, 8136, 8150, 8189, 8195, 8209, 8223, 8237, 8251, 8265, 8279, 8293, 8307, 8321, 8335, 8349, 8363, 8377, 8393, 8411, 8430, 8448, 8464, 8478, 8492, 8506, 8520, 8534, 8548, 8562, 8576, 8590, 8604, 8618, 8632, 8646, 8685, 8691, 8705, 8719, 8733, 8747, 8761, 8775, 8789, 8803, 8817, 8831, 8845, 8859, 8873, 8887, 8903, 8920, 8936, 8950, 8964, 8978, 8992, 9006, 9020, 9034, 9048, 9062, 9076, 9090, 9104, 9118, 9132, 9171, 9177, 9191, 9205, 9219, 9233, 9247, 9261, 9275, 9289, 9303, 9317, 9331, 9345, 9359, 9373, 9387, 9402, 9416, 9430, 9444, 9458, 9472, 9486, 9500, 9514, 9528, 9542, 9556, 9570, 9584, 9598, 9612, 9651, 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, 10091, 10130, 10132, 10135, 10149, 10163, 10177, 10191, 10205, 10219, 10233, 10247, 10261, 10275, 10289, 10303, 10317, 10331, 10345, 10359, 10373, 10387, 10401, 10415, 10429, 10443, 10457, 10471, 10485, 10499, 10513, 10527, 10541, 10555, 10569, 10608, 10614, 10628, 10642, 10656, 10670, 10684, 10698, 10712, 10726, 10740, 10754, 10768, 10782, 10796, 10810, 10824, 10838, 10852, 10866, 10880, 10894, 10908, 10922, 10936, 10950, 10964, 10978, 10992, 11006, 11020, 11034, 11048, 11087, 11093, 11107, 11121, 11135, 11149, 11163, 11177, 11191, 11205, 11219, 11233, 11247, 11261, 11275, 11289, 11303, 11317, 11332, 11346, 11360, 11374, 11388, 11402, 11416, 11430, 11444, 11458, 11472, 11486, 11500, 11514, 11528, 11567, 11573, 11587, 11601, 11615, 11629, 11643, 11657, 11671, 11685, 11699, 11713, 11727, 11741, 11755, 11769, 11783, 11799, 11816, 11832, 11846, 11860, 11874, 11888, 11902, 11916, 11930, 11944, 11958, 11972, 11986, 12000, 12014, 12053, 12059, 12073, 12087, 12101, 12115, 12129, 12143, 12157, 12171, 12185, 12199, 12213, 12227, 12241, 12255, 12271, 12289, 12308, 12326, 12342, 12356, 12370, 12384, 12398, 12412, 12426, 12440, 12454, 12468, 12482, 12496, 12510, 12549, 12555, 12569, 12583, 12597, 12611, 12625, 12639, 12653, 12667, 12681, 12695, 12709, 12723, 12737, 12753, 12771, 12791, 12812, 12832]
[2025-06-07 07:56:43] [INFO ] Actually due to overlaps returned [929, 1799, 2615, 3381, 4101, 4779, 5419, 6025, 6601, 7151, 7679, 8189, 8685, 9171, 9651, 10130, 10608, 11087, 11567, 12053, 12549, 626, 660, 692, 722, 750, 776, 800, 822, 842, 860, 876, 890, 1516, 1548, 1578, 1606, 1632, 1656, 1678, 1698, 1716, 1732, 1746, 1760, 2350, 2380, 2408, 2434, 2458, 2480, 2500, 2518, 2534, 2548, 2562, 2576, 3132, 3160, 3186, 3210, 3232, 3252, 3270, 3286, 3300, 3314, 3328, 3342, 3866, 3892, 3916, 3938, 3958, 3976, 3992, 4006, 4020, 4034, 4048, 4062, 4556, 4580, 4602, 4622, 4640, 4656, 4670, 4684, 4698, 4712, 4726, 4740, 5206, 5228, 5248, 5266, 5282, 5296, 5310, 5324, 5338, 5352, 5366, 5380, 5820, 5840, 5858, 5874, 5888, 5902, 5916, 5930, 5944, 5958, 5972, 5986, 6402, 6420, 6436, 6450, 6464, 6478, 6492, 6506, 6520, 6534, 6548, 6562, 6956, 6972, 6986, 7000, 7014, 7028, 7042, 7056, 7070, 7084, 7098, 7112, 7486, 7500, 7514, 7528, 7542, 7556, 7570, 7584, 7598, 7612, 7626, 7640, 7996, 8010, 8024, 8038, 8052, 8066, 8080, 8094, 8108, 8122, 8136, 8150, 8492, 8506, 8520, 8534, 8548, 8562, 8576, 8590, 8604, 8618, 8632, 8646, 8978, 8992, 9006, 9020, 9034, 9048, 9062, 9076, 9090, 9104, 9118, 9132, 9458, 9472, 9486, 9500, 9514, 9528, 9542, 9556, 9570, 9584, 9598, 9612, 9937, 9951, 9965, 9979, 9993, 10007, 10021, 10035, 10049, 10063, 10077, 10091, 10415, 10429, 10443, 10457, 10471, 10485, 10499, 10513, 10527, 10541, 10555, 10569, 10894, 10908, 10922, 10936, 10950, 10964, 10978, 10992, 11006, 11020, 11034, 11048, 11374, 11388, 11402, 11416, 11430, 11444, 11458, 11472, 11486, 11500, 11514, 11528, 11860, 11874, 11888, 11902, 11916, 11930, 11944, 11958, 11972, 11986, 12000, 12014, 12356, 12370, 12384, 12398, 12412, 12426, 12440, 12454, 12468, 12482, 12496, 12510, 4, 10132]
Discarding 275 places :
Implicit Place search using SMT only with invariants took 160159 ms to find 275 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 21307/21582 places, 39745/39745 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 21307 transition count 39743
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 21305 transition count 39743
Applied a total of 4 rules in 3299 ms. Remains 21305 /21307 variables (removed 2) and now considering 39743/39745 (removed 2) transitions.
[2025-06-07 07:56:46] [INFO ] Flow matrix only has 38178 transitions (discarded 1565 similar events)
// Phase 1: matrix 38178 rows 21305 cols
[2025-06-07 07:57:24] [INFO ] Computed 1698 invariants in 38364 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 07:58:01] [INFO ] Performed 4702/21305 implicitness test of which 120 returned IMPLICIT in 30 seconds.
[2025-06-07 07:58:31] [INFO ] Performed 7614/21305 implicitness test of which 226 returned IMPLICIT in 60 seconds.
[2025-06-07 07:59:01] [INFO ] Performed 10385/21305 implicitness test of which 340 returned IMPLICIT in 90 seconds.
[2025-06-07 07:59:31] [INFO ] Performed 12687/21305 implicitness test of which 448 returned IMPLICIT in 120 seconds.
[2025-06-07 08:00:02] [INFO ] Performed 14440/21305 implicitness test of which 552 returned IMPLICIT in 151 seconds.
[2025-06-07 08:00:04] [INFO ] Implicit Places using invariants in 198440 ms returned [6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 306, 344, 384, 426, 469, 511, 551, 589, 920, 934, 948, 964, 982, 1002, 1024, 1048, 1074, 1102, 1132, 1164, 1198, 1234, 1272, 1312, 1353, 1393, 1431, 1467, 1777, 1791, 1805, 1819, 1835, 1853, 1873, 1895, 1919, 1945, 1973, 2003, 2035, 2069, 2105, 2143, 2182, 2220, 2256, 2290, 2580, 2594, 2608, 2622, 2636, 2652, 2670, 2690, 2712, 2736, 2762, 2790, 2820, 2852, 2886, 2922, 2959, 2995, 3029, 3061, 3333, 3347, 3361, 3375, 3389, 3403, 3419, 3437, 3457, 3479, 3503, 3529, 3557, 3587, 3619, 3653, 3688, 3722, 3754, 3784, 4040, 4054, 4068, 4082, 4096, 4110, 4124, 4140, 4158, 4178, 4200, 4224, 4250, 4278, 4308, 4340, 4373, 4405, 4435, 4463, 4705, 4719, 4733, 4747, 4761, 4775, 4789, 4803, 4819, 4837, 4857, 4879, 4903, 4929, 4957, 4987, 5018, 5048, 5076, 5102, 5332, 5346, 5360, 5374, 5388, 5402, 5416, 5430, 5444, 5460, 5478, 5498, 5520, 5544, 5570, 5598, 5627, 5655, 5681, 5705, 5925, 5939, 5953, 5967, 5981, 5995, 6009, 6023, 6037, 6051, 6067, 6085, 6105, 6127, 6151, 6177, 6204, 6230, 6254, 6276, 6488, 6502, 6516, 6530, 6544, 6558, 6572, 6586, 6600, 6614, 6628, 6644, 6662, 6682, 6704, 6728, 6753, 6777, 6799, 6819, 7025, 7039, 7053, 7067, 7081, 7095, 7109, 7123, 7137, 7151, 7165, 7179, 7195, 7213, 7233, 7255, 7278, 7300, 7320, 7338, 7540, 7554, 7568, 7582, 7596, 7610, 7624, 7638, 7652, 7666, 7680, 7694, 7708, 7724, 7742, 7762, 7783, 7803, 7821, 7837, 8037, 8051, 8065, 8079, 8093, 8107, 8121, 8135, 8149, 8163, 8177, 8191, 8205, 8219, 8235, 8253, 8272, 8290, 8306, 8320, 8520, 8534, 8548, 8562, 8576, 8590, 8604, 8618, 8632, 8646, 8660, 8674, 8688, 8702, 8716, 8732, 8749, 8765, 8779, 8793, 8993, 9007, 9021, 9035, 9049, 9063, 9077, 9091, 9105, 9119, 9133, 9147, 9161, 9175, 9189, 9203, 9218, 9232, 9246, 9260, 9460, 9474, 9488, 9502, 9516, 9530, 9544, 9558, 9572, 9586, 9600, 9614, 9628, 9642, 9656, 9670, 9684, 9698, 9712, 9726, 9924, 9938, 9952, 9966, 9980, 9994, 10008, 10022, 10036, 10050, 10064, 10078, 10092, 10106, 10120, 10134, 10148, 10162, 10176, 10190, 10389, 10403, 10417, 10431, 10445, 10459, 10473, 10487, 10501, 10515, 10529, 10543, 10557, 10571, 10585, 10599, 10613, 10627, 10641, 10655, 10855, 10869, 10883, 10897, 10911, 10925, 10939, 10953, 10967, 10981, 10995, 11009, 11023, 11037, 11051, 11065, 11079, 11094, 11108, 11122, 11322, 11336, 11350, 11364, 11378, 11392, 11406, 11420, 11434, 11448, 11462, 11476, 11490, 11504, 11518, 11532, 11548, 11565, 11581, 11595, 11795, 11809, 11823, 11837, 11851, 11865, 11879, 11893, 11907, 11921, 11935, 11949, 11963, 11977, 11991, 12007, 12025, 12044, 12062, 12078, 12278, 12292, 12306, 12320, 12334, 12348, 12362, 12376, 12390, 12404, 12418, 12432, 12446, 12460, 12476, 12494, 12514, 12535, 12555, 12573, 12589, 12603, 12617, 12631, 12645, 12659, 12673, 12687, 12701, 12715, 12729, 12743, 12782, 12788, 12802, 12816, 12830, 12844, 12858, 12872, 12886, 12900, 12914, 12928, 12942, 12956, 12972, 12990, 13010, 13032, 13055, 13077, 13097, 13115, 13131, 13145, 13159, 13173, 13187, 13201, 13215, 13229, 13243, 13257, 13271, 13310, 13316, 13330, 13344, 13358, 13372, 13386, 13400, 13414, 13428, 13442, 13456, 13470, 13486, 13504, 13524, 13546, 13570, 13595, 13619, 13641, 13661, 13679, 13695, 13709, 13723, 13737, 13751, 13765, 13779, 13793, 13807, 13821, 13860, 13866, 13880, 13894, 13908, 13922, 13936, 13950, 13964, 13978, 13992, 14006, 14022, 14040, 14060, 14082, 14106, 14132, 14159, 14185, 14209, 14231, 14251, 14269, 14285, 14300, 14314, 14328, 14342, 14356, 14370, 14384, 14398, 14437, 14443, 14457, 14471, 14485, 14499, 14513, 14527, 14541, 14555, 14569, 14585, 14603]
[2025-06-07 08:00:04] [INFO ] Actually due to overlaps returned [12782, 13310, 13860, 14437, 6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 306, 344, 384, 426, 469, 511, 551, 589, 920, 934, 948, 964, 982, 1002, 1024, 1048, 1074, 1102, 1132, 1164, 1198, 1234, 1272, 1312, 1353, 1393, 1431, 1467, 1777, 1791, 1805, 1819, 1835, 1853, 1873, 1895, 1919, 1945, 1973, 2003, 2035, 2069, 2105, 2143, 2182, 2220, 2256, 2290, 2580, 2594, 2608, 2622, 2636, 2652, 2670, 2690, 2712, 2736, 2762, 2790, 2820, 2852, 2886, 2922, 2959, 2995, 3029, 3061, 3333, 3347, 3361, 3375, 3389, 3403, 3419, 3437, 3457, 3479, 3503, 3529, 3557, 3587, 3619, 3653, 3688, 3722, 3754, 3784, 4040, 4054, 4068, 4082, 4096, 4110, 4124, 4140, 4158, 4178, 4200, 4224, 4250, 4278, 4308, 4340, 4373, 4405, 4435, 4463, 4705, 4719, 4733, 4747, 4761, 4775, 4789, 4803, 4819, 4837, 4857, 4879, 4903, 4929, 4957, 4987, 5018, 5048, 5076, 5102, 5332, 5346, 5360, 5374, 5388, 5402, 5416, 5430, 5444, 5460, 5478, 5498, 5520, 5544, 5570, 5598, 5627, 5655, 5681, 5705, 5925, 5939, 5953, 5967, 5981, 5995, 6009, 6023, 6037, 6051, 6067, 6085, 6105, 6127, 6151, 6177, 6204, 6230, 6254, 6276, 6488, 6502, 6516, 6530, 6544, 6558, 6572, 6586, 6600, 6614, 6628, 6644, 6662, 6682, 6704, 6728, 6753, 6777, 6799, 6819, 7025, 7039, 7053, 7067, 7081, 7095, 7109, 7123, 7137, 7151, 7165, 7179, 7195, 7213, 7233, 7255, 7278, 7300, 7320, 7338, 7540, 7554, 7568, 7582, 7596, 7610, 7624, 7638, 7652, 7666, 7680, 7694, 7708, 7724, 7742, 7762, 7783, 7803, 7821, 7837, 8037, 8051, 8065, 8079, 8093, 8107, 8121, 8135, 8149, 8163, 8177, 8191, 8205, 8219, 8235, 8253, 8272, 8290, 8306, 8320, 8520, 8534, 8548, 8562, 8576, 8590, 8604, 8618, 8632, 8646, 8660, 8674, 8688, 8702, 8716, 8732, 8749, 8765, 8779, 8793, 8993, 9007, 9021, 9035, 9049, 9063, 9077, 9091, 9105, 9119, 9133, 9147, 9161, 9175, 9189, 9203, 9218, 9232, 9246, 9260, 9460, 9474, 9488, 9502, 9516, 9530, 9544, 9558, 9572, 9586, 9600, 9614, 9628, 9642, 9656, 9670, 9684, 9698, 9712, 9726, 9924, 9938, 9952, 9966, 9980, 9994, 10008, 10022, 10036, 10050, 10064, 10078, 10092, 10106, 10120, 10134, 10148, 10162, 10176, 10190, 10389, 10403, 10417, 10431, 10445, 10459, 10473, 10487, 10501, 10515, 10529, 10543, 10557, 10571, 10585, 10599, 10613, 10627, 10641, 10655, 10855, 10869, 10883, 10897, 10911, 10925, 10939, 10953, 10967, 10981, 10995, 11009, 11023, 11037, 11051, 11065, 11079, 11094, 11108, 11122, 11322, 11336, 11350, 11364, 11378, 11392, 11406, 11420, 11434, 11448, 11462, 11476, 11490, 11504, 11518, 11532, 11548, 11565, 11581, 11595, 11795, 11809, 11823, 11837, 11851, 11865, 11879, 11893, 11907, 11921, 11935, 11949, 11963, 11977, 11991, 12007, 12025, 12044, 12062, 12078, 12278, 12292, 12306, 12320, 12334, 12348, 12362, 12376, 12390, 12404, 12418, 12432, 12446, 12460, 12476, 12494, 12514, 12535, 12555, 12573, 12589, 12645, 12659, 12673, 12687, 12701, 12715, 12729, 12743, 12788, 12802, 12816, 12830, 12844, 12858, 12872, 12886, 12900, 12914, 12928, 12942, 12956, 12972, 12990, 13010, 13032, 13055, 13077, 13097, 13115, 13173, 13187, 13201, 13215, 13229, 13243, 13257, 13271, 13316, 13330, 13344, 13358, 13372, 13386, 13400, 13414, 13428, 13442, 13456, 13470, 13486, 13504, 13524, 13546, 13570, 13595, 13619, 13641, 13661, 13723, 13737, 13751, 13765, 13779, 13793, 13807, 13821, 13866, 13880, 13894, 13908, 13922, 13936, 13950, 13964, 13978, 13992, 14006, 14022, 14040, 14060, 14082, 14106, 14132, 14159, 14185, 14209, 14231, 14300, 14314, 14328, 14342, 14356, 14370, 14384, 14398, 14443, 14457, 14471, 14485, 14499, 14513, 14527, 14541, 14555, 14569, 14585, 14603]
Discarding 552 places :
Implicit Place search using SMT only with invariants took 198519 ms to find 552 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 20753/21582 places, 39743/39745 transitions.
Applied a total of 0 rules in 1540 ms. Remains 20753 /20753 variables (removed 0) and now considering 39743/39743 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 365203 ms. Remains : 20753/21582 places, 39743/39745 transitions.
[2025-06-07 08:00:06] [INFO ] Flow matrix only has 38178 transitions (discarded 1565 similar events)
// Phase 1: matrix 38178 rows 20753 cols
[2025-06-07 08:00:41] [INFO ] Computed 1146 invariants in 34849 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
RANDOM walk for 198522 steps (2739 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 3054311 steps (3779 resets) in 45009 ms. (67 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 1, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 2, 1, 1, 1]
[2025-06-07 08:01:56] [INFO ] Flow matrix only has 38178 transitions (discarded 1565 similar events)
[2025-06-07 08:01:56] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:02:01] [INFO ] [Real]Absence check using 64 positive place invariants in 1207 ms returned sat
[2025-06-07 08:02:02] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 870 ms returned sat
[2025-06-07 08:02:41] [INFO ] [Real]Absence check using state equation in 38818 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:02:46] [INFO ] [Real]Absence check using 64 positive place invariants in 1154 ms returned sat
[2025-06-07 08:02:47] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 637 ms returned sat
[2025-06-07 08:03:26] [INFO ] [Real]Absence check using state equation in 39255 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:03:31] [INFO ] [Real]Absence check using 64 positive place invariants in 1147 ms returned sat
[2025-06-07 08:03:32] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 630 ms returned sat
[2025-06-07 08:04:11] [INFO ] [Real]Absence check using state equation in 39378 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:04:16] [INFO ] [Real]Absence check using 64 positive place invariants in 1161 ms returned sat
[2025-06-07 08:04:17] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 914 ms returned sat
[2025-06-07 08:04:56] [INFO ] [Real]Absence check using state equation in 38793 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:05:02] [INFO ] [Real]Absence check using 64 positive place invariants in 1220 ms returned sat
[2025-06-07 08:05:02] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 84 ms returned unsat
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:05:07] [INFO ] [Real]Absence check using 64 positive place invariants in 1222 ms returned sat
[2025-06-07 08:05:08] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 784 ms returned sat
[2025-06-07 08:05:47] [INFO ] [Real]Absence check using state equation in 38756 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:05:52] [INFO ] [Real]Absence check using 64 positive place invariants in 1332 ms returned sat
[2025-06-07 08:05:53] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 636 ms returned sat
[2025-06-07 08:06:32] [INFO ] [Real]Absence check using state equation in 38827 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:06:37] [INFO ] [Real]Absence check using 64 positive place invariants in 1292 ms returned sat
[2025-06-07 08:06:38] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 873 ms returned sat
[2025-06-07 08:07:17] [INFO ] [Real]Absence check using state equation in 38736 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:07:22] [INFO ] [Real]Absence check using 64 positive place invariants in 1218 ms returned sat
[2025-06-07 08:07:23] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 673 ms returned sat
[2025-06-07 08:08:02] [INFO ] [Real]Absence check using state equation in 38903 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 1, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 2, 1, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S32C12-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 1, 1, 1]
Support contains 8 out of 20753 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20753/20753 places, 39743/39743 transitions.
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 20753 transition count 39743
Applied a total of 1 rules in 3035 ms. Remains 20753 /20753 variables (removed 0) and now considering 39743/39743 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3036 ms. Remains : 20753/20753 places, 39743/39743 transitions.
[2025-06-07 08:08:05] [INFO ] Flow matrix only has 38178 transitions (discarded 1565 similar events)
// Phase 1: matrix 38178 rows 20753 cols
[2025-06-07 08:08:39] [INFO ] Computed 1146 invariants in 34594 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 1, 1, 1]
RANDOM walk for 195600 steps (2697 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 2616544 steps (3237 resets) in 40008 ms. (65 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 1, 1, 1]
[2025-06-07 08:09:49] [INFO ] Flow matrix only has 38178 transitions (discarded 1565 similar events)
[2025-06-07 08:09:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:09:56] [INFO ] [Real]Absence check using 64 positive place invariants in 1982 ms returned sat
[2025-06-07 08:09:58] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 1186 ms returned sat
[2025-06-07 08:10:34] [INFO ] [Real]Absence check using state equation in 36843 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:10:40] [INFO ] [Real]Absence check using 64 positive place invariants in 1335 ms returned sat
[2025-06-07 08:10:41] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 935 ms returned sat
[2025-06-07 08:11:20] [INFO ] [Real]Absence check using state equation in 38475 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:11:25] [INFO ] [Real]Absence check using 64 positive place invariants in 1454 ms returned sat
[2025-06-07 08:11:26] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 909 ms returned sat
[2025-06-07 08:12:05] [INFO ] [Real]Absence check using state equation in 38469 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:12:10] [INFO ] [Real]Absence check using 64 positive place invariants in 1294 ms returned sat
[2025-06-07 08:12:11] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 811 ms returned sat
[2025-06-07 08:12:50] [INFO ] [Real]Absence check using state equation in 38807 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:12:55] [INFO ] [Real]Absence check using 64 positive place invariants in 1257 ms returned sat
[2025-06-07 08:12:56] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 703 ms returned sat
[2025-06-07 08:13:35] [INFO ] [Real]Absence check using state equation in 38727 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:13:40] [INFO ] [Real]Absence check using 64 positive place invariants in 1239 ms returned sat
[2025-06-07 08:13:41] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 698 ms returned sat
[2025-06-07 08:14:20] [INFO ] [Real]Absence check using state equation in 39036 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:14:25] [INFO ] [Real]Absence check using 64 positive place invariants in 1216 ms returned sat
[2025-06-07 08:14:25] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 652 ms returned sat
[2025-06-07 08:15:05] [INFO ] [Real]Absence check using state equation in 39246 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:15:10] [INFO ] [Real]Absence check using 64 positive place invariants in 1260 ms returned sat
[2025-06-07 08:15:10] [INFO ] [Real]Absence check using 64 positive and 1082 generalized place invariants in 732 ms returned sat
[2025-06-07 08:15:50] [INFO ] [Real]Absence check using state equation in 39191 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 1, 1, 1]
Support contains 8 out of 20753 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20753/20753 places, 39743/39743 transitions.
Applied a total of 0 rules in 1477 ms. Remains 20753 /20753 variables (removed 0) and now considering 39743/39743 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1480 ms. Remains : 20753/20753 places, 39743/39743 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20753/20753 places, 39743/39743 transitions.
Applied a total of 0 rules in 1480 ms. Remains 20753 /20753 variables (removed 0) and now considering 39743/39743 (removed 0) transitions.
[2025-06-07 08:15:53] [INFO ] Flow matrix only has 38178 transitions (discarded 1565 similar events)
[2025-06-07 08:15:53] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 08:16:29] [INFO ] Performed 4774/20753 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 08:16:59] [INFO ] Performed 7862/20753 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-07 08:17:30] [INFO ] Performed 11391/20753 implicitness test of which 0 returned IMPLICIT in 91 seconds.
[2025-06-07 08:18:00] [INFO ] Performed 13430/20753 implicitness test of which 9 returned IMPLICIT in 121 seconds.
[2025-06-07 08:18:30] [INFO ] Performed 15762/20753 implicitness test of which 97 returned IMPLICIT in 151 seconds.
[2025-06-07 08:18:33] [INFO ] Implicit Places using invariants in 160055 ms returned [12162, 12176, 12190, 12660, 12674, 12688, 13178, 13194, 13208, 13720, 13738, 13754, 14071, 14093, 14117, 14143, 14171, 14200, 14228, 14254, 14278, 14300, 14320, 14338, 14354, 14368, 14382, 14396, 14410, 14424, 14438, 14452, 14491, 14497, 14511, 14525, 14539, 14553, 14567, 14581, 14595, 14609, 14625, 14643, 14663, 14685, 14709, 14735, 14763, 14793, 14824, 14854, 14882, 14908, 14932, 14954, 14974, 14992, 15008, 15022, 15036, 15050, 15064, 15078, 15092, 15131, 15137, 15151, 15165, 15179, 15193, 15207, 15221, 15235, 15251, 15269, 15289, 15311, 15335, 15361, 15389, 15419, 15451, 15484, 15516, 15546, 15574, 15600, 15624, 15646, 15666, 15684, 15700, 15714, 15728, 15742, 15756, 15770, 15809]
[2025-06-07 08:18:33] [INFO ] Actually due to overlaps returned [14491, 15131, 15809, 12162, 12176, 12190, 12660, 12674, 12688, 13178, 13194, 13208, 13720, 13738, 13754, 14071, 14093, 14117, 14143, 14171, 14200, 14228, 14254, 14278, 14300, 14320, 14338, 14354, 14396, 14410, 14424, 14438, 14452, 14497, 14511, 14525, 14539, 14553, 14567, 14581, 14595, 14609, 14625, 14643, 14663, 14685, 14709, 14735, 14763, 14793, 14824, 14854, 14882, 14908, 14932, 14954, 14974, 14992, 15036, 15050, 15064, 15078, 15092, 15137, 15151, 15165, 15179, 15193, 15207, 15221, 15235, 15251, 15269, 15289, 15311, 15335, 15361, 15389, 15419, 15451, 15484, 15516, 15546, 15574, 15600, 15624, 15646, 15666, 15714, 15728, 15742, 15756, 15770]
Discarding 93 places :
Implicit Place search using SMT only with invariants took 160087 ms to find 93 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 20660/20753 places, 39743/39743 transitions.
Applied a total of 0 rules in 1831 ms. Remains 20660 /20660 variables (removed 0) and now considering 39743/39743 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 163403 ms. Remains : 20660/20753 places, 39743/39743 transitions.
[2025-06-07 08:18:35] [INFO ] Flow matrix only has 38178 transitions (discarded 1565 similar events)
// Phase 1: matrix 38178 rows 20660 cols
[2025-06-07 08:19:11] [INFO ] Computed 1053 invariants in 36457 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 1, 1, 1]
RANDOM walk for 196774 steps (2715 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 2676756 steps (3313 resets) in 40008 ms. (66 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 2, 1, 1, 1]
[2025-06-07 08:20:21] [INFO ] Flow matrix only has 38178 transitions (discarded 1565 similar events)
[2025-06-07 08:20:21] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:20:26] [INFO ] [Real]Absence check using 65 positive place invariants in 1285 ms returned sat
[2025-06-07 08:20:27] [INFO ] [Real]Absence check using 65 positive and 988 generalized place invariants in 740 ms returned sat
[2025-06-07 08:21:06] [INFO ] [Real]Absence check using state equation in 38924 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:21:12] [INFO ] [Real]Absence check using 65 positive place invariants in 1469 ms returned sat
[2025-06-07 08:21:12] [INFO ] [Real]Absence check using 65 positive and 988 generalized place invariants in 823 ms returned sat
[2025-06-07 08:21:51] [INFO ] [Real]Absence check using state equation in 38716 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:21:56] [INFO ] [Real]Absence check using 65 positive place invariants in 1337 ms returned sat
[2025-06-07 08:21:57] [INFO ] [Real]Absence check using 65 positive and 988 generalized place invariants in 782 ms returned sat
[2025-06-07 08:22:36] [INFO ] [Real]Absence check using state equation in 38922 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:22:42] [INFO ] [Real]Absence check using 65 positive place invariants in 1371 ms returned sat
[2025-06-07 08:22:43] [INFO ] [Real]Absence check using 65 positive and 988 generalized place invariants in 935 ms returned sat
[2025-06-07 08:23:21] [INFO ] [Real]Absence check using state equation in 38617 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:23:26] [INFO ] [Real]Absence check using 65 positive place invariants in 1243 ms returned sat
[2025-06-07 08:23:27] [INFO ] [Real]Absence check using 65 positive and 988 generalized place invariants in 647 ms returned sat
[2025-06-07 08:24:06] [INFO ] [Real]Absence check using state equation in 39199 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-07 08:24:12] [INFO ] [Real]Absence check using 65 positive place invariants in 1349 ms returned sat
[2025-06-07 08:24:12] [INFO ] [Real]Absence check using 65 positive and 988 generalized place invariants in 738 ms returned sat
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
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -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 UpperBounds -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-S32C12"
export BK_EXAMINATION="UpperBounds"
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-S32C12, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-smll-174876524700509"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C12.tgz
mv MultiCrashLeafsetExtension-PT-S32C12 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;