About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 1364766.00 | 0.00 | 0.00 | ?TTT????F?FFF??T | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r246-tall-171654351100207.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C09, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r246-tall-171654351100207
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 31M
-rw-r--r-- 1 mcc users 17K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 30M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2023-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2023-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2023-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716639249327
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C09
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityFireability PT
Running Version 202405141337
[2024-05-25 12:14:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-25 12:14:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 12:14:11] [INFO ] Load time of PNML (sax parser for PT used): 1115 ms
[2024-05-25 12:14:11] [INFO ] Transformed 29770 places.
[2024-05-25 12:14:11] [INFO ] Transformed 44921 transitions.
[2024-05-25 12:14:11] [INFO ] Parsed PT model containing 29770 places and 44921 transitions and 170374 arcs in 1390 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 124 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (432 resets) in 6806 ms. (5 steps per ms) remains 14/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (64 resets) in 1505 ms. (26 steps per ms) remains 13/14 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-10 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (64 resets) in 1004 ms. (39 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (64 resets) in 690 ms. (57 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (64 resets) in 849 ms. (47 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (64 resets) in 651 ms. (61 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (64 resets) in 691 ms. (57 steps per ms) remains 13/13 properties
[2024-05-25 12:14:16] [INFO ] Flatten gal took : 2635 ms
BEST_FIRST walk for 40004 steps (64 resets) in 566 ms. (70 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (64 resets) in 1903 ms. (21 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (64 resets) in 630 ms. (63 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (64 resets) in 781 ms. (51 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (64 resets) in 549 ms. (72 steps per ms) remains 13/13 properties
[2024-05-25 12:14:17] [INFO ] Flatten gal took : 1477 ms
BEST_FIRST walk for 40004 steps (64 resets) in 581 ms. (68 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (64 resets) in 564 ms. (70 steps per ms) remains 13/13 properties
[2024-05-25 12:14:17] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29770 cols
[2024-05-25 12:14:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2524796289915055949.gal : 329 ms
[2024-05-25 12:14:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2145670835482153384.prop : 3 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.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality2524796289915055949.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality2145670835482153384.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.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
[2024-05-25 12:14:23] [INFO ] Computed 1823 invariants in 6107 ms
[2024-05-25 12:14:24] [INFO ] State equation strengthened by 14434 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/314 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/314 variables, 1/13 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/314 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-01 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-01 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 5498/5812 variables, 52/65 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5812 variables, 6/71 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5812 variables, 0/71 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 6 (OVERLAPS) 24/5836 variables, 24/95 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5836 variables, 0/95 constraints. Problems are: Problem set: 1 solved, 12 unsolved
SMT process timed out in 12290ms, After SMT, problems are : Problem set: 1 solved, 12 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 298 out of 29770 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 29770/29770 places, 44921/44921 transitions.
Graph (complete) has 99155 edges and 29770 vertex of which 29716 are kept as prefixes of interest. Removing 54 places using SCC suffix rule.146 ms
Discarding 54 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8961 transitions
Trivial Post-agglo rules discarded 8961 transitions
Performed 8961 trivial Post agglomeration. Transition count delta: 8961
Iterating post reduction 0 with 8961 rules applied. Total rules applied 8962 place count 29716 transition count 35960
Reduce places removed 8961 places and 0 transitions.
Performed 510 Post agglomeration using F-continuation condition.Transition count delta: 510
Iterating post reduction 1 with 9471 rules applied. Total rules applied 18433 place count 20755 transition count 35450
Reduce places removed 510 places and 0 transitions.
Iterating post reduction 2 with 510 rules applied. Total rules applied 18943 place count 20245 transition count 35450
Performed 559 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 559 Pre rules applied. Total rules applied 18943 place count 20245 transition count 34891
Deduced a syphon composed of 559 places in 42 ms
Reduce places removed 559 places and 0 transitions.
Iterating global reduction 3 with 1118 rules applied. Total rules applied 20061 place count 19686 transition count 34891
Loading property file /tmp/ReachabilityCardinality2145670835482153384.prop.
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Deduced a syphon composed of 22 places in 48 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 3 with 44 rules applied. Total rules applied 20105 place count 19664 transition count 34869
Free-agglomeration rule (complex) applied 372 times.
Iterating global reduction 3 with 372 rules applied. Total rules applied 20477 place count 19664 transition count 34497
Reduce places removed 372 places and 0 transitions.
Iterating post reduction 3 with 372 rules applied. Total rules applied 20849 place count 19292 transition count 34497
Partial Free-agglomeration rule applied 8433 times.
Drop transitions (Partial Free agglomeration) removed 8433 transitions
Iterating global reduction 4 with 8433 rules applied. Total rules applied 29282 place count 19292 transition count 34497
Applied a total of 29282 rules in 12733 ms. Remains 19292 /29770 variables (removed 10478) and now considering 34497/44921 (removed 10424) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 12753 ms. Remains : 19292/29770 places, 34497/44921 transitions.
RANDOM walk for 40000 steps (613 resets) in 2961 ms. (13 steps per ms) remains 11/12 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (68 resets) in 664 ms. (60 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 663 ms. (60 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 652 ms. (61 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 343 ms. (116 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 410 ms. (97 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 615 ms. (64 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 483 ms. (82 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (68 resets) in 511 ms. (78 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 563 ms. (70 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 700 ms. (57 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 458 ms. (87 steps per ms) remains 11/11 properties
Interrupted probabilistic random walk after 14631 steps, run timeout after 6001 ms. (steps per millisecond=2 ) properties seen :0 out of 11
Probabilistic random walk after 14631 steps, saw 7197 distinct states, run finished after 6007 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 12:14:51] [INFO ] Flow matrix only has 33070 transitions (discarded 1427 similar events)
// Phase 1: matrix 33070 rows 19292 cols
[2024-05-25 12:14:59] [INFO ] Computed 1769 invariants in 7807 ms
[2024-05-25 12:15:00] [INFO ] State equation strengthened by 14434 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/297 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/297 variables, 2/14 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/297 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 11 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-08 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-08 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 7817/8114 variables, 33/47 constraints. Problems are: Problem set: 1 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8114 variables, 5/52 constraints. Problems are: Problem set: 1 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8114 variables, 0/52 constraints. Problems are: Problem set: 1 solved, 10 unsolved
At refinement iteration 6 (OVERLAPS) 6/8120 variables, 6/58 constraints. Problems are: Problem set: 1 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/8120 variables, 0/58 constraints. Problems are: Problem set: 1 solved, 10 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-12 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-12 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 8 (OVERLAPS) 10881/19001 variables, 1420/1478 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/19001 variables, 0/1478 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 10 (OVERLAPS) 12/19013 variables, 12/1490 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/19013 variables, 0/1490 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 12 (OVERLAPS) 279/19292 variables, 279/1769 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/19292 variables, 0/1769 constraints. Problems are: Problem set: 2 solved, 9 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 52362/52362 variables, and 21061 constraints, problems are : Problem set: 2 solved, 9 unsolved in 45085 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, Generalized P Invariants (flows): 1706/1706 constraints, State Equation: 19292/19292 constraints, ReadFeed: 0/14434 constraints, PredecessorRefiner: 11/6 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 2 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/154 variables, 6/6 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/154 variables, 2/8 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/154 variables, 0/8 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 7905/8059 variables, 21/29 constraints. Problems are: Problem set: 2 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8059 variables, 3/32 constraints. Problems are: Problem set: 2 solved, 9 unsolved
[2024-05-25 12:16:04] [INFO ] Deduced a trap composed of 2649 places in 15728 ms of which 382 ms to minimize.
[2024-05-25 12:16:19] [INFO ] Deduced a trap composed of 2225 places in 14349 ms of which 73 ms to minimize.
[2024-05-25 12:16:33] [INFO ] Deduced a trap composed of 3083 places in 14502 ms of which 58 ms to minimize.
SMT process timed out in 101902ms, After SMT, problems are : Problem set: 2 solved, 9 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 154 out of 19292 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19292/19292 places, 34497/34497 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 19292 transition count 34478
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 38 place count 19273 transition count 34478
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 38 place count 19273 transition count 34459
Deduced a syphon composed of 19 places in 32 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 76 place count 19254 transition count 34459
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 30 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 88 place count 19248 transition count 34453
Free-agglomeration rule (complex) applied 70 times.
Iterating global reduction 2 with 70 rules applied. Total rules applied 158 place count 19248 transition count 34383
Reduce places removed 70 places and 0 transitions.
Iterating post reduction 2 with 70 rules applied. Total rules applied 228 place count 19178 transition count 34383
Partial Free-agglomeration rule applied 220 times.
Drop transitions (Partial Free agglomeration) removed 220 transitions
Iterating global reduction 3 with 220 rules applied. Total rules applied 448 place count 19178 transition count 34383
Applied a total of 448 rules in 6906 ms. Remains 19178 /19292 variables (removed 114) and now considering 34383/34497 (removed 114) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6907 ms. Remains : 19178/19292 places, 34383/34497 transitions.
RANDOM walk for 40000 steps (616 resets) in 2499 ms. (16 steps per ms) remains 8/9 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (68 resets) in 467 ms. (85 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 386 ms. (103 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 425 ms. (93 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 367 ms. (108 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 380 ms. (104 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 347 ms. (114 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (68 resets) in 422 ms. (94 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 333 ms. (119 steps per ms) remains 8/8 properties
[2024-05-25 12:16:42] [INFO ] Flow matrix only has 32889 transitions (discarded 1494 similar events)
// Phase 1: matrix 32889 rows 19178 cols
[2024-05-25 12:16:50] [INFO ] Computed 1769 invariants in 7467 ms
[2024-05-25 12:16:51] [INFO ] State equation strengthened by 14434 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/153 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/153 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/153 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 7979/8132 variables, 23/30 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8132 variables, 7/37 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8132 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 6 (OVERLAPS) 10/8142 variables, 10/47 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/8142 variables, 0/47 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 8 (OVERLAPS) 10790/18932 variables, 1476/1523 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/18932 variables, 0/1523 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 10 (OVERLAPS) 26/18958 variables, 26/1549 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/18958 variables, 0/1549 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 12 (OVERLAPS) 220/19178 variables, 220/1769 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/19178 variables, 0/1769 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 14 (OVERLAPS) 32889/52067 variables, 19178/20947 constraints. Problems are: Problem set: 0 solved, 8 unsolved
SMT process timed out in 84278ms, After SMT, problems are : Problem set: 0 solved, 8 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 153 out of 19178 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19178/19178 places, 34383/34383 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 19178 transition count 34382
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 19177 transition count 34382
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 3 place count 19177 transition count 34382
Applied a total of 3 rules in 3240 ms. Remains 19177 /19178 variables (removed 1) and now considering 34382/34383 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3241 ms. Remains : 19177/19178 places, 34382/34383 transitions.
RANDOM walk for 40000 steps (616 resets) in 2474 ms. (16 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 464 ms. (86 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 411 ms. (97 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 619 ms. (64 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 417 ms. (95 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 509 ms. (78 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 494 ms. (80 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (68 resets) in 539 ms. (74 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (68 resets) in 453 ms. (88 steps per ms) remains 8/8 properties
Interrupted probabilistic random walk after 14429 steps, run timeout after 6001 ms. (steps per millisecond=2 ) properties seen :0 out of 8
Probabilistic random walk after 14429 steps, saw 7106 distinct states, run finished after 6002 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 12:18:18] [INFO ] Flow matrix only has 32888 transitions (discarded 1494 similar events)
// Phase 1: matrix 32888 rows 19177 cols
[2024-05-25 12:18:25] [INFO ] Computed 1769 invariants in 7487 ms
[2024-05-25 12:18:26] [INFO ] State equation strengthened by 14434 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/153 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/153 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/153 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 7855/8008 variables, 21/28 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8008 variables, 6/34 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8008 variables, 0/34 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 6 (OVERLAPS) 10/8018 variables, 10/44 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/8018 variables, 0/44 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 8 (OVERLAPS) 10854/18872 variables, 1420/1464 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/18872 variables, 0/1464 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 10 (OVERLAPS) 26/18898 variables, 26/1490 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/18898 variables, 0/1490 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 12 (OVERLAPS) 279/19177 variables, 279/1769 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/19177 variables, 0/1769 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 14 (OVERLAPS) 32888/52065 variables, 19177/20946 constraints. Problems are: Problem set: 0 solved, 8 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 52065/52065 variables, and 35380 constraints, problems are : Problem set: 0 solved, 8 unsolved in 90130 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, Generalized P Invariants (flows): 1706/1706 constraints, State Equation: 19177/19177 constraints, ReadFeed: 14434/14434 constraints, PredecessorRefiner: 8/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 8 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/153 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/153 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/153 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 7855/8008 variables, 21/28 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8008 variables, 6/34 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-25 12:20:13] [INFO ] Deduced a trap composed of 2385 places in 14187 ms of which 59 ms to minimize.
[2024-05-25 12:20:27] [INFO ] Deduced a trap composed of 2173 places in 13658 ms of which 52 ms to minimize.
[2024-05-25 12:20:40] [INFO ] Deduced a trap composed of 2192 places in 13344 ms of which 56 ms to minimize.
[2024-05-25 12:20:54] [INFO ] Deduced a trap composed of 2292 places in 13535 ms of which 53 ms to minimize.
[2024-05-25 12:21:07] [INFO ] Deduced a trap composed of 2574 places in 13081 ms of which 53 ms to minimize.
[2024-05-25 12:21:28] [INFO ] Deduced a trap composed of 2493 places in 20497 ms of which 55 ms to minimize.
SMT process timed out in 189997ms, After SMT, problems are : Problem set: 0 solved, 8 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 153 out of 19177 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19177/19177 places, 34382/34382 transitions.
Applied a total of 0 rules in 1655 ms. Remains 19177 /19177 variables (removed 0) and now considering 34382/34382 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1655 ms. Remains : 19177/19177 places, 34382/34382 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19177/19177 places, 34382/34382 transitions.
Applied a total of 0 rules in 1580 ms. Remains 19177 /19177 variables (removed 0) and now considering 34382/34382 (removed 0) transitions.
[2024-05-25 12:21:31] [INFO ] Flow matrix only has 32888 transitions (discarded 1494 similar events)
[2024-05-25 12:21:31] [INFO ] Invariant cache hit.
[2024-05-25 12:22:05] [INFO ] Performed 6582/19177 implicitness test of which 338 returned IMPLICIT in 30 seconds.
[2024-05-25 12:22:35] [INFO ] Performed 10709/19177 implicitness test of which 658 returned IMPLICIT in 60 seconds.
[2024-05-25 12:23:05] [INFO ] Performed 13239/19177 implicitness test of which 835 returned IMPLICIT in 90 seconds.
[2024-05-25 12:23:35] [INFO ] Performed 16864/19177 implicitness test of which 1017 returned IMPLICIT in 120 seconds.
[2024-05-25 12:24:05] [INFO ] Performed 18856/19177 implicitness test of which 1084 returned IMPLICIT in 150 seconds.
[2024-05-25 12:24:11] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160087 ms
[2024-05-25 12:24:11] [INFO ] Actually due to overlaps returned [867, 1672, 2421, 3120, 3775, 4388, 4960, 5499, 6007, 6489, 6950, 7393, 7821, 8238, 8649, 9059, 9467, 9877, 10709, 11580, 12526, 13035, 14150, 14761, 15413, 16112, 16864, 17670, 18532, 4, 481, 556, 622, 706, 1315, 1386, 1448, 1526, 2089, 2156, 2214, 2286, 2810, 2873, 2927, 2993, 3483, 3593, 3653, 4115, 4170, 4216, 4270, 4704, 4755, 4797, 4845, 5256, 5303, 5341, 5383, 5777, 5820, 5854, 5892, 6269, 6308, 6338, 6374, 6737, 6772, 6798, 6834, 7186, 7217, 7241, 7278, 7619, 7646, 7670, 7706, 8039, 8063, 8087, 8123, 8450, 8474, 8498, 8860, 8884, 8908, 8944, 9061, 9268, 9292, 9316, 9352, 9678, 9702, 9726, 9762, 10112, 10136, 10173, 10532, 10556, 10592, 10948, 10987, 11023, 11386, 11417, 11429, 11465, 11840, 11875, 11925, 12316, 12355, 12386, 12410, 12816, 12859, 12920, 13344, 13391, 13429, 13904, 13955, 13997, 14045, 14500, 14555, 14601, 14655, 15135, 15194, 15244, 15304, 15814, 15877, 15931, 15997, 16543, 16610, 16668, 16740, 17323, 17394, 17456, 17534, 17672, 18161, 18236, 18302, 18386]
Discarding 156 places :
Implicit Place search using SMT only with invariants took 160124 ms to find 156 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 19021/19177 places, 34382/34382 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 19021 transition count 34380
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 19019 transition count 34380
Applied a total of 4 rules in 3059 ms. Remains 19019 /19021 variables (removed 2) and now considering 34380/34382 (removed 2) transitions.
[2024-05-25 12:24:14] [INFO ] Flow matrix only has 32886 transitions (discarded 1494 similar events)
// Phase 1: matrix 32886 rows 19019 cols
[2024-05-25 12:24:24] [INFO ] Computed 1613 invariants in 9397 ms
[2024-05-25 12:24:57] [INFO ] Performed 7613/19019 implicitness test of which 355 returned IMPLICIT in 30 seconds.
[2024-05-25 12:25:28] [INFO ] Performed 12415/19019 implicitness test of which 675 returned IMPLICIT in 61 seconds.
[2024-05-25 12:25:58] [INFO ] Performed 18409/19019 implicitness test of which 928 returned IMPLICIT in 91 seconds.
[2024-05-25 12:26:28] [INFO ] Performed 18878/19019 implicitness test of which 928 returned IMPLICIT in 121 seconds.
[2024-05-25 12:26:36] [INFO ] Implicit Places using invariants in 141782 ms returned [6, 19, 33, 49, 68, 88, 110, 134, 160, 188, 218, 250, 284, 320, 359, 399, 440, 517, 587, 648, 676, 725, 747, 767, 785, 802, 818, 830, 868, 880, 892, 906, 923, 941, 961, 983, 1007, 1033, 1061, 1091, 1123, 1157, 1194, 1232, 1271, 1344, 1410, 1467, 1493, 1538, 1558, 1576, 1592, 1606, 1619, 1631, 1667, 1679, 1691, 1703, 1718, 1734, 1752, 1772, 1794, 1818, 1844, 1872, 1902, 1934, 1969, 2005, 2042, 2111, 2173, 2226, 2250, 2291, 2309, 2325, 2339, 2351, 2363, 2375, 2411, 2423, 2435, 2447, 2460, 2474, 2490, 2508, 2528, 2550, 2574, 2600, 2628, 2658, 2691, 2725, 2760, 2825, 2883, 2932, 2954, 2991, 3007, 3021, 3033, 3045, 3057, 3069, 3106, 3118, 3130, 3142, 3154, 3166, 3180, 3196, 3214, 3234, 3256, 3280, 3306, 3334, 3365, 3397, 3430, 3491, 3547, 3592, 3612, 3645, 3659, 3671, 3683, 3695, 3707, 3719, 3756, 3768, 3780, 3792, 3804, 3816, 3829, 3844, 3860, 3878, 3898, 3920, 3944, 3970, 3999, 4029, 4060, 4117, 4167, 4208, 4226, 4255, 4267, 4279, 4291, 4303, 4315, 4328, 4364, 4376, 4388, 4400, 4412, 4424, 4436, 4448, 4462, 4478, 4496, 4516, 4538, 4562, 4589, 4617, 4646, 4699, 4745, 4782, 4798, 4823, 4835, 4847, 4859, 4871, 4883, 4895, 4931, 4943, 4955, 4967, 4979, 4991, 5003, 5015, 5027, 5041, 5057, 5075, 5095, 5117, 5142, 5168, 5195, 5244, 5286, 5319, 5333, 5356, 5368, 5380, 5392, 5404, 5416, 5428, 5465, 5477, 5489, 5501, 5513, 5525, 5537, 5549, 5561, 5573, 5587, 5603, 5621, 5641, 5664, 5688, 5713, 5758, 5796, 5825, 5837, 5860, 5872, 5884, 5896, 5908, 5920, 5932, 5968, 5980, 5992, 6004, 6016, 6028, 6040, 6052, 6064, 6076, 6088, 6102, 6118, 6136, 6157, 6179, 6202, 6243, 6277, 6302, 6314, 6337, 6349, 6361, 6373, 6385, 6397, 6409, 6445, 6457, 6469, 6481, 6493, 6505, 6517, 6529, 6541, 6553, 6565, 6577, 6591, 6607, 6626, 6646, 6667, 6704, 6734, 6757, 6769, 6792, 6804, 6816, 6828, 6840, 6852, 6864, 6901, 6913, 6925, 6937, 6949, 6961, 6973, 6985, 6997, 7009, 7021, 7033, 7045, 7059, 7076, 7094, 7113, 7146, 7172, 7195, 7207, 7231, 7243, 7255, 7267, 7279, 7291, 7303, 7339, 7351, 7363, 7375, 7387, 7399, 7411, 7423, 7435, 7447, 7459, 7471, 7483, 7495, 7510, 7526, 7543, 7572, 7596, 7619, 7631, 7654, 7666, 7678, 7690, 7702, 7714, 7726, 7762, 7774, 7786, 7798, 7810, 7822, 7834, 7846, 7858, 7870, 7882, 7894, 7906, 7918, 7931, 7945, 7960, 7985, 8008, 8031, 8043, 8066, 8078, 8090, 8102, 8114, 8126, 8138, 8175, 8187, 8199, 8211, 8223, 8235, 8247, 8259, 8271, 8283, 8295, 8307, 8319, 8331, 8343, 8355, 8368, 8391, 8414, 8437, 8449, 8473, 8485, 8497, 8509, 8521, 8533, 8545, 8581, 8593, 8605, 8617, 8629, 8641, 8653, 8665, 8677, 8689, 8701, 8713, 8725, 8737, 8749, 8761, 8774, 8797, 8820, 8843, 8855, 8878, 8890, 8902, 8914, 8926, 8938, 8950, 8984, 8996, 9008, 9020, 9032, 9044, 9056, 9068, 9080, 9092, 9104, 9116, 9128, 9140, 9152, 9164, 9176, 9199, 9222, 9245, 9257, 9280, 9292, 9304, 9316, 9328, 9340, 9352, 9387, 9399, 9411, 9423, 9435, 9447, 9459, 9471, 9483, 9495, 9507, 9519, 9532, 9544, 9556, 9568, 9580, 9603, 9626, 9649, 9661, 9684, 9696, 9708, 9720, 9732, 9744, 9756, 9792, 9804, 9816, 9828, 9840, 9852, 9864, 9876, 9888, 9900, 9912, 9924, 9936, 9948, 9960, 9972, 9984, 9997, 10009, 10032, 10055, 10068, 10091, 10103, 10115, 10127, 10139, 10151, 10163, 10201, 10213, 10225, 10237, 10249, 10261, 10273, 10285, 10297, 10309, 10321, 10333, 10345, 10357, 10369, 10382, 10396, 10411, 10449, 10472, 10484, 10507, 10519, 10531, 10543, 10555, 10567, 10579, 10617, 10629, 10641, 10653, 10665, 10677, 10689, 10701, 10713, 10725, 10737, 10749, 10761, 10773, 10785, 10801, 10817, 10834, 10863, 10876, 10899, 10911, 10934, 10946, 10958, 10970, 10982, 10994, 11006, 11043, 11055, 11067, 11079, 11091, 11103, 11115, 11127, 11139, 11151, 11163, 11175, 11187, 11199, 11213, 11230, 11248, 11267, 11300, 11337, 11349, 11372, 11384, 11396, 11408, 11420, 11432, 11444, 11480, 11492, 11504, 11516, 11528, 11540, 11552, 11564, 11576, 11588, 11600, 11612, 11624, 11638, 11654, 11673, 11693, 11714, 11751, 11781, 11793, 11805, 11828, 11840, 11852, 11864, 11876, 11888, 11900, 11939, 11951, 11963, 11975, 11987, 11999, 12011, 12023, 12035, 12047, 12059, 12071, 12085, 12101, 12119, 12140, 12162, 12185, 12226, 12260, 12286, 12309, 12321, 12333, 12345, 12357, 12369, 12381, 12418, 12430, 12442, 12454, 12466, 12478, 12490, 12502, 12514, 12526, 12538, 12552, 12568, 12586, 12606, 12629, 12653, 12678, 12723, 12761, 12792, 12815, 12827, 12839, 12851, 12863, 12875, 12887, 12923, 12935, 12947, 12959, 12971, 12983, 12995, 13007, 13019, 13031, 13045, 13061, 13079, 13099, 13121, 13146, 13172, 13199, 13249, 13291, 13324, 13338, 13350, 13362, 13374, 13386, 13398, 13410, 13422, 13460, 13472, 13484, 13496, 13508, 13520, 13532, 13544, 13556, 13570, 13586, 13604, 13624, 13646, 13670, 13697, 13725, 13754, 13808, 13854, 13891, 13907, 13932, 13944, 13956, 13968, 13980, 13992, 14030, 14042, 14054, 14066, 14078, 14090, 14102, 14114, 14128, 14144, 14162, 14182, 14204, 14228, 14254, 14283, 14313, 14344, 14401, 14451, 14492, 14510, 14539, 14551, 14563, 14575, 14587, 14599, 14636, 14648, 14660, 14672, 14684, 14696, 14708, 14722, 14738, 14756, 14776, 14798, 14822, 14848, 14876, 14907, 14939, 14972, 15033, 15087, 15132, 15152, 15185, 15199, 15211, 15223, 15235, 15247, 15283, 15295, 15307, 15319, 15331, 15344, 15358, 15374, 15392, 15412, 15434, 15458, 15484, 15512, 15542, 15575, 15609, 15644, 15709, 15767, 15816, 15838, 15875, 15891, 15905, 15917, 15929, 15941, 15978, 15990, 16002, 16014, 16026, 16041, 16057, 16075, 16095, 16117, 16141, 16167, 16195, 16225, 16257, 16292, 16328, 16365, 16435, 16497, 16550, 16574, 16615, 16633, 16649, 16663, 16675, 16687, 16724, 16736, 16748, 16760, 16774, 16791, 16809, 16829, 16851, 16875, 16901, 16929, 16959, 16991, 17025, 17062, 17100, 17139, 17212, 17278, 17335, 17361, 17406, 17426, 17444, 17460, 17474, 17487, 17523, 17535, 17548, 17562, 17578, 17597, 17617, 17639, 17663, 17689, 17717, 17747, 17779, 17813, 17849, 17888, 17928, 17969, 18046, 18116, 18177, 18205, 18254, 18276, 18296, 18314, 18330, 18345]
Discarding 928 places :
Implicit Place search using SMT only with invariants took 141823 ms to find 928 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 18091/19177 places, 34380/34382 transitions.
Applied a total of 0 rules in 1509 ms. Remains 18091 /18091 variables (removed 0) and now considering 34380/34380 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 308100 ms. Remains : 18091/19177 places, 34380/34382 transitions.
RANDOM walk for 40000 steps (626 resets) in 2882 ms. (13 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (54 resets) in 554 ms. (72 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (59 resets) in 565 ms. (70 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (58 resets) in 660 ms. (60 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (57 resets) in 557 ms. (71 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40002 steps (58 resets) in 557 ms. (71 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (60 resets) in 495 ms. (80 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (58 resets) in 612 ms. (65 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (53 resets) in 515 ms. (77 steps per ms) remains 8/8 properties
Interrupted probabilistic random walk after 14679 steps, run timeout after 6001 ms. (steps per millisecond=2 ) properties seen :0 out of 8
Probabilistic random walk after 14679 steps, saw 7254 distinct states, run finished after 6004 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 12:26:46] [INFO ] Flow matrix only has 32886 transitions (discarded 1494 similar events)
// Phase 1: matrix 32886 rows 18091 cols
[2024-05-25 12:26:55] [INFO ] Computed 685 invariants in 9190 ms
[2024-05-25 12:26:56] [INFO ] State equation strengthened by 14434 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/153 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/153 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (OVERLAPS) 8315/8468 variables, 21/27 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/8468 variables, 4/31 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8468 variables, 0/31 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 5 (OVERLAPS) 10/8478 variables, 10/41 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/8478 variables, 0/41 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 7 (OVERLAPS) 9587/18065 variables, 618/659 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/18065 variables, 0/659 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 9 (OVERLAPS) 26/18091 variables, 26/685 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/18091 variables, 0/685 constraints. Problems are: Problem set: 0 solved, 8 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 50977/50977 variables, and 18776 constraints, problems are : Problem set: 0 solved, 8 unsolved in 105206 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, Generalized P Invariants (flows): 622/622 constraints, State Equation: 18091/18091 constraints, ReadFeed: 0/14434 constraints, PredecessorRefiner: 8/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 8 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/153 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/153 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (OVERLAPS) 8315/8468 variables, 21/27 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/8468 variables, 4/31 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-25 12:29:00] [INFO ] Deduced a trap composed of 2129 places in 17239 ms of which 55 ms to minimize.
[2024-05-25 12:29:18] [INFO ] Deduced a trap composed of 2053 places in 17818 ms of which 62 ms to minimize.
[2024-05-25 12:29:36] [INFO ] Deduced a trap composed of 2164 places in 17402 ms of which 58 ms to minimize.
[2024-05-25 12:29:53] [INFO ] Deduced a trap composed of 2060 places in 17368 ms of which 62 ms to minimize.
[2024-05-25 12:30:10] [INFO ] Deduced a trap composed of 2033 places in 16649 ms of which 59 ms to minimize.
[2024-05-25 12:30:27] [INFO ] Deduced a trap composed of 2128 places in 17057 ms of which 55 ms to minimize.
SMT process timed out in 221659ms, After SMT, problems are : Problem set: 0 solved, 8 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 153 out of 18091 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 18091/18091 places, 34380/34380 transitions.
Applied a total of 0 rules in 1534 ms. Remains 18091 /18091 variables (removed 0) and now considering 34380/34380 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1536 ms. Remains : 18091/18091 places, 34380/34380 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 18091/18091 places, 34380/34380 transitions.
Applied a total of 0 rules in 1631 ms. Remains 18091 /18091 variables (removed 0) and now considering 34380/34380 (removed 0) transitions.
[2024-05-25 12:30:31] [INFO ] Flow matrix only has 32886 transitions (discarded 1494 similar events)
[2024-05-25 12:30:31] [INFO ] Invariant cache hit.
[2024-05-25 12:31:04] [INFO ] Performed 9911/18091 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-25 12:31:34] [INFO ] Performed 16770/18091 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-05-25 12:32:04] [INFO ] Performed 17949/18091 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2024-05-25 12:32:11] [INFO ] Implicit Places using invariants in 100748 ms returned []
Implicit Place search using SMT only with invariants took 100750 ms to find 0 implicit places.
Running 34285 sub problems to find dead transitions.
[2024-05-25 12:32:12] [INFO ] Flow matrix only has 32886 transitions (discarded 1494 similar events)
[2024-05-25 12:32:12] [INFO ] Invariant cache hit.
[2024-05-25 12:32:13] [INFO ] State equation strengthened by 14434 read => feed constraints.
BK_STOP 1716640614093
--------------------
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
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C09"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C09, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r246-tall-171654351100207"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C09.tgz
mv MultiCrashLeafsetExtension-PT-S32C09 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;