About the Execution of ITS-Tools for JoinFreeModules-PT-2000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10635.651 | 3600000.00 | 3824327.00 | 8104.80 | ??????T??????T?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r162-smll-177961107800218.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool itstools
Input is JoinFreeModules-PT-2000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107800218
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 7.8K Mar 7 16:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Mar 7 16:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Mar 7 15:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Mar 7 15:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 15 11:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 15 11:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 15 11:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 15 11:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Mar 7 16:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 156K Mar 7 16:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Mar 7 16:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Mar 7 16:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 15 11:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 11:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 6.2M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-00
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-01
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-02
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-03
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-04
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-05
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-06
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-07
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-08
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-09
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-10
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-11
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-12
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-13
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-14
FORMULA_NAME JoinFreeModules-PT-2000-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779774651269
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=JoinFreeModules-PT-2000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-26 05:50:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-26 05:50:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-26 05:50:54] [INFO ] Load time of PNML (sax parser for PT used): 963 ms
[2026-05-26 05:50:54] [INFO ] Transformed 10001 places.
[2026-05-26 05:50:54] [INFO ] Transformed 16001 transitions.
[2026-05-26 05:50:54] [INFO ] Parsed PT model containing 10001 places and 16001 transitions and 46002 arcs in 1255 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 24 ms.
Reduce places removed 1 places and 0 transitions.
Support contains 98 out of 10000 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 2126 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Running 12000 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-92192027371223117.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6410284810358519926.kers'
[2026-05-26 05:50:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-92192027371223117.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6410284810358519926.kers]
Normalized transition count is 16000 out of 16001 initially.
Culled 0 columns in 13 ms.
// Phase 1: matrix 16000 rows 10000 cols 40000 entries
Finished phase 1 with 8000 SingleSign rule and 0 generalized
[2026-05-26 05:50:57] [INFO ] Computed 2000 invariants in 69 ms
Computed 2000 P flows in 71 ms.
Exported basis to /tmp/petrispot-output-6410284810358519926.kers
Total runtime 87 ms.
[2026-05-26 05:50:57] [INFO ] State equation strengthened by 2000 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 8000/26001 variables, and 0 constraints, problems are : Problem set: 0 solved, 12000 unsolved in 20390 ms.
Refiners :[Positive P Invariants (semi-flows): 0/2000 constraints, State Equation: 0/10000 constraints, ReadFeed: 0/2000 constraints, PredecessorRefiner: 12000/12000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12000 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 8000/26001 variables, and 0 constraints, problems are : Problem set: 0 solved, 12000 unsolved in 20299 ms.
Refiners :[Positive P Invariants (semi-flows): 0/2000 constraints, State Equation: 0/10000 constraints, ReadFeed: 0/2000 constraints, PredecessorRefiner: 0/12000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60684ms problems are : Problem set: 0 solved, 12000 unsolved
Search for dead transitions found 0 dead transitions in 60800ms
[2026-05-26 05:51:57] [INFO ] Invariant cache hit.
[2026-05-26 05:52:01] [INFO ] Implicit Places using invariants in 4055 ms returned []
Implicit Place search using SMT only with invariants took 4061 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 67211 ms. Remains : 10000/10000 places, 16001/16001 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 1483 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 05:52:03] [INFO ] Invariant cache hit.
[2026-05-26 05:52:07] [INFO ] Implicit Places using invariants in 3705 ms returned []
Implicit Place search using SMT only with invariants took 3707 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 5193 ms. Remains : 10000/10000 places, 16001/16001 transitions.
Support contains 98 out of 10000 places after structural reductions.
[2026-05-26 05:52:08] [INFO ] Flatten gal took : 855 ms
[2026-05-26 05:52:08] [INFO ] Flatten gal took : 435 ms
[2026-05-26 05:52:09] [INFO ] Input system was already deterministic with 16001 transitions.
Support contains 94 out of 10000 places (down from 98) after GAL structural reductions.
RANDOM walk for 40038 steps (8 resets) in 4912 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 964 ms. (4 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 835 ms. (4 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 566 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 690 ms. (5 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1053 ms. (3 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 553 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 521 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 568 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 764 ms. (5 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 521 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 496 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 486 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 649 ms. (6 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 477 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 477 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 559 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 648 ms. (6 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 737 ms. (5 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 742 ms. (5 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 691 ms. (5 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 698 ms. (5 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 581 ms. (6 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 515 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 690 ms. (5 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 474 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 487 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 496 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 468 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 485 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 469 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 625 ms. (6 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 469 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 478 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 478 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 469 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 523 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 528 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 627 ms. (6 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 468 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 488 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 470 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 468 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 469 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 468 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 582 ms. (6 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 481 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 526 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 525 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 514 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 516 ms. (7 steps per ms) remains 75/75 properties
Probabilistic random walk after 115111 steps, saw 115063 distinct states, run finished after 27169 ms. (steps per millisecond=4 ) properties seen :6
[2026-05-26 05:52:46] [INFO ] Invariant cache hit.
[2026-05-26 05:52:46] [INFO ] State equation strengthened by 2000 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/88 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 69 unsolved
At refinement iteration 1 (OVERLAPS) 342/430 variables, 86/86 constraints. Problems are: Problem set: 0 solved, 69 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/430 variables, 0/86 constraints. Problems are: Problem set: 0 solved, 69 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 3 (OVERLAPS) 688/1118 variables, 430/516 constraints. Problems are: Problem set: 0 solved, 69 unsolved
SMT process timed out in 5483ms, After SMT, problems are : Problem set: 0 solved, 69 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 88 out of 10000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Graph (complete) has 24000 edges and 10000 vertex of which 430 are kept as prefixes of interest. Removing 9570 places using SCC suffix rule.51 ms
Discarding 9570 places :
Also discarding 15312 output transitions
Drop transitions (Output transitions of discarded places.) removed 15312 transitions
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 430 transition count 688
Applied a total of 2 rules in 222 ms. Remains 430 /10000 variables (removed 9570) and now considering 688/16001 (removed 15313) transitions.
Running 516 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14926173461713945525.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17204945319656763563.kers'
[2026-05-26 05:52:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14926173461713945525.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17204945319656763563.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 688 rows 430 cols 1720 entries
Finished phase 1 with 344 SingleSign rule and 0 generalized
[2026-05-26 05:52:52] [INFO ] Computed 86 invariants in 12 ms
Computed 86 P flows in 13 ms.
Exported basis to /tmp/petrispot-output-17204945319656763563.kers
Total runtime 14 ms.
[2026-05-26 05:52:52] [INFO ] State equation strengthened by 86 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/344 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 516 unsolved
At refinement iteration 1 (OVERLAPS) 86/430 variables, 86/86 constraints. Problems are: Problem set: 0 solved, 516 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 430/1118 variables, and 86 constraints, problems are : Problem set: 0 solved, 516 unsolved in 20027 ms.
Refiners :[Positive P Invariants (semi-flows): 86/86 constraints, State Equation: 0/430 constraints, ReadFeed: 0/86 constraints, PredecessorRefiner: 516/516 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 516 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/344 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 516 unsolved
At refinement iteration 1 (OVERLAPS) 86/430 variables, 86/86 constraints. Problems are: Problem set: 0 solved, 516 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 430/1118 variables, and 86 constraints, problems are : Problem set: 0 solved, 516 unsolved in 20026 ms.
Refiners :[Positive P Invariants (semi-flows): 86/86 constraints, State Equation: 0/430 constraints, ReadFeed: 0/86 constraints, PredecessorRefiner: 0/516 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 40156ms problems are : Problem set: 0 solved, 516 unsolved
Search for dead transitions found 0 dead transitions in 40160ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 40386 ms. Remains : 430/10000 places, 688/16001 transitions.
RANDOM walk for 42037 steps (8 resets) in 376 ms. (111 steps per ms) remains 58/69 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 58/58 properties
[2026-05-26 05:53:33] [INFO ] Invariant cache hit.
[2026-05-26 05:53:33] [INFO ] State equation strengthened by 86 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/68 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 1 (OVERLAPS) 262/330 variables, 66/66 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/330 variables, 0/66 constraints. Problems are: Problem set: 0 solved, 58 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 528/858 variables, 330/396 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/858 variables, 66/462 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/858 variables, 0/462 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 6 (OVERLAPS) 0/858 variables, 0/462 constraints. Problems are: Problem set: 0 solved, 58 unsolved
No progress, stopping.
After SMT solving in domain Real declared 858/1118 variables, and 462 constraints, problems are : Problem set: 0 solved, 58 unsolved in 7047 ms.
Refiners :[Positive P Invariants (semi-flows): 66/86 constraints, State Equation: 330/430 constraints, ReadFeed: 66/86 constraints, PredecessorRefiner: 58/58 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 58 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/68 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 1 (OVERLAPS) 262/330 variables, 66/66 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/330 variables, 20/86 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/330 variables, 7/93 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/330 variables, 0/93 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 5 (OVERLAPS) 528/858 variables, 330/423 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/858 variables, 66/489 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/858 variables, 58/547 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/858 variables, 0/547 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 9 (OVERLAPS) 0/858 variables, 1/548 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/858 variables, 0/548 constraints. Problems are: Problem set: 0 solved, 58 unsolved
At refinement iteration 11 (OVERLAPS) 0/858 variables, 0/548 constraints. Problems are: Problem set: 0 solved, 58 unsolved
No progress, stopping.
After SMT solving in domain Int declared 858/1118 variables, and 548 constraints, problems are : Problem set: 0 solved, 58 unsolved in 36833 ms.
Refiners :[Positive P Invariants (semi-flows): 66/86 constraints, State Equation: 330/430 constraints, ReadFeed: 66/86 constraints, PredecessorRefiner: 58/58 constraints, Known Traps: 28/28 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 43912ms problems are : Problem set: 0 solved, 58 unsolved
Fused 58 Parikh solutions to 6 different solutions.
Finished Parikh walk after 79146 steps, including 0 resets, run visited all 58 properties in 2978 ms. (steps per millisecond=26 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 58 properties in 2992 ms.
[2026-05-26 05:54:20] [INFO ] Flatten gal took : 307 ms
[2026-05-26 05:54:20] [INFO ] Flatten gal took : 320 ms
[2026-05-26 05:54:21] [INFO ] Input system was already deterministic with 16001 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 2451 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Running 12000 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17759109299417789494.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3615809174265649620.kers'
[2026-05-26 05:54:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17759109299417789494.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3615809174265649620.kers]
Normalized transition count is 16000 out of 16001 initially.
Culled 0 columns in 14 ms.
// Phase 1: matrix 16000 rows 10000 cols 40000 entries
Finished phase 1 with 8000 SingleSign rule and 0 generalized
[2026-05-26 05:54:25] [INFO ] Computed 2000 invariants in 72 ms
Computed 2000 P flows in 73 ms.
Exported basis to /tmp/petrispot-output-3615809174265649620.kers
Total runtime 90 ms.
[2026-05-26 05:54:25] [INFO ] State equation strengthened by 2000 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 8000/26001 variables, and 0 constraints, problems are : Problem set: 0 solved, 12000 unsolved in 20240 ms.
Refiners :[Positive P Invariants (semi-flows): 0/2000 constraints, State Equation: 0/10000 constraints, ReadFeed: 0/2000 constraints, PredecessorRefiner: 12000/12000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12000 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 8000/26001 variables, and 0 constraints, problems are : Problem set: 0 solved, 12000 unsolved in 20218 ms.
Refiners :[Positive P Invariants (semi-flows): 0/2000 constraints, State Equation: 0/10000 constraints, ReadFeed: 0/2000 constraints, PredecessorRefiner: 0/12000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 59096ms problems are : Problem set: 0 solved, 12000 unsolved
Search for dead transitions found 0 dead transitions in 59128ms
[2026-05-26 05:55:24] [INFO ] Invariant cache hit.
[2026-05-26 05:55:28] [INFO ] Implicit Places using invariants in 3991 ms returned []
Implicit Place search using SMT only with invariants took 3992 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 65602 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 05:55:28] [INFO ] Flatten gal took : 420 ms
[2026-05-26 05:55:28] [INFO ] Flatten gal took : 280 ms
[2026-05-26 05:55:29] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 05:55:29] [INFO ] Flatten gal took : 276 ms
[2026-05-26 05:55:30] [INFO ] Flatten gal took : 279 ms
[2026-05-26 05:55:30] [INFO ] Time to serialize gal into /tmp/CTLFireability12207271178380989271.gal : 118 ms
[2026-05-26 05:55:30] [INFO ] Time to serialize properties into /tmp/CTLFireability12484855482808205835.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12207271178380989271.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12484855482808205835.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 05:56:00] [INFO ] Flatten gal took : 257 ms
[2026-05-26 05:56:00] [INFO ] Applying decomposition
[2026-05-26 05:56:00] [INFO ] Flatten gal took : 285 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6545014743319557764.txt' '-o' '/tmp/graph6545014743319557764.bin' '-w' '/tmp/graph6545014743319557764.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6545014743319557764.bin' '-l' '-1' '-v' '-w' '/tmp/graph6545014743319557764.weights' '-q' '0' '-e' '0.001'
[2026-05-26 05:56:02] [INFO ] Decomposing Gal with order
[2026-05-26 05:56:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 05:56:10] [INFO ] Flatten gal took : 422 ms
[2026-05-26 05:56:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 796 ms.
[2026-05-26 05:56:11] [INFO ] Time to serialize gal into /tmp/CTLFireability9646279430207610020.gal : 120 ms
[2026-05-26 05:56:11] [INFO ] Time to serialize properties into /tmp/CTLFireability14153724887695187336.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9646279430207610020.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14153724887695187336.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 936 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 05:56:42] [INFO ] Invariant cache hit.
[2026-05-26 05:56:46] [INFO ] Implicit Places using invariants in 3964 ms returned []
Implicit Place search using SMT only with invariants took 3968 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 4906 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 05:56:46] [INFO ] Flatten gal took : 341 ms
[2026-05-26 05:56:47] [INFO ] Flatten gal took : 283 ms
[2026-05-26 05:56:47] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 05:56:47] [INFO ] Flatten gal took : 271 ms
[2026-05-26 05:56:48] [INFO ] Flatten gal took : 288 ms
[2026-05-26 05:56:48] [INFO ] Time to serialize gal into /tmp/CTLFireability1042694828488784792.gal : 59 ms
[2026-05-26 05:56:48] [INFO ] Time to serialize properties into /tmp/CTLFireability9806396925459604097.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1042694828488784792.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9806396925459604097.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 05:57:18] [INFO ] Flatten gal took : 256 ms
[2026-05-26 05:57:18] [INFO ] Applying decomposition
[2026-05-26 05:57:18] [INFO ] Flatten gal took : 274 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph8788642890586206484.txt' '-o' '/tmp/graph8788642890586206484.bin' '-w' '/tmp/graph8788642890586206484.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8788642890586206484.bin' '-l' '-1' '-v' '-w' '/tmp/graph8788642890586206484.weights' '-q' '0' '-e' '0.001'
[2026-05-26 05:57:19] [INFO ] Decomposing Gal with order
[2026-05-26 05:57:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 05:57:27] [INFO ] Flatten gal took : 303 ms
[2026-05-26 05:57:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 348 ms.
[2026-05-26 05:57:27] [INFO ] Time to serialize gal into /tmp/CTLFireability13412516858065226640.gal : 71 ms
[2026-05-26 05:57:27] [INFO ] Time to serialize properties into /tmp/CTLFireability14265595222633394378.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13412516858065226640.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14265595222633394378.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 963 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 05:57:58] [INFO ] Invariant cache hit.
[2026-05-26 05:58:02] [INFO ] Implicit Places using invariants in 4101 ms returned []
Implicit Place search using SMT only with invariants took 4102 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 5066 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 05:58:03] [INFO ] Flatten gal took : 286 ms
[2026-05-26 05:58:03] [INFO ] Flatten gal took : 309 ms
[2026-05-26 05:58:04] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 05:58:04] [INFO ] Flatten gal took : 279 ms
[2026-05-26 05:58:04] [INFO ] Flatten gal took : 305 ms
[2026-05-26 05:58:04] [INFO ] Time to serialize gal into /tmp/CTLFireability16665274057935430084.gal : 59 ms
[2026-05-26 05:58:04] [INFO ] Time to serialize properties into /tmp/CTLFireability3296670692639458167.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16665274057935430084.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3296670692639458167.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 05:58:35] [INFO ] Flatten gal took : 267 ms
[2026-05-26 05:58:35] [INFO ] Applying decomposition
[2026-05-26 05:58:35] [INFO ] Flatten gal took : 273 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph16975465971568118533.txt' '-o' '/tmp/graph16975465971568118533.bin' '-w' '/tmp/graph16975465971568118533.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16975465971568118533.bin' '-l' '-1' '-v' '-w' '/tmp/graph16975465971568118533.weights' '-q' '0' '-e' '0.001'
[2026-05-26 05:58:36] [INFO ] Decomposing Gal with order
[2026-05-26 05:58:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 05:58:43] [INFO ] Flatten gal took : 284 ms
[2026-05-26 05:58:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 341 ms.
[2026-05-26 05:58:44] [INFO ] Time to serialize gal into /tmp/CTLFireability5559969256932994085.gal : 70 ms
[2026-05-26 05:58:44] [INFO ] Time to serialize properties into /tmp/CTLFireability4594419064301589294.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5559969256932994085.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4594419064301589294.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 1900 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 05:59:16] [INFO ] Invariant cache hit.
[2026-05-26 05:59:20] [INFO ] Implicit Places using invariants in 4511 ms returned []
Implicit Place search using SMT only with invariants took 4514 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 6417 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 05:59:21] [INFO ] Flatten gal took : 422 ms
[2026-05-26 05:59:21] [INFO ] Flatten gal took : 313 ms
[2026-05-26 05:59:21] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 05:59:22] [INFO ] Flatten gal took : 258 ms
[2026-05-26 05:59:22] [INFO ] Flatten gal took : 488 ms
[2026-05-26 05:59:22] [INFO ] Time to serialize gal into /tmp/CTLFireability16414526396725958360.gal : 88 ms
[2026-05-26 05:59:22] [INFO ] Time to serialize properties into /tmp/CTLFireability15287338337143719684.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16414526396725958360.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15287338337143719684.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 05:59:53] [INFO ] Flatten gal took : 258 ms
[2026-05-26 05:59:53] [INFO ] Applying decomposition
[2026-05-26 05:59:53] [INFO ] Flatten gal took : 273 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11516961273337946181.txt' '-o' '/tmp/graph11516961273337946181.bin' '-w' '/tmp/graph11516961273337946181.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11516961273337946181.bin' '-l' '-1' '-v' '-w' '/tmp/graph11516961273337946181.weights' '-q' '0' '-e' '0.001'
[2026-05-26 05:59:53] [INFO ] Decomposing Gal with order
[2026-05-26 05:59:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:00:01] [INFO ] Flatten gal took : 285 ms
[2026-05-26 06:00:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 340 ms.
[2026-05-26 06:00:01] [INFO ] Time to serialize gal into /tmp/CTLFireability10697986586319695711.gal : 136 ms
[2026-05-26 06:00:01] [INFO ] Time to serialize properties into /tmp/CTLFireability11316917359304929675.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10697986586319695711.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11316917359304929675.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 1930 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:00:33] [INFO ] Invariant cache hit.
[2026-05-26 06:00:37] [INFO ] Implicit Places using invariants in 4138 ms returned []
Implicit Place search using SMT only with invariants took 4139 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 6072 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:00:38] [INFO ] Flatten gal took : 267 ms
[2026-05-26 06:00:38] [INFO ] Flatten gal took : 315 ms
[2026-05-26 06:00:39] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:00:39] [INFO ] Flatten gal took : 271 ms
[2026-05-26 06:00:39] [INFO ] Flatten gal took : 276 ms
[2026-05-26 06:00:39] [INFO ] Time to serialize gal into /tmp/CTLFireability11113503761480954240.gal : 54 ms
[2026-05-26 06:00:39] [INFO ] Time to serialize properties into /tmp/CTLFireability1076429177421495089.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11113503761480954240.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1076429177421495089.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:01:09] [INFO ] Flatten gal took : 254 ms
[2026-05-26 06:01:09] [INFO ] Applying decomposition
[2026-05-26 06:01:10] [INFO ] Flatten gal took : 268 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph17291506728162125827.txt' '-o' '/tmp/graph17291506728162125827.bin' '-w' '/tmp/graph17291506728162125827.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17291506728162125827.bin' '-l' '-1' '-v' '-w' '/tmp/graph17291506728162125827.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:01:10] [INFO ] Decomposing Gal with order
[2026-05-26 06:01:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:01:18] [INFO ] Flatten gal took : 284 ms
[2026-05-26 06:01:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 342 ms.
[2026-05-26 06:01:18] [INFO ] Time to serialize gal into /tmp/CTLFireability18107121852474380679.gal : 69 ms
[2026-05-26 06:01:18] [INFO ] Time to serialize properties into /tmp/CTLFireability11548796807404227967.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18107121852474380679.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11548796807404227967.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 1115 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:01:50] [INFO ] Invariant cache hit.
[2026-05-26 06:01:54] [INFO ] Implicit Places using invariants in 4015 ms returned []
Implicit Place search using SMT only with invariants took 4016 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 5133 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:01:54] [INFO ] Flatten gal took : 266 ms
[2026-05-26 06:01:54] [INFO ] Flatten gal took : 279 ms
[2026-05-26 06:01:55] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:01:55] [INFO ] Flatten gal took : 262 ms
[2026-05-26 06:01:55] [INFO ] Flatten gal took : 277 ms
[2026-05-26 06:01:55] [INFO ] Time to serialize gal into /tmp/CTLFireability16219283376913795343.gal : 55 ms
[2026-05-26 06:01:55] [INFO ] Time to serialize properties into /tmp/CTLFireability324305643232159160.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16219283376913795343.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability324305643232159160.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:02:26] [INFO ] Flatten gal took : 523 ms
[2026-05-26 06:02:26] [INFO ] Applying decomposition
[2026-05-26 06:02:26] [INFO ] Flatten gal took : 386 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9576572637068158971.txt' '-o' '/tmp/graph9576572637068158971.bin' '-w' '/tmp/graph9576572637068158971.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9576572637068158971.bin' '-l' '-1' '-v' '-w' '/tmp/graph9576572637068158971.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:02:27] [INFO ] Decomposing Gal with order
[2026-05-26 06:02:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:02:35] [INFO ] Flatten gal took : 281 ms
[2026-05-26 06:02:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 360 ms.
[2026-05-26 06:02:35] [INFO ] Time to serialize gal into /tmp/CTLFireability15514149650008234131.gal : 68 ms
[2026-05-26 06:02:35] [INFO ] Time to serialize properties into /tmp/CTLFireability18200911279058396035.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15514149650008234131.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18200911279058396035.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 1899 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:03:07] [INFO ] Invariant cache hit.
[2026-05-26 06:03:11] [INFO ] Implicit Places using invariants in 4061 ms returned []
Implicit Place search using SMT only with invariants took 4062 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5964 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:03:11] [INFO ] Flatten gal took : 256 ms
[2026-05-26 06:03:12] [INFO ] Flatten gal took : 273 ms
[2026-05-26 06:03:12] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:03:13] [INFO ] Flatten gal took : 303 ms
[2026-05-26 06:03:13] [INFO ] Flatten gal took : 436 ms
[2026-05-26 06:03:13] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18396598094836273268.gal : 105 ms
[2026-05-26 06:03:13] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8598328122007675593.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality18396598094836273268.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8598328122007675593.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
RANDOM walk for 41036 steps (8 resets) in 5660 ms. (7 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 6377 ms. (6 steps per ms) remains 1/1 properties
Loading property file /tmp/ReachabilityCardinality8598328122007675593.prop.
Probabilistic random walk after 51039 steps, saw 51021 distinct states, run finished after 9067 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-26 06:03:25] [INFO ] Invariant cache hit.
[2026-05-26 06:03:25] [INFO ] State equation strengthened by 2000 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 4/5 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 8/13 variables, 5/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/13 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/13 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 0/13 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 13/26001 variables, and 7 constraints, problems are : Problem set: 0 solved, 1 unsolved in 118 ms.
Refiners :[Positive P Invariants (semi-flows): 1/2000 constraints, State Equation: 5/10000 constraints, ReadFeed: 1/2000 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 4/5 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 8/13 variables, 5/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/13 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/13 variables, 1/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/13 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 0/13 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 13/26001 variables, and 8 constraints, problems are : Problem set: 0 solved, 1 unsolved in 195 ms.
Refiners :[Positive P Invariants (semi-flows): 1/2000 constraints, State Equation: 5/10000 constraints, ReadFeed: 1/2000 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 390ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 4 steps, including 0 resets, run visited all 1 properties in 2 ms. (steps per millisecond=2 )
FORMULA JoinFreeModules-PT-2000-CTLFireability-2024-06 TRUE TECHNIQUES PARIKH_WALK
Parikh walk visited 1 properties in 15 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 945 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:03:26] [INFO ] Invariant cache hit.
[2026-05-26 06:03:30] [INFO ] Implicit Places using invariants in 4113 ms returned []
Implicit Place search using SMT only with invariants took 4114 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 5061 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:03:31] [INFO ] Flatten gal took : 257 ms
[2026-05-26 06:03:31] [INFO ] Flatten gal took : 273 ms
[2026-05-26 06:03:31] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:03:32] [INFO ] Flatten gal took : 258 ms
[2026-05-26 06:03:32] [INFO ] Flatten gal took : 273 ms
[2026-05-26 06:03:32] [INFO ] Time to serialize gal into /tmp/CTLFireability15495772244421369131.gal : 56 ms
[2026-05-26 06:03:32] [INFO ] Time to serialize properties into /tmp/CTLFireability13802474927141844460.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15495772244421369131.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13802474927141844460.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:04:02] [INFO ] Flatten gal took : 258 ms
[2026-05-26 06:04:02] [INFO ] Applying decomposition
[2026-05-26 06:04:03] [INFO ] Flatten gal took : 271 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph547234524955522852.txt' '-o' '/tmp/graph547234524955522852.bin' '-w' '/tmp/graph547234524955522852.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph547234524955522852.bin' '-l' '-1' '-v' '-w' '/tmp/graph547234524955522852.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:04:03] [INFO ] Decomposing Gal with order
[2026-05-26 06:04:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:04:11] [INFO ] Flatten gal took : 279 ms
[2026-05-26 06:04:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 341 ms.
[2026-05-26 06:04:11] [INFO ] Time to serialize gal into /tmp/CTLFireability7258975892269167634.gal : 67 ms
[2026-05-26 06:04:11] [INFO ] Time to serialize properties into /tmp/CTLFireability15721927432566469318.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7258975892269167634.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15721927432566469318.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 1923 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:04:43] [INFO ] Invariant cache hit.
[2026-05-26 06:04:47] [INFO ] Implicit Places using invariants in 4331 ms returned []
Implicit Place search using SMT only with invariants took 4333 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 6257 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:04:48] [INFO ] Flatten gal took : 367 ms
[2026-05-26 06:04:48] [INFO ] Flatten gal took : 267 ms
[2026-05-26 06:04:49] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:04:49] [INFO ] Flatten gal took : 257 ms
[2026-05-26 06:04:49] [INFO ] Flatten gal took : 266 ms
[2026-05-26 06:04:49] [INFO ] Time to serialize gal into /tmp/CTLFireability2449066077499769610.gal : 53 ms
[2026-05-26 06:04:49] [INFO ] Time to serialize properties into /tmp/CTLFireability15579051023228744785.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2449066077499769610.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15579051023228744785.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:05:19] [INFO ] Flatten gal took : 259 ms
[2026-05-26 06:05:19] [INFO ] Applying decomposition
[2026-05-26 06:05:20] [INFO ] Flatten gal took : 275 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13213156652986997316.txt' '-o' '/tmp/graph13213156652986997316.bin' '-w' '/tmp/graph13213156652986997316.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13213156652986997316.bin' '-l' '-1' '-v' '-w' '/tmp/graph13213156652986997316.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:05:20] [INFO ] Decomposing Gal with order
[2026-05-26 06:05:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:05:28] [INFO ] Flatten gal took : 281 ms
[2026-05-26 06:05:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 341 ms.
[2026-05-26 06:05:28] [INFO ] Time to serialize gal into /tmp/CTLFireability5333604932751931278.gal : 68 ms
[2026-05-26 06:05:28] [INFO ] Time to serialize properties into /tmp/CTLFireability7593006141922596642.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5333604932751931278.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7593006141922596642.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 1908 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:06:00] [INFO ] Invariant cache hit.
[2026-05-26 06:06:04] [INFO ] Implicit Places using invariants in 3909 ms returned []
Implicit Place search using SMT only with invariants took 3910 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5819 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:06:04] [INFO ] Flatten gal took : 256 ms
[2026-05-26 06:06:05] [INFO ] Flatten gal took : 278 ms
[2026-05-26 06:06:05] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:06:05] [INFO ] Flatten gal took : 261 ms
[2026-05-26 06:06:06] [INFO ] Flatten gal took : 275 ms
[2026-05-26 06:06:06] [INFO ] Time to serialize gal into /tmp/CTLFireability16972966148161376783.gal : 57 ms
[2026-05-26 06:06:06] [INFO ] Time to serialize properties into /tmp/CTLFireability15920779425550004052.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16972966148161376783.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15920779425550004052.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:06:36] [INFO ] Flatten gal took : 258 ms
[2026-05-26 06:06:36] [INFO ] Applying decomposition
[2026-05-26 06:06:36] [INFO ] Flatten gal took : 286 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11910735778894104535.txt' '-o' '/tmp/graph11910735778894104535.bin' '-w' '/tmp/graph11910735778894104535.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11910735778894104535.bin' '-l' '-1' '-v' '-w' '/tmp/graph11910735778894104535.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:06:37] [INFO ] Decomposing Gal with order
[2026-05-26 06:06:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:06:45] [INFO ] Flatten gal took : 284 ms
[2026-05-26 06:06:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 343 ms.
[2026-05-26 06:06:45] [INFO ] Time to serialize gal into /tmp/CTLFireability13546848685526608984.gal : 70 ms
[2026-05-26 06:06:45] [INFO ] Time to serialize properties into /tmp/CTLFireability3422859033386552318.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13546848685526608984.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3422859033386552318.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 2131 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:07:17] [INFO ] Invariant cache hit.
[2026-05-26 06:07:22] [INFO ] Implicit Places using invariants in 4522 ms returned []
Implicit Place search using SMT only with invariants took 4523 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 6658 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:07:22] [INFO ] Flatten gal took : 327 ms
[2026-05-26 06:07:22] [INFO ] Flatten gal took : 269 ms
[2026-05-26 06:07:23] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:07:23] [INFO ] Flatten gal took : 256 ms
[2026-05-26 06:07:23] [INFO ] Flatten gal took : 279 ms
[2026-05-26 06:07:24] [INFO ] Time to serialize gal into /tmp/CTLFireability15764699394167778697.gal : 55 ms
[2026-05-26 06:07:24] [INFO ] Time to serialize properties into /tmp/CTLFireability18088818506730230972.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15764699394167778697.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18088818506730230972.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:07:54] [INFO ] Flatten gal took : 261 ms
[2026-05-26 06:07:54] [INFO ] Applying decomposition
[2026-05-26 06:07:54] [INFO ] Flatten gal took : 280 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph2792313888037428936.txt' '-o' '/tmp/graph2792313888037428936.bin' '-w' '/tmp/graph2792313888037428936.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2792313888037428936.bin' '-l' '-1' '-v' '-w' '/tmp/graph2792313888037428936.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:07:55] [INFO ] Decomposing Gal with order
[2026-05-26 06:07:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:08:03] [INFO ] Flatten gal took : 312 ms
[2026-05-26 06:08:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 536 ms.
[2026-05-26 06:08:03] [INFO ] Time to serialize gal into /tmp/CTLFireability17223544168199934818.gal : 57 ms
[2026-05-26 06:08:03] [INFO ] Time to serialize properties into /tmp/CTLFireability1999883304054034518.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17223544168199934818.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1999883304054034518.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 969 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:08:34] [INFO ] Invariant cache hit.
[2026-05-26 06:08:38] [INFO ] Implicit Places using invariants in 3868 ms returned []
Implicit Place search using SMT only with invariants took 3871 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 4841 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:08:38] [INFO ] Flatten gal took : 302 ms
[2026-05-26 06:08:39] [INFO ] Flatten gal took : 261 ms
[2026-05-26 06:08:39] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:08:40] [INFO ] Flatten gal took : 273 ms
[2026-05-26 06:08:40] [INFO ] Flatten gal took : 261 ms
[2026-05-26 06:08:40] [INFO ] Time to serialize gal into /tmp/CTLFireability3787430881731535750.gal : 54 ms
[2026-05-26 06:08:40] [INFO ] Time to serialize properties into /tmp/CTLFireability10697514792271603462.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3787430881731535750.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10697514792271603462.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:09:10] [INFO ] Flatten gal took : 263 ms
[2026-05-26 06:09:10] [INFO ] Applying decomposition
[2026-05-26 06:09:11] [INFO ] Flatten gal took : 319 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph17129991596818986392.txt' '-o' '/tmp/graph17129991596818986392.bin' '-w' '/tmp/graph17129991596818986392.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17129991596818986392.bin' '-l' '-1' '-v' '-w' '/tmp/graph17129991596818986392.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:09:11] [INFO ] Decomposing Gal with order
[2026-05-26 06:09:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:09:19] [INFO ] Flatten gal took : 436 ms
[2026-05-26 06:09:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 436 ms.
[2026-05-26 06:09:20] [INFO ] Time to serialize gal into /tmp/CTLFireability15462779848424797093.gal : 57 ms
[2026-05-26 06:09:20] [INFO ] Time to serialize properties into /tmp/CTLFireability3120941414534148630.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15462779848424797093.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3120941414534148630.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 913 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:09:51] [INFO ] Invariant cache hit.
[2026-05-26 06:09:55] [INFO ] Implicit Places using invariants in 4168 ms returned []
Implicit Place search using SMT only with invariants took 4169 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 5085 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:09:55] [INFO ] Flatten gal took : 255 ms
[2026-05-26 06:09:55] [INFO ] Flatten gal took : 269 ms
[2026-05-26 06:09:56] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:09:56] [INFO ] Flatten gal took : 280 ms
[2026-05-26 06:09:56] [INFO ] Flatten gal took : 270 ms
[2026-05-26 06:09:57] [INFO ] Time to serialize gal into /tmp/CTLFireability13013885472871375980.gal : 55 ms
[2026-05-26 06:09:57] [INFO ] Time to serialize properties into /tmp/CTLFireability18399586437018529314.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13013885472871375980.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18399586437018529314.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:10:27] [INFO ] Flatten gal took : 295 ms
[2026-05-26 06:10:27] [INFO ] Applying decomposition
[2026-05-26 06:10:27] [INFO ] Flatten gal took : 344 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9522330444077191548.txt' '-o' '/tmp/graph9522330444077191548.bin' '-w' '/tmp/graph9522330444077191548.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9522330444077191548.bin' '-l' '-1' '-v' '-w' '/tmp/graph9522330444077191548.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:10:28] [INFO ] Decomposing Gal with order
[2026-05-26 06:10:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:10:36] [INFO ] Flatten gal took : 469 ms
[2026-05-26 06:10:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 420 ms.
[2026-05-26 06:10:37] [INFO ] Time to serialize gal into /tmp/CTLFireability10573552530013842670.gal : 67 ms
[2026-05-26 06:10:37] [INFO ] Time to serialize properties into /tmp/CTLFireability13564616250974159295.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10573552530013842670.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13564616250974159295.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 2034 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:11:09] [INFO ] Invariant cache hit.
[2026-05-26 06:11:13] [INFO ] Implicit Places using invariants in 4214 ms returned []
Implicit Place search using SMT only with invariants took 4216 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 6252 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:11:13] [INFO ] Flatten gal took : 272 ms
[2026-05-26 06:11:13] [INFO ] Flatten gal took : 287 ms
[2026-05-26 06:11:14] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:11:15] [INFO ] Flatten gal took : 472 ms
[2026-05-26 06:11:15] [INFO ] Flatten gal took : 682 ms
[2026-05-26 06:11:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15841950392723482219.gal : 147 ms
[2026-05-26 06:11:16] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14649950774958239164.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality15841950392723482219.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14649950774958239164.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
RANDOM walk for 40037 steps (8 resets) in 7431 ms. (5 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 10400 ms. (3 steps per ms) remains 1/1 properties
Loading property file /tmp/ReachabilityCardinality14649950774958239164.prop.
Probabilistic random walk after 82075 steps, saw 82043 distinct states, run finished after 15192 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-26 06:11:35] [INFO ] Invariant cache hit.
[2026-05-26 06:11:35] [INFO ] State equation strengthened by 2000 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 4/5 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 8/13 variables, 5/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/13 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/13 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 0/13 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 13/26001 variables, and 7 constraints, problems are : Problem set: 0 solved, 1 unsolved in 257 ms.
Refiners :[Positive P Invariants (semi-flows): 1/2000 constraints, State Equation: 5/10000 constraints, ReadFeed: 1/2000 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 4/5 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 8/13 variables, 5/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/13 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/13 variables, 1/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/13 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 0/13 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 13/26001 variables, and 8 constraints, problems are : Problem set: 0 solved, 1 unsolved in 130 ms.
Refiners :[Positive P Invariants (semi-flows): 1/2000 constraints, State Equation: 5/10000 constraints, ReadFeed: 1/2000 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 562ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 3 steps, including 0 resets, run visited all 1 properties in 3 ms. (steps per millisecond=1 )
FORMULA JoinFreeModules-PT-2000-CTLFireability-2024-13 TRUE TECHNIQUES PARIKH_WALK
Parikh walk visited 1 properties in 12 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 927 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:11:36] [INFO ] Invariant cache hit.
[2026-05-26 06:11:40] [INFO ] Implicit Places using invariants in 4069 ms returned []
Implicit Place search using SMT only with invariants took 4070 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 4998 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:11:40] [INFO ] Flatten gal took : 266 ms
[2026-05-26 06:11:41] [INFO ] Flatten gal took : 302 ms
[2026-05-26 06:11:41] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:11:42] [INFO ] Flatten gal took : 311 ms
[2026-05-26 06:11:42] [INFO ] Flatten gal took : 292 ms
[2026-05-26 06:11:42] [INFO ] Time to serialize gal into /tmp/CTLFireability18026138150460059182.gal : 52 ms
[2026-05-26 06:11:42] [INFO ] Time to serialize properties into /tmp/CTLFireability3870026909874930481.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18026138150460059182.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3870026909874930481.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:12:12] [INFO ] Flatten gal took : 305 ms
[2026-05-26 06:12:12] [INFO ] Applying decomposition
[2026-05-26 06:12:13] [INFO ] Flatten gal took : 296 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph689362995834600432.txt' '-o' '/tmp/graph689362995834600432.bin' '-w' '/tmp/graph689362995834600432.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph689362995834600432.bin' '-l' '-1' '-v' '-w' '/tmp/graph689362995834600432.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:12:14] [INFO ] Decomposing Gal with order
[2026-05-26 06:12:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:12:21] [INFO ] Flatten gal took : 286 ms
[2026-05-26 06:12:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 507 ms.
[2026-05-26 06:12:22] [INFO ] Time to serialize gal into /tmp/CTLFireability11535625811161927278.gal : 63 ms
[2026-05-26 06:12:22] [INFO ] Time to serialize properties into /tmp/CTLFireability1665473038799369285.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11535625811161927278.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1665473038799369285.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 16001/16001 transitions.
Applied a total of 0 rules in 997 ms. Remains 10000 /10000 variables (removed 0) and now considering 16001/16001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 06:12:53] [INFO ] Invariant cache hit.
[2026-05-26 06:12:57] [INFO ] Implicit Places using invariants in 4303 ms returned []
Implicit Place search using SMT only with invariants took 4309 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 5307 ms. Remains : 10000/10000 places, 16001/16001 transitions.
[2026-05-26 06:12:57] [INFO ] Flatten gal took : 281 ms
[2026-05-26 06:12:58] [INFO ] Flatten gal took : 312 ms
[2026-05-26 06:12:58] [INFO ] Input system was already deterministic with 16001 transitions.
[2026-05-26 06:12:59] [INFO ] Flatten gal took : 303 ms
[2026-05-26 06:12:59] [INFO ] Flatten gal took : 265 ms
[2026-05-26 06:12:59] [INFO ] Time to serialize gal into /tmp/CTLFireability6328042165006196335.gal : 48 ms
[2026-05-26 06:12:59] [INFO ] Time to serialize properties into /tmp/CTLFireability10533297138236085902.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6328042165006196335.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10533297138236085902.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:13:29] [INFO ] Flatten gal took : 290 ms
[2026-05-26 06:13:29] [INFO ] Applying decomposition
[2026-05-26 06:13:30] [INFO ] Flatten gal took : 269 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1490871728127880363.txt' '-o' '/tmp/graph1490871728127880363.bin' '-w' '/tmp/graph1490871728127880363.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1490871728127880363.bin' '-l' '-1' '-v' '-w' '/tmp/graph1490871728127880363.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:13:30] [INFO ] Decomposing Gal with order
[2026-05-26 06:13:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:13:39] [INFO ] Flatten gal took : 319 ms
[2026-05-26 06:13:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 359 ms.
[2026-05-26 06:13:39] [INFO ] Time to serialize gal into /tmp/CTLFireability11617009433555159941.gal : 69 ms
[2026-05-26 06:13:39] [INFO ] Time to serialize properties into /tmp/CTLFireability11523010895596158576.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11617009433555159941.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11523010895596158576.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:14:10] [INFO ] Flatten gal took : 279 ms
[2026-05-26 06:14:10] [INFO ] Flatten gal took : 300 ms
[2026-05-26 06:14:10] [INFO ] Applying decomposition
[2026-05-26 06:14:11] [INFO ] Flatten gal took : 428 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph2606916344710892597.txt' '-o' '/tmp/graph2606916344710892597.bin' '-w' '/tmp/graph2606916344710892597.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2606916344710892597.bin' '-l' '-1' '-v' '-w' '/tmp/graph2606916344710892597.weights' '-q' '0' '-e' '0.001'
[2026-05-26 06:14:12] [INFO ] Decomposing Gal with order
[2026-05-26 06:14:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 06:14:19] [INFO ] Flatten gal took : 293 ms
[2026-05-26 06:14:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 393 ms.
[2026-05-26 06:14:20] [INFO ] Time to serialize gal into /tmp/CTLFireability3335407185191072114.gal : 57 ms
[2026-05-26 06:14:20] [INFO ] Time to serialize properties into /tmp/CTLFireability14661480455214204429.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3335407185191072114.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14661480455214204429.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 06:42:06] [INFO ] Flatten gal took : 505 ms
[2026-05-26 06:42:06] [INFO ] Time to serialize gal into /tmp/CTLFireability12855840629606200479.gal : 57 ms
[2026-05-26 06:42:06] [INFO ] Time to serialize properties into /tmp/CTLFireability2738544023619102793.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12855840629606200479.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2738544023619102793.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -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="JoinFreeModules-PT-2000"
export BK_EXAMINATION="CTLFireability"
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-5973"
echo " Executing tool itstools"
echo " Input is JoinFreeModules-PT-2000, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r162-smll-177961107800218"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-2000.tgz
mv JoinFreeModules-PT-2000 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;