About the Execution of Marcie+red for TCPcondis-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5684.787 | 14476.00 | 18425.00 | 301.30 | TTFFFTFTTTFFFTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r490-tall-167912708700497.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marciexred
Input is TCPcondis-PT-05, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r490-tall-167912708700497
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.2K Feb 26 16:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 16:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 16:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 16:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Jan 29 11:41 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 26 16:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 16:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 16:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 24K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-00
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-01
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-02
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-03
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-04
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-05
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-06
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-07
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-08
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-09
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-10
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-11
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-12
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-13
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-14
FORMULA_NAME TCPcondis-PT-05-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1679272918898
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marciexred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=TCPcondis-PT-05
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-20 00:42:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-20 00:42:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 00:42:00] [WARNING] Skipping unknown tool specific annotation : Tina
[2023-03-20 00:42:00] [WARNING] Unknown XML tag in source file: size
[2023-03-20 00:42:00] [WARNING] Unknown XML tag in source file: color
[2023-03-20 00:42:00] [INFO ] Load time of PNML (sax parser for PT used): 26 ms
[2023-03-20 00:42:00] [INFO ] Transformed 30 places.
[2023-03-20 00:42:00] [INFO ] Transformed 32 transitions.
[2023-03-20 00:42:00] [INFO ] Parsed PT model containing 30 places and 32 transitions and 108 arcs in 82 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 11 ms.
Support contains 30 out of 30 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 8 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
// Phase 1: matrix 32 rows 30 cols
[2023-03-20 00:42:00] [INFO ] Computed 9 place invariants in 8 ms
[2023-03-20 00:42:00] [INFO ] Implicit Places using invariants in 140 ms returned []
[2023-03-20 00:42:00] [INFO ] Invariant cache hit.
[2023-03-20 00:42:00] [INFO ] Implicit Places using invariants and state equation in 55 ms returned []
Implicit Place search using SMT with State Equation took 220 ms to find 0 implicit places.
[2023-03-20 00:42:00] [INFO ] Invariant cache hit.
[2023-03-20 00:42:00] [INFO ] Dead Transitions using invariants and state equation in 47 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 276 ms. Remains : 30/30 places, 32/32 transitions.
Support contains 30 out of 30 places after structural reductions.
[2023-03-20 00:42:00] [INFO ] Flatten gal took : 19 ms
[2023-03-20 00:42:01] [INFO ] Flatten gal took : 7 ms
[2023-03-20 00:42:01] [INFO ] Input system was already deterministic with 32 transitions.
Support contains 29 out of 30 places (down from 30) after GAL structural reductions.
Incomplete random walk after 10002 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=46 ) properties (out of 68) seen :58
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=131 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=140 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=140 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=137 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=126 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=120 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 10) seen :0
Running SMT prover for 10 properties.
[2023-03-20 00:42:01] [INFO ] Invariant cache hit.
[2023-03-20 00:42:01] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned sat
[2023-03-20 00:42:01] [INFO ] [Real]Absence check using 3 positive and 6 generalized place invariants in 2 ms returned sat
[2023-03-20 00:42:01] [INFO ] After 63ms SMT Verify possible using all constraints in real domain returned unsat :10 sat :0
Fused 10 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 0 ms.
Successfully simplified 10 atomic propositions for a total of 16 simplifications.
[2023-03-20 00:42:01] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2023-03-20 00:42:01] [INFO ] Flatten gal took : 5 ms
[2023-03-20 00:42:01] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA TCPcondis-PT-05-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TCPcondis-PT-05-CTLCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TCPcondis-PT-05-CTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-20 00:42:01] [INFO ] Flatten gal took : 4 ms
[2023-03-20 00:42:01] [INFO ] Input system was already deterministic with 32 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 6 place count 27 transition count 29
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 26 transition count 28
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 26 transition count 28
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 0 with 2 rules applied. Total rules applied 10 place count 26 transition count 26
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 10 place count 26 transition count 24
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 14 place count 24 transition count 24
Applied a total of 14 rules in 12 ms. Remains 24 /30 variables (removed 6) and now considering 24/32 (removed 8) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 12 ms. Remains : 24/30 places, 24/32 transitions.
[2023-03-20 00:42:01] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:01] [INFO ] Flatten gal took : 3 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 24 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 1 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 3 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 3 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 1 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 0 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 0 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 0 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 0 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 6 place count 27 transition count 29
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 26 transition count 28
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 26 transition count 28
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 9 place count 26 transition count 27
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 9 place count 26 transition count 26
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 11 place count 25 transition count 26
Applied a total of 11 rules in 4 ms. Remains 25 /30 variables (removed 5) and now considering 26/32 (removed 6) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 4 ms. Remains : 25/30 places, 26/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 1 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 1 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 26 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 6 place count 27 transition count 29
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 26 transition count 28
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 26 transition count 28
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 0 with 2 rules applied. Total rules applied 10 place count 26 transition count 26
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 10 place count 26 transition count 24
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 14 place count 24 transition count 24
Applied a total of 14 rules in 4 ms. Remains 24 /30 variables (removed 6) and now considering 24/32 (removed 8) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 4 ms. Remains : 24/30 places, 24/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 1 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 24 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 30/30 places, 32/32 transitions.
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 0 with 8 rules applied. Total rules applied 8 place count 26 transition count 28
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 25 transition count 27
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 25 transition count 27
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 0 with 2 rules applied. Total rules applied 12 place count 25 transition count 25
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 12 place count 25 transition count 23
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 16 place count 23 transition count 23
Applied a total of 16 rules in 4 ms. Remains 23 /30 variables (removed 7) and now considering 23/32 (removed 9) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 4 ms. Remains : 23/30 places, 23/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 1 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 23 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 1 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 0 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 0 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 0 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 0 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 0 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 0 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 1 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 1 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
Starting structural reductions in LTL mode, iteration 0 : 30/30 places, 32/32 transitions.
Applied a total of 0 rules in 0 ms. Remains 30 /30 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 0 ms. Remains : 30/30 places, 32/32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Input system was already deterministic with 32 transitions.
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 3 ms
[2023-03-20 00:42:02] [INFO ] Flatten gal took : 2 ms
[2023-03-20 00:42:02] [INFO ] Export to MCC of 13 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 2 ms.
[2023-03-20 00:42:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 30 places, 32 transitions and 108 arcs took 1 ms.
Total runtime 1890 ms.
There are residual formulas that ITS could not solve within timeout
timeout --kill-after=10s --signal=SIGINT 1m for testing only
Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: /home/mcc/BenchKit/bin//../reducer/bin//../../marcie/bin/marcie --net-file=model.pnml --mcc-file=CTLCardinality.xml --memory=6 --mcc-mode
parse successfull
net created successfully
Net: Petri
(NrP: 30 NrTr: 32 NrArc: 108)
parse formulas
formulas created successfully
place and transition orderings generation:0m 0.000sec
net check time: 0m 0.000sec
init dd package: 0m 2.746sec
RS generation: 0m 0.288sec
-> reachability set: #nodes 10669 (1.1e+04) #states 2,985,834 (6)
starting MCC model checker
--------------------------
checking: AF [AX [1<=0]]
normalized: ~ [EG [EX [~ [1<=0]]]]
abstracting: (1<=0)
states: 0
.
EG iterations: 0
-> the formula is FALSE
FORMULA TCPcondis-PT-05-CTLCardinality-10 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.107sec
checking: EG [p17<=0]
normalized: EG [p17<=0]
abstracting: (p17<=0)
states: 1,757,357 (6)
.
EG iterations: 1
-> the formula is TRUE
FORMULA TCPcondis-PT-05-CTLCardinality-07 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.027sec
checking: AF [AX [~ [p28<=p29]]]
normalized: ~ [EG [EX [p28<=p29]]]
abstracting: (p28<=p29)
states: 2,065,010 (6)
..
EG iterations: 1
-> the formula is FALSE
FORMULA TCPcondis-PT-05-CTLCardinality-04 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.060sec
checking: AF [AX [AG [~ [p21<=p12]]]]
normalized: ~ [EG [EX [E [true U p21<=p12]]]]
abstracting: (p21<=p12)
states: 2,068,071 (6)
.
EG iterations: 0
-> the formula is FALSE
FORMULA TCPcondis-PT-05-CTLCardinality-15 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.067sec
checking: EG [[~ [p12<=1] | [4<=p22 | p8<=1]]]
normalized: EG [[[4<=p22 | p8<=1] | ~ [p12<=1]]]
abstracting: (p12<=1)
states: 2,740,055 (6)
abstracting: (p8<=1)
states: 2,607,252 (6)
abstracting: (4<=p22)
states: 1,221 (3)
.
EG iterations: 1
-> the formula is TRUE
FORMULA TCPcondis-PT-05-CTLCardinality-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.062sec
checking: E [p18<=p29 U ~ [EX [AF [EG [p22<=p27]]]]]
normalized: E [p18<=p29 U ~ [EX [~ [EG [~ [EG [p22<=p27]]]]]]]
abstracting: (p22<=p27)
states: 2,263,238 (6)
.
EG iterations: 1
.
EG iterations: 1
.abstracting: (p18<=p29)
states: 2,346,532 (6)
-> the formula is FALSE
FORMULA TCPcondis-PT-05-CTLCardinality-02 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.332sec
checking: AX [EG [AF [~ [A [p5<=p0 U p14<=p21]]]]]
normalized: ~ [EX [~ [EG [~ [EG [[~ [EG [~ [p14<=p21]]] & ~ [E [~ [p14<=p21] U [~ [p5<=p0] & ~ [p14<=p21]]]]]]]]]]]
abstracting: (p14<=p21)
states: 2,351,591 (6)
abstracting: (p5<=p0)
states: 1,495,496 (6)
abstracting: (p14<=p21)
states: 2,351,591 (6)
abstracting: (p14<=p21)
states: 2,351,591 (6)
.
EG iterations: 1
...........................
EG iterations: 27
.
EG iterations: 1
.-> the formula is FALSE
FORMULA TCPcondis-PT-05-CTLCardinality-03 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.407sec
checking: AF [[E [AF [~ [[p28<=0 & p25<=p13]]] U EG [AF [3<=p26]]] | EF [EG [[AF [3<=p19] & A [3<=p2 U p9<=2]]]]]]
normalized: ~ [EG [~ [[E [true U EG [[[~ [EG [~ [p9<=2]]] & ~ [E [~ [p9<=2] U [~ [3<=p2] & ~ [p9<=2]]]]] & ~ [EG [~ [3<=p19]]]]]] | E [~ [EG [[p28<=0 & p25<=p13]]] U EG [~ [EG [~ [3<=p26]]]]]]]]]
abstracting: (3<=p26)
states: 33,413 (4)
.
EG iterations: 1
...............
EG iterations: 15
abstracting: (p25<=p13)
states: 2,294,649 (6)
abstracting: (p28<=0)
states: 1,814,355 (6)
.
EG iterations: 1
abstracting: (3<=p19)
states: 97,548 (4)
.
EG iterations: 1
abstracting: (p9<=2)
states: 2,942,400 (6)
abstracting: (3<=p2)
states: 83,814 (4)
abstracting: (p9<=2)
states: 2,942,400 (6)
abstracting: (p9<=2)
states: 2,942,400 (6)
.
EG iterations: 1
.
EG iterations: 1
.
EG iterations: 1
-> the formula is TRUE
FORMULA TCPcondis-PT-05-CTLCardinality-05 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.331sec
checking: [AF [[5<=p26 | p1<=p5]] & AF [EG [[E [[p26<=4 & 4<=p25] U EF [2<=p8]] & 5<=p10]]]]
normalized: [~ [EG [~ [EG [[5<=p10 & E [[p26<=4 & 4<=p25] U E [true U 2<=p8]]]]]]] & ~ [EG [~ [[5<=p26 | p1<=p5]]]]]
abstracting: (p1<=p5)
states: 2,718,327 (6)
abstracting: (5<=p26)
states: 56
.....................
EG iterations: 21
abstracting: (2<=p8)
states: 378,582 (5)
abstracting: (4<=p25)
states: 8,059 (3)
abstracting: (p26<=4)
states: 2,985,778 (6)
abstracting: (5<=p10)
states: 462
...........................
EG iterations: 27
EG iterations: 0
-> the formula is FALSE
FORMULA TCPcondis-PT-05-CTLCardinality-06 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.380sec
checking: A [[AG [AX [[EG [5<=p13] & EX [p3<=p6]]]] | [~ [[p10<=p0 & AF [~ [p29<=1]]]] | EF [EX [EG [p17<=p15]]]]] U AG [AF [p4<=0]]]
normalized: [~ [EG [E [true U EG [~ [p4<=0]]]]] & ~ [E [E [true U EG [~ [p4<=0]]] U [~ [[[E [true U EX [EG [p17<=p15]]] | ~ [[p10<=p0 & ~ [EG [p29<=1]]]]] | ~ [E [true U EX [~ [[EX [p3<=p6] & EG [5<=p13]]]]]]]] & E [true U EG [~ [p4<=0]]]]]]]
abstracting: (p4<=0)
states: 1,470,049 (6)
.
EG iterations: 1
abstracting: (5<=p13)
states: 462
...........................
EG iterations: 27
abstracting: (p3<=p6)
states: 2,382,056 (6)
..abstracting: (p29<=1)
states: 2,746,318 (6)
.
EG iterations: 1
abstracting: (p10<=p0)
states: 2,065,010 (6)
abstracting: (p17<=p15)
states: 2,021,131 (6)
.
EG iterations: 1
.abstracting: (p4<=0)
states: 1,470,049 (6)
.
EG iterations: 1
abstracting: (p4<=0)
states: 1,470,049 (6)
.
EG iterations: 1
EG iterations: 0
-> the formula is FALSE
FORMULA TCPcondis-PT-05-CTLCardinality-11 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.251sec
checking: [EF [[AX [[p5<=p21 & EG [~ [p17<=p2]]]] & ~ [p12<=p19]]] & A [~ [[3<=p2 & [p8<=5 | ~ [p2<=p21]]]] U EF [[[p0<=4 | p16<=2] & 2<=p25]]]]
normalized: [[~ [EG [~ [E [true U [2<=p25 & [p0<=4 | p16<=2]]]]]] & ~ [E [~ [E [true U [2<=p25 & [p0<=4 | p16<=2]]]] U [[3<=p2 & [p8<=5 | ~ [p2<=p21]]] & ~ [E [true U [2<=p25 & [p0<=4 | p16<=2]]]]]]]] & E [true U [~ [p12<=p19] & ~ [EX [~ [[p5<=p21 & EG [~ [p17<=p2]]]]]]]]]
abstracting: (p17<=p2)
states: 2,139,188 (6)
.
EG iterations: 1
abstracting: (p5<=p21)
states: 1,717,252 (6)
.abstracting: (p12<=p19)
states: 2,399,550 (6)
abstracting: (p16<=2)
states: 2,976,381 (6)
abstracting: (p0<=4)
states: 2,985,582 (6)
abstracting: (2<=p25)
states: 326,980 (5)
abstracting: (p2<=p21)
states: 2,187,475 (6)
abstracting: (p8<=5)
states: 2,985,834 (6)
abstracting: (3<=p2)
states: 83,814 (4)
abstracting: (p16<=2)
states: 2,976,381 (6)
abstracting: (p0<=4)
states: 2,985,582 (6)
abstracting: (2<=p25)
states: 326,980 (5)
abstracting: (p16<=2)
states: 2,976,381 (6)
abstracting: (p0<=4)
states: 2,985,582 (6)
abstracting: (2<=p25)
states: 326,980 (5)
.
EG iterations: 1
-> the formula is TRUE
FORMULA TCPcondis-PT-05-CTLCardinality-13 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.497sec
checking: [E [~ [p24<=p25] U [AG [[2<=p7 | 1<=p8]] | [EF [3<=p2] | 1<=p4]]] & E [E [A [p16<=p10 U E [p8<=p0 U 3<=p27]] U EX [A [p22<=0 U p16<=p2]]] U ~ [p26<=1]]]
normalized: [E [E [[~ [EG [~ [E [p8<=p0 U 3<=p27]]]] & ~ [E [~ [E [p8<=p0 U 3<=p27]] U [~ [p16<=p10] & ~ [E [p8<=p0 U 3<=p27]]]]]] U EX [[~ [EG [~ [p16<=p2]]] & ~ [E [~ [p16<=p2] U [~ [p22<=0] & ~ [p16<=p2]]]]]]] U ~ [p26<=1]] & E [~ [p24<=p25] U [[1<=p4 | E [true U 3<=p2]] | ~ [E [true U ~ [[2<=p7 | 1<=p8]]]]]]]
abstracting: (1<=p8)
states: 1,228,476 (6)
abstracting: (2<=p7)
states: 195,598 (5)
abstracting: (3<=p2)
states: 83,814 (4)
abstracting: (1<=p4)
states: 1,515,785 (6)
abstracting: (p24<=p25)
states: 2,288,784 (6)
abstracting: (p26<=1)
states: 2,740,055 (6)
abstracting: (p16<=p2)
states: 2,493,664 (6)
abstracting: (p22<=0)
states: 2,015,672 (6)
abstracting: (p16<=p2)
states: 2,493,664 (6)
abstracting: (p16<=p2)
states: 2,493,664 (6)
.
EG iterations: 1
.abstracting: (3<=p27)
states: 33,413 (4)
abstracting: (p8<=p0)
states: 2,021,132 (6)
abstracting: (p16<=p10)
states: 2,495,446 (6)
abstracting: (3<=p27)
states: 33,413 (4)
abstracting: (p8<=p0)
states: 2,021,132 (6)
abstracting: (3<=p27)
states: 33,413 (4)
abstracting: (p8<=p0)
states: 2,021,132 (6)
.........................................
EG iterations: 41
-> the formula is TRUE
FORMULA TCPcondis-PT-05-CTLCardinality-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 1.445sec
checking: A [EX [[[EG [p28<=0] | ~ [p4<=p27]] | [A [~ [p1<=p24] U [4<=p1 | p24<=p23]] | [A [[p20<=p26 & p22<=p26] U [p8<=p19 | p15<=p7]] & [AX [p19<=2] | [EF [1<=p16] | [p0<=1 & p24<=p28]]]]]]] U ~ [[p18<=p24 & ~ [E [[4<=p23 & [p19<=p1 & p1<=5]] U ~ [EX [4<=p0]]]]]]]
normalized: [~ [EG [[p18<=p24 & ~ [E [[4<=p23 & [p19<=p1 & p1<=5]] U ~ [EX [4<=p0]]]]]]] & ~ [E [[p18<=p24 & ~ [E [[4<=p23 & [p19<=p1 & p1<=5]] U ~ [EX [4<=p0]]]]] U [~ [EX [[[[[[[p0<=1 & p24<=p28] | E [true U 1<=p16]] | ~ [EX [~ [p19<=2]]]] & [~ [EG [~ [[p8<=p19 | p15<=p7]]]] & ~ [E [~ [[p8<=p19 | p15<=p7]] U [~ [[p20<=p26 & p22<=p26]] & ~ [[p8<=p19 | p15<=p7]]]]]]] | [~ [EG [~ [[4<=p1 | p24<=p23]]]] & ~ [E [~ [[4<=p1 | p24<=p23]] U [p1<=p24 & ~ [[4<=p1 | p24<=p23]]]]]]] | [~ [p4<=p27] | EG [p28<=0]]]]] & [p18<=p24 & ~ [E [[4<=p23 & [p19<=p1 & p1<=5]] U ~ [EX [4<=p0]]]]]]]]]
abstracting: (4<=p0)
states: 4,907 (3)
.abstracting: (p1<=5)
states: 2,985,834 (6)
abstracting: (p19<=p1)
states: 1,710,477 (6)
abstracting: (4<=p23)
states: 11,892 (4)
abstracting: (p18<=p24)
states: 2,346,532 (6)
abstracting: (p28<=0)
states: 1,814,355 (6)
.
EG iterations: 1
abstracting: (p4<=p27)
states: 1,907,268 (6)
abstracting: (p24<=p23)
states: 2,309,323 (6)
abstracting: (4<=p1)
states: 411
abstracting: (p1<=p24)
states: 2,453,764 (6)
abstracting: (p24<=p23)
states: 2,309,323 (6)
abstracting: (4<=p1)
states: 411
abstracting: (p24<=p23)
states: 2,309,323 (6)
abstracting: (4<=p1)
states: 411
..........
EG iterations: 10
abstracting: (p15<=p7)
states: 2,272,517 (6)
abstracting: (p8<=p19)
states: 2,198,405 (6)
abstracting: (p22<=p26)
states: 2,321,122 (6)
abstracting: (p20<=p26)
states: 1,534,514 (6)
abstracting: (p15<=p7)
states: 2,272,517 (6)
abstracting: (p8<=p19)
states: 2,198,405 (6)
abstracting: (p15<=p7)
states: 2,272,517 (6)
abstracting: (p8<=p19)
states: 2,198,405 (6)
..............................................................
EG iterations: 62
abstracting: (p19<=2)
states: 2,888,286 (6)
.abstracting: (1<=p16)
states: 730,255 (5)
abstracting: (p24<=p28)
states: 2,288,784 (6)
abstracting: (p0<=1)
states: 2,746,318 (6)
.abstracting: (4<=p0)
states: 4,907 (3)
.abstracting: (p1<=5)
states: 2,985,834 (6)
abstracting: (p19<=p1)
states: 1,710,477 (6)
abstracting: (4<=p23)
states: 11,892 (4)
abstracting: (p18<=p24)
states: 2,346,532 (6)
abstracting: (4<=p0)
states: 4,907 (3)
.abstracting: (p1<=5)
states: 2,985,834 (6)
abstracting: (p19<=p1)
states: 1,710,477 (6)
abstracting: (4<=p23)
states: 11,892 (4)
abstracting: (p18<=p24)
states: 2,346,532 (6)
...........
EG iterations: 11
-> the formula is FALSE
FORMULA TCPcondis-PT-05-CTLCardinality-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 1.369sec
totally nodes used: 2509671 (2.5e+06)
number of garbage collections: 0
fire ops cache: hits/miss/sum: 9807413 9832102 19639515
used/not used/entry size/cache size: 11045304 56063560 16 1024MB
basic ops cache: hits/miss/sum: 2091821 2282785 4374606
used/not used/entry size/cache size: 3271593 13505623 12 192MB
unary ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 16777216 8 128MB
abstract ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 16777216 12 192MB
state nr cache: hits/miss/sum: 169035 174954 343989
used/not used/entry size/cache size: 173179 8215429 32 256MB
max state cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 8388608 32 256MB
uniqueHash elements/entry size/size: 67108864 4 256MB
0 64829634
1 2132200
2 117988
3 15711
4 5017
5 2204
6 1745
7 998
8 740
9 438
>= 10 2189
Total processing time: 0m10.274sec
BK_STOP 1679272933374
--------------------
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:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
check for maximal unmarked siphon
ok
check for constant places
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok
initing FirstDep: 0m 0.000sec
iterations count:3028 (94), effective:408 (12)
initing FirstDep: 0m 0.000sec
iterations count:127 (3), effective:15 (0)
iterations count:1610 (50), effective:214 (6)
iterations count:376 (11), effective:44 (1)
iterations count:1657 (51), effective:249 (7)
iterations count:32 (1), effective:0 (0)
iterations count:1769 (55), effective:234 (7)
iterations count:1346 (42), effective:169 (5)
iterations count:32 (1), effective:0 (0)
iterations count:267 (8), effective:33 (1)
iterations count:32 (1), effective:0 (0)
iterations count:185 (5), effective:21 (0)
iterations count:267 (8), effective:33 (1)
iterations count:267 (8), effective:33 (1)
iterations count:2790 (87), effective:399 (12)
iterations count:722 (22), effective:96 (3)
iterations count:722 (22), effective:96 (3)
iterations count:722 (22), effective:96 (3)
iterations count:239 (7), effective:28 (0)
iterations count:2143 (66), effective:291 (9)
iterations count:32 (1), effective:0 (0)
iterations count:289 (9), effective:37 (1)
iterations count:1870 (58), effective:266 (8)
iterations count:1870 (58), effective:266 (8)
iterations count:1213 (37), effective:141 (4)
iterations count:1870 (58), effective:266 (8)
iterations count:36 (1), effective:4 (0)
iterations count:1439 (44), effective:222 (6)
iterations count:77 (2), effective:4 (0)
iterations count:38 (1), effective:2 (0)
iterations count:269 (8), effective:28 (0)
iterations count:561 (17), effective:72 (2)
iterations count:77 (2), effective:4 (0)
iterations count:1641 (51), effective:198 (6)
iterations count:77 (2), effective:4 (0)
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="TCPcondis-PT-05"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="marciexred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marciexred"
echo " Input is TCPcondis-PT-05, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r490-tall-167912708700497"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TCPcondis-PT-05.tgz
mv TCPcondis-PT-05 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;