About the Execution of GreatSPN+red for DLCshifumi-PT-6b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6495.312 | 380977.00 | 646809.00 | 974.40 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r122-smll-171624283400228.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 greatspnxred
Input is DLCshifumi-PT-6b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r122-smll-171624283400228
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 49K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K May 19 07:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 19 15:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 19 07:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Apr 13 05:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Apr 13 05:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Apr 13 05:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Apr 13 05:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 17M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1716331362738
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=DLCshifumi-PT-6b
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-21 22:42:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-05-21 22:42:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 22:42:46] [INFO ] Load time of PNML (sax parser for PT used): 1648 ms
[2024-05-21 22:42:48] [INFO ] Transformed 44243 places.
[2024-05-21 22:42:48] [INFO ] Transformed 66611 transitions.
[2024-05-21 22:42:48] [INFO ] Found NUPN structural information;
[2024-05-21 22:42:50] [INFO ] Parsed PT model containing 44243 places and 66611 transitions and 182532 arcs in 5812 ms.
Graph (trivial) has 40749 edges and 44243 vertex of which 3264 / 44243 are part of one of the 207 SCC in 138 ms
Free SCC test removed 3057 places
Structural test allowed to assert that 22307 places are NOT stable. Took 495 ms.
Ensure Unique test removed 3252 transitions
Reduce redundant transitions removed 3252 transitions.
RANDOM walk for 40000 steps (8 resets) in 6672 ms. (5 steps per ms) remains 20289/21936 properties
BEST_FIRST walk for 123 steps (8 resets) in 35 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 43 ms. (2 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 48 ms. (2 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 153 ms. (0 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 132 ms. (0 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 79 ms. (1 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 37 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 40 ms. (2 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 31 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 121 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 28 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 31 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 28 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 120 steps (8 resets) in 31 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 30 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 28 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 29 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 31 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 48 ms. (2 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 32 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 34 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 37 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 121 steps (8 resets) in 28 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 38 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 124 steps (8 resets) in 34 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 25 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 35 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 26 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 41 ms. (2 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 35 ms. (3 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 122 steps (8 resets) in 28 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 121 steps (8 resets) in 29 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 27 ms. (4 steps per ms) remains 20289/20289 properties
BEST_FIRST walk for 123 steps (8 resets) in 29 ms. (4 steps per ms) remains 20289/20289 properties
Interrupted probabilistic random walk after 4004 steps, run timeout after 6006 ms. (steps per millisecond=0 ) properties seen :0 out of 20289
Probabilistic random walk after 4004 steps, saw 3917 distinct states, run finished after 6041 ms. (steps per millisecond=0 ) properties seen :0
[2024-05-21 22:43:16] [INFO ] Flow matrix only has 63153 transitions (discarded 206 similar events)
// Phase 1: matrix 63153 rows 41186 cols
[2024-05-21 22:43:17] [INFO ] Computed 2415 invariants in 598 ms
[2024-05-21 22:43:18] [INFO ] State equation strengthened by 1 read => feed constraints.
SMT process timed out in 138887ms, After SMT, problems are : Problem set: 0 solved, 20289 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 20289 out of 41186 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 41186/41186 places, 63359/63359 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 207 transitions
Reduce isomorphic transitions removed 207 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7302 transitions
Trivial Post-agglo rules discarded 7302 transitions
Performed 7302 trivial Post agglomeration. Transition count delta: 7302
Iterating post reduction 0 with 7509 rules applied. Total rules applied 7509 place count 41186 transition count 55850
Reduce places removed 7302 places and 0 transitions.
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 1 with 7331 rules applied. Total rules applied 14840 place count 33884 transition count 55821
Reduce places removed 12 places and 0 transitions.
Performed 135 Post agglomeration using F-continuation condition.Transition count delta: 135
Iterating post reduction 2 with 147 rules applied. Total rules applied 14987 place count 33872 transition count 55686
Reduce places removed 135 places and 0 transitions.
Iterating post reduction 3 with 135 rules applied. Total rules applied 15122 place count 33737 transition count 55686
Performed 64 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 64 Pre rules applied. Total rules applied 15122 place count 33737 transition count 55622
Deduced a syphon composed of 64 places in 4228 ms
Reduce places removed 64 places and 0 transitions.
Iterating global reduction 4 with 128 rules applied. Total rules applied 15250 place count 33673 transition count 55622
Discarding 299 places :
Symmetric choice reduction at 4 with 299 rule applications. Total rules 15549 place count 33374 transition count 55323
Iterating global reduction 4 with 299 rules applied. Total rules applied 15848 place count 33374 transition count 55323
Performed 84 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 84 Pre rules applied. Total rules applied 15848 place count 33374 transition count 55239
Deduced a syphon composed of 84 places in 4332 ms
Reduce places removed 84 places and 0 transitions.
Iterating global reduction 4 with 168 rules applied. Total rules applied 16016 place count 33290 transition count 55239
Discarding 45 places :
Symmetric choice reduction at 4 with 45 rule applications. Total rules 16061 place count 33245 transition count 48781
Iterating global reduction 4 with 45 rules applied. Total rules applied 16106 place count 33245 transition count 48781
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 4 with 22 rules applied. Total rules applied 16128 place count 33245 transition count 48759
Performed 4784 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 4784 places in 19 ms
Reduce places removed 4784 places and 0 transitions.
Iterating global reduction 5 with 9568 rules applied. Total rules applied 25696 place count 28461 transition count 43970
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 25702 place count 28461 transition count 43964
Renaming transitions due to excessive name length > 1024 char.
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: -47
Deduced a syphon composed of 17 places in 17 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 6 with 34 rules applied. Total rules applied 25736 place count 28444 transition count 44011
Free-agglomeration rule applied 5392 times with reduction of 1132 identical transitions.
Iterating global reduction 6 with 5392 rules applied. Total rules applied 31128 place count 28444 transition count 37487
Reduce places removed 5392 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 157 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 159 transitions.
Iterating post reduction 6 with 5551 rules applied. Total rules applied 36679 place count 23052 transition count 37328
Discarding 19 places :
Symmetric choice reduction at 7 with 19 rule applications. Total rules 36698 place count 23033 transition count 37253
Iterating global reduction 7 with 19 rules applied. Total rules applied 36717 place count 23033 transition count 37253
Free-agglomeration rule (complex) applied 12 times.
Iterating global reduction 7 with 12 rules applied. Total rules applied 36729 place count 23033 transition count 39446
Reduce places removed 12 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 87 transitions
Reduce isomorphic transitions removed 87 transitions.
Iterating post reduction 7 with 99 rules applied. Total rules applied 36828 place count 23021 transition count 39359
Discarding 7 places :
Symmetric choice reduction at 8 with 7 rule applications. Total rules 36835 place count 23014 transition count 38115
Iterating global reduction 8 with 7 rules applied. Total rules applied 36842 place count 23014 transition count 38115
Ensure Unique test removed 1108 transitions
Reduce isomorphic transitions removed 1108 transitions.
Iterating post reduction 8 with 1108 rules applied. Total rules applied 37950 place count 23014 transition count 37007
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 9 with 4 rules applied. Total rules applied 37954 place count 23014 transition count 37007
Partial Post-agglomeration rule applied 4 times.
Drop transitions (Partial Post agglomeration) removed 4 transitions
Iterating global reduction 9 with 4 rules applied. Total rules applied 37958 place count 23014 transition count 37007
Applied a total of 37958 rules in 53424 ms. Remains 23014 /41186 variables (removed 18172) and now considering 37007/63359 (removed 26352) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 53450 ms. Remains : 23014/41186 places, 37007/63359 transitions.
RANDOM walk for 568542 steps (0 resets) in 120004 ms. (4 steps per ms) remains 459/20289 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2393 ms. (16 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2233 ms. (17 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2698 ms. (14 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1779 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1864 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1788 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1778 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1774 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1851 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1765 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1865 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1794 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1878 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1779 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1876 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1770 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1886 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1773 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1879 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1773 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1897 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1783 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2082 ms. (19 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1772 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2304 ms. (17 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1789 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1861 ms. (21 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2288 ms. (17 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2151 ms. (18 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2564 ms. (15 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2716 ms. (14 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2784 ms. (14 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2550 ms. (15 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2226 ms. (17 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2184 ms. (18 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2397 ms. (16 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2205 ms. (18 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1974 ms. (20 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2006 ms. (19 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2120 ms. (18 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1767 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1777 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2116 ms. (18 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1977 ms. (20 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1768 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1763 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1769 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 2079 ms. (19 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1767 ms. (22 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (0 resets) in 1766 ms. (22 steps per ms) remains 459/459 properties
[2024-05-21 22:47:25] [INFO ] Flow matrix only has 35846 transitions (discarded 1161 similar events)
// Phase 1: matrix 35846 rows 23014 cols
[2024-05-21 22:47:25] [INFO ] Computed 2396 invariants in 149 ms
[2024-05-21 22:47:25] [INFO ] State equation strengthened by 2653 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/459 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 459 unsolved
At refinement iteration 1 (OVERLAPS) 2909/3368 variables, 245/245 constraints. Problems are: Problem set: 0 solved, 459 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3368/58860 variables, and 245 constraints, problems are : Problem set: 0 solved, 459 unsolved in 45032 ms.
Refiners :[Positive P Invariants (semi-flows): 245/2396 constraints, State Equation: 0/23014 constraints, ReadFeed: 0/2653 constraints, PredecessorRefiner: 459/459 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 459 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/459 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 459 unsolved
At refinement iteration 1 (OVERLAPS) 2909/3368 variables, 245/245 constraints. Problems are: Problem set: 0 solved, 459 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3368/58860 variables, and 245 constraints, problems are : Problem set: 0 solved, 459 unsolved in 45530 ms.
Refiners :[Positive P Invariants (semi-flows): 245/2396 constraints, State Equation: 0/23014 constraints, ReadFeed: 0/2653 constraints, PredecessorRefiner: 0/459 constraints, Known Traps: 0/0 constraints]
After SMT, in 92931ms problems are : Problem set: 0 solved, 459 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 459 out of 23014 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 23014/23014 places, 37007/37007 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12865 transitions
Trivial Post-agglo rules discarded 12865 transitions
Performed 12865 trivial Post agglomeration. Transition count delta: 12865
Iterating post reduction 0 with 12865 rules applied. Total rules applied 12865 place count 23014 transition count 24142
Reduce places removed 12865 places and 0 transitions.
Ensure Unique test removed 534 transitions
Reduce isomorphic transitions removed 534 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 522 transitions
Trivial Post-agglo rules discarded 522 transitions
Performed 522 trivial Post agglomeration. Transition count delta: 522
Iterating post reduction 1 with 13921 rules applied. Total rules applied 26786 place count 10149 transition count 23086
Reduce places removed 522 places and 0 transitions.
Ensure Unique test removed 167 transitions
Reduce isomorphic transitions removed 167 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 167 transitions
Trivial Post-agglo rules discarded 167 transitions
Performed 167 trivial Post agglomeration. Transition count delta: 167
Iterating post reduction 2 with 856 rules applied. Total rules applied 27642 place count 9627 transition count 22752
Reduce places removed 167 places and 0 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 3 with 183 rules applied. Total rules applied 27825 place count 9460 transition count 22736
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 4 with 16 rules applied. Total rules applied 27841 place count 9444 transition count 22736
Performed 195 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 195 Pre rules applied. Total rules applied 27841 place count 9444 transition count 22541
Deduced a syphon composed of 195 places in 5 ms
Reduce places removed 195 places and 0 transitions.
Iterating global reduction 5 with 390 rules applied. Total rules applied 28231 place count 9249 transition count 22541
Discarding 2748 places :
Symmetric choice reduction at 5 with 2748 rule applications. Total rules 30979 place count 6501 transition count 19789
Iterating global reduction 5 with 2748 rules applied. Total rules applied 33727 place count 6501 transition count 19789
Ensure Unique test removed 2928 transitions
Reduce isomorphic transitions removed 2928 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 5 with 2930 rules applied. Total rules applied 36657 place count 6501 transition count 16859
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 36659 place count 6499 transition count 16859
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 5 Pre rules applied. Total rules applied 36659 place count 6499 transition count 16854
Deduced a syphon composed of 5 places in 3 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 7 with 10 rules applied. Total rules applied 36669 place count 6494 transition count 16854
Performed 2683 Post agglomeration using F-continuation condition with reduction of 700 identical transitions.
Deduced a syphon composed of 2683 places in 4 ms
Reduce places removed 2683 places and 0 transitions.
Iterating global reduction 7 with 5366 rules applied. Total rules applied 42035 place count 3811 transition count 13471
Drop transitions (Empty/Sink Transition effects.) removed 5274 transitions
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 5280 transitions.
Graph (complete) has 10451 edges and 3811 vertex of which 2069 are kept as prefixes of interest. Removing 1742 places using SCC suffix rule.7 ms
Discarding 1742 places :
Also discarding 2576 output transitions
Drop transitions (Output transitions of discarded places.) removed 2576 transitions
Iterating post reduction 7 with 5281 rules applied. Total rules applied 47316 place count 2069 transition count 5615
Drop transitions (Empty/Sink Transition effects.) removed 1122 transitions
Reduce isomorphic transitions removed 1122 transitions.
Iterating post reduction 8 with 1122 rules applied. Total rules applied 48438 place count 2069 transition count 4493
Discarding 882 places :
Symmetric choice reduction at 9 with 882 rule applications. Total rules 49320 place count 1187 transition count 1984
Iterating global reduction 9 with 882 rules applied. Total rules applied 50202 place count 1187 transition count 1984
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 50210 place count 1183 transition count 1980
Drop transitions (Empty/Sink Transition effects.) removed 144 transitions
Reduce isomorphic transitions removed 144 transitions.
Iterating post reduction 9 with 144 rules applied. Total rules applied 50354 place count 1183 transition count 1836
Performed 101 Post agglomeration using F-continuation condition with reduction of 108 identical transitions.
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 50556 place count 1082 transition count 2236
Drop transitions (Empty/Sink Transition effects.) removed 390 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 392 transitions.
Iterating post reduction 10 with 392 rules applied. Total rules applied 50948 place count 1082 transition count 1844
Discarding 16 places :
Symmetric choice reduction at 11 with 16 rule applications. Total rules 50964 place count 1066 transition count 1810
Iterating global reduction 11 with 16 rules applied. Total rules applied 50980 place count 1066 transition count 1810
Ensure Unique test removed 96 transitions
Reduce isomorphic transitions removed 96 transitions.
Iterating post reduction 11 with 96 rules applied. Total rules applied 51076 place count 1066 transition count 1714
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 12 with 14 rules applied. Total rules applied 51090 place count 1059 transition count 1744
Drop transitions (Empty/Sink Transition effects.) removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 12 with 34 rules applied. Total rules applied 51124 place count 1059 transition count 1710
Discarding 1 places :
Symmetric choice reduction at 13 with 1 rule applications. Total rules 51125 place count 1058 transition count 1707
Iterating global reduction 13 with 1 rules applied. Total rules applied 51126 place count 1058 transition count 1707
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 13 with 6 rules applied. Total rules applied 51132 place count 1058 transition count 1701
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 14 with 21 rules applied. Total rules applied 51153 place count 1058 transition count 1680
Free-agglomeration rule applied 6 times.
Iterating global reduction 14 with 6 rules applied. Total rules applied 51159 place count 1058 transition count 1674
Reduce places removed 6 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 180 transitions
Reduce isomorphic transitions removed 180 transitions.
Iterating post reduction 14 with 186 rules applied. Total rules applied 51345 place count 1052 transition count 1494
Discarding 1 places :
Symmetric choice reduction at 15 with 1 rule applications. Total rules 51346 place count 1051 transition count 1491
Iterating global reduction 15 with 1 rules applied. Total rules applied 51347 place count 1051 transition count 1491
Ensure Unique test removed 36 transitions
Reduce isomorphic transitions removed 36 transitions.
Iterating post reduction 15 with 36 rules applied. Total rules applied 51383 place count 1051 transition count 1455
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 16 with 8 rules applied. Total rules applied 51391 place count 1047 transition count 1451
Drop transitions (Empty/Sink Transition effects.) removed 144 transitions
Reduce isomorphic transitions removed 144 transitions.
Graph (complete) has 2144 edges and 1047 vertex of which 1043 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.1 ms
Discarding 4 places :
Also discarding 0 output transitions
Iterating post reduction 16 with 145 rules applied. Total rules applied 51536 place count 1043 transition count 1307
Discarding 140 places :
Symmetric choice reduction at 17 with 140 rule applications. Total rules 51676 place count 903 transition count 1031
Iterating global reduction 17 with 140 rules applied. Total rules applied 51816 place count 903 transition count 1031
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 17 with 2 rules applied. Total rules applied 51818 place count 903 transition count 1029
Applied a total of 51818 rules in 4839 ms. Remains 903 /23014 variables (removed 22111) and now considering 1029/37007 (removed 35978) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4839 ms. Remains : 903/23014 places, 1029/37007 transitions.
RANDOM walk for 19816 steps (0 resets) in 2155 ms. (9 steps per ms) remains 0/459 properties
Able to resolve query StableMarking after proving 21938 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK MARKED_SUFFIX_TEST TRIVIAL_UNMARKED_SCC_TEST TOPOLOGICAL
Total runtime 378731 ms.
ITS solved all properties within timeout
BK_STOP 1716331743715
--------------------
content from stderr:
+ 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-6b"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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 greatspnxred"
echo " Input is DLCshifumi-PT-6b, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r122-smll-171624283400228"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-6b.tgz
mv DLCshifumi-PT-6b execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;