About the Execution of Marcie+red for NoC3x3-PT-4A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10050.188 | 3600000.00 | 3630910.00 | 8881.60 | ???FTTF?T??T???? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r266-smll-167863540700273.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 NoC3x3-PT-4A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r266-smll-167863540700273
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 10:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 10:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 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
-rw-r--r-- 1 mcc users 144K 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 NoC3x3-PT-4A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678946411487
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=NoC3x3-PT-4A
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-16 06:00:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-16 06:00:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 06:00:14] [INFO ] Load time of PNML (sax parser for PT used): 143 ms
[2023-03-16 06:00:14] [INFO ] Transformed 293 places.
[2023-03-16 06:00:14] [INFO ] Transformed 608 transitions.
[2023-03-16 06:00:14] [INFO ] Found NUPN structural information;
[2023-03-16 06:00:14] [INFO ] Parsed PT model containing 293 places and 608 transitions and 1905 arcs in 263 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 15 ms.
Ensure Unique test removed 155 transitions
Reduce redundant transitions removed 155 transitions.
Initial state reduction rules removed 1 formulas.
FORMULA NoC3x3-PT-4A-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 91 out of 293 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 293/293 places, 453/453 transitions.
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 35 place count 258 transition count 397
Iterating global reduction 0 with 35 rules applied. Total rules applied 70 place count 258 transition count 397
Drop transitions removed 51 transitions
Redundant transition composition rules discarded 51 transitions
Iterating global reduction 0 with 51 rules applied. Total rules applied 121 place count 258 transition count 346
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 126 place count 253 transition count 346
Applied a total of 126 rules in 62 ms. Remains 253 /293 variables (removed 40) and now considering 346/453 (removed 107) transitions.
// Phase 1: matrix 346 rows 253 cols
[2023-03-16 06:00:14] [INFO ] Computed 61 place invariants in 25 ms
[2023-03-16 06:00:15] [INFO ] Implicit Places using invariants in 452 ms returned []
[2023-03-16 06:00:15] [INFO ] Invariant cache hit.
[2023-03-16 06:00:15] [INFO ] Implicit Places using invariants and state equation in 494 ms returned []
Implicit Place search using SMT with State Equation took 990 ms to find 0 implicit places.
[2023-03-16 06:00:15] [INFO ] Invariant cache hit.
[2023-03-16 06:00:15] [INFO ] Dead Transitions using invariants and state equation in 318 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 253/293 places, 346/453 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1373 ms. Remains : 253/293 places, 346/453 transitions.
Support contains 91 out of 253 places after structural reductions.
[2023-03-16 06:00:16] [INFO ] Flatten gal took : 90 ms
[2023-03-16 06:00:16] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA NoC3x3-PT-4A-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-16 06:00:16] [INFO ] Flatten gal took : 39 ms
[2023-03-16 06:00:16] [INFO ] Input system was already deterministic with 346 transitions.
Support contains 83 out of 253 places (down from 91) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 677 ms. (steps per millisecond=14 ) properties (out of 53) seen :47
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 6) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 5) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 4) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 3) seen :1
Running SMT prover for 2 properties.
[2023-03-16 06:00:17] [INFO ] Invariant cache hit.
[2023-03-16 06:00:17] [INFO ] [Real]Absence check using 61 positive place invariants in 21 ms returned sat
[2023-03-16 06:00:17] [INFO ] After 156ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-16 06:00:17] [INFO ] [Nat]Absence check using 61 positive place invariants in 17 ms returned sat
[2023-03-16 06:00:17] [INFO ] After 248ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-16 06:00:17] [INFO ] After 343ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 80 ms.
[2023-03-16 06:00:17] [INFO ] After 565ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Finished Parikh walk after 97 steps, including 0 resets, run visited all 2 properties in 3 ms. (steps per millisecond=32 )
Parikh walk visited 2 properties in 6 ms.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 29 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 34 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 346 transitions.
Computed a total of 5 stabilizing places and 1 stable transitions
Graph (complete) has 819 edges and 253 vertex of which 249 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.7 ms
Starting structural reductions in SI_CTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Graph (trivial) has 124 edges and 253 vertex of which 65 / 253 are part of one of the 29 SCC in 4 ms
Free SCC test removed 36 places
Ensure Unique test removed 71 transitions
Reduce isomorphic transitions removed 71 transitions.
Graph (complete) has 748 edges and 217 vertex of which 213 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.3 ms
Discarding 4 places :
Also discarding 0 output transitions
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 22 place count 193 transition count 255
Iterating global reduction 0 with 20 rules applied. Total rules applied 42 place count 193 transition count 255
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 0 with 5 rules applied. Total rules applied 47 place count 193 transition count 250
Applied a total of 47 rules in 60 ms. Remains 193 /253 variables (removed 60) and now considering 250/346 (removed 96) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 60 ms. Remains : 193/253 places, 250/346 transitions.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 17 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 25 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 250 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 25 place count 228 transition count 325
Iterating global reduction 1 with 21 rules applied. Total rules applied 46 place count 228 transition count 325
Applied a total of 46 rules in 14 ms. Remains 228 /253 variables (removed 25) and now considering 325/346 (removed 21) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 14 ms. Remains : 228/253 places, 325/346 transitions.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 21 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 23 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 325 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 18 places :
Symmetric choice reduction at 1 with 18 rule applications. Total rules 22 place count 231 transition count 328
Iterating global reduction 1 with 18 rules applied. Total rules applied 40 place count 231 transition count 328
Applied a total of 40 rules in 12 ms. Remains 231 /253 variables (removed 22) and now considering 328/346 (removed 18) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 12 ms. Remains : 231/253 places, 328/346 transitions.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 22 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 23 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 328 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 18 places :
Symmetric choice reduction at 1 with 18 rule applications. Total rules 22 place count 231 transition count 328
Iterating global reduction 1 with 18 rules applied. Total rules applied 40 place count 231 transition count 328
Applied a total of 40 rules in 11 ms. Remains 231 /253 variables (removed 22) and now considering 328/346 (removed 18) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 11 ms. Remains : 231/253 places, 328/346 transitions.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 18 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 22 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 328 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 19 places :
Symmetric choice reduction at 1 with 19 rule applications. Total rules 23 place count 230 transition count 327
Iterating global reduction 1 with 19 rules applied. Total rules applied 42 place count 230 transition count 327
Applied a total of 42 rules in 13 ms. Remains 230 /253 variables (removed 23) and now considering 327/346 (removed 19) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 13 ms. Remains : 230/253 places, 327/346 transitions.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 17 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 17 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 327 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 19 places :
Symmetric choice reduction at 1 with 19 rule applications. Total rules 23 place count 230 transition count 327
Iterating global reduction 1 with 19 rules applied. Total rules applied 42 place count 230 transition count 327
Applied a total of 42 rules in 11 ms. Remains 230 /253 variables (removed 23) and now considering 327/346 (removed 19) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 11 ms. Remains : 230/253 places, 327/346 transitions.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 22 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 16 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 327 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Graph (trivial) has 140 edges and 253 vertex of which 75 / 253 are part of one of the 33 SCC in 0 ms
Free SCC test removed 42 places
Ensure Unique test removed 83 transitions
Reduce isomorphic transitions removed 83 transitions.
Graph (complete) has 736 edges and 211 vertex of which 207 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.2 ms
Discarding 4 places :
Also discarding 0 output transitions
Reduce places removed 1 places and 1 transitions.
Reduce places removed 9 places and 0 transitions.
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Drop transitions removed 24 transitions
Trivial Post-agglo rules discarded 24 transitions
Performed 24 trivial Post agglomeration. Transition count delta: 24
Iterating post reduction 0 with 41 rules applied. Total rules applied 43 place count 197 transition count 230
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 67 place count 173 transition count 230
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 87 place count 153 transition count 210
Iterating global reduction 2 with 20 rules applied. Total rules applied 107 place count 153 transition count 210
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 2 with 24 rules applied. Total rules applied 131 place count 153 transition count 186
Applied a total of 131 rules in 31 ms. Remains 153 /253 variables (removed 100) and now considering 186/346 (removed 160) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 31 ms. Remains : 153/253 places, 186/346 transitions.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 8 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 8 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 186 transitions.
Finished random walk after 675 steps, including 0 resets, run visited all 1 properties in 7 ms. (steps per millisecond=96 )
FORMULA NoC3x3-PT-4A-CTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 24 place count 229 transition count 326
Iterating global reduction 1 with 20 rules applied. Total rules applied 44 place count 229 transition count 326
Applied a total of 44 rules in 11 ms. Remains 229 /253 variables (removed 24) and now considering 326/346 (removed 20) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 11 ms. Remains : 229/253 places, 326/346 transitions.
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 15 ms
[2023-03-16 06:00:18] [INFO ] Flatten gal took : 23 ms
[2023-03-16 06:00:18] [INFO ] Input system was already deterministic with 326 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 24 place count 229 transition count 326
Iterating global reduction 1 with 20 rules applied. Total rules applied 44 place count 229 transition count 326
Applied a total of 44 rules in 14 ms. Remains 229 /253 variables (removed 24) and now considering 326/346 (removed 20) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 14 ms. Remains : 229/253 places, 326/346 transitions.
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 14 ms
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 15 ms
[2023-03-16 06:00:19] [INFO ] Input system was already deterministic with 326 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 25 place count 228 transition count 325
Iterating global reduction 1 with 21 rules applied. Total rules applied 46 place count 228 transition count 325
Applied a total of 46 rules in 9 ms. Remains 228 /253 variables (removed 25) and now considering 325/346 (removed 21) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9 ms. Remains : 228/253 places, 325/346 transitions.
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 14 ms
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 16 ms
[2023-03-16 06:00:19] [INFO ] Input system was already deterministic with 325 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 251 transition count 346
Discarding 18 places :
Symmetric choice reduction at 1 with 18 rule applications. Total rules 20 place count 233 transition count 328
Iterating global reduction 1 with 18 rules applied. Total rules applied 38 place count 233 transition count 328
Applied a total of 38 rules in 10 ms. Remains 233 /253 variables (removed 20) and now considering 328/346 (removed 18) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10 ms. Remains : 233/253 places, 328/346 transitions.
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 15 ms
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 16 ms
[2023-03-16 06:00:19] [INFO ] Input system was already deterministic with 328 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 25 place count 228 transition count 325
Iterating global reduction 1 with 21 rules applied. Total rules applied 46 place count 228 transition count 325
Applied a total of 46 rules in 10 ms. Remains 228 /253 variables (removed 25) and now considering 325/346 (removed 21) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 11 ms. Remains : 228/253 places, 325/346 transitions.
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 16 ms
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 17 ms
[2023-03-16 06:00:19] [INFO ] Input system was already deterministic with 325 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 251 transition count 346
Discarding 16 places :
Symmetric choice reduction at 1 with 16 rule applications. Total rules 18 place count 235 transition count 330
Iterating global reduction 1 with 16 rules applied. Total rules applied 34 place count 235 transition count 330
Applied a total of 34 rules in 23 ms. Remains 235 /253 variables (removed 18) and now considering 330/346 (removed 16) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 23 ms. Remains : 235/253 places, 330/346 transitions.
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 16 ms
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 15 ms
[2023-03-16 06:00:19] [INFO ] Input system was already deterministic with 330 transitions.
Starting structural reductions in LTL mode, iteration 0 : 253/253 places, 346/346 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 249 transition count 346
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 24 place count 229 transition count 326
Iterating global reduction 1 with 20 rules applied. Total rules applied 44 place count 229 transition count 326
Applied a total of 44 rules in 10 ms. Remains 229 /253 variables (removed 24) and now considering 326/346 (removed 20) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10 ms. Remains : 229/253 places, 326/346 transitions.
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 13 ms
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 20 ms
[2023-03-16 06:00:19] [INFO ] Input system was already deterministic with 326 transitions.
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 16 ms
[2023-03-16 06:00:19] [INFO ] Flatten gal took : 16 ms
[2023-03-16 06:00:19] [INFO ] Export to MCC of 13 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 4 ms.
[2023-03-16 06:00:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 253 places, 346 transitions and 1162 arcs took 3 ms.
Total runtime 5456 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: 253 NrTr: 346 NrArc: 1162)
parse formulas
formulas created successfully
place and transition orderings generation:0m 0.008sec
net check time: 0m 0.000sec
init dd package: 0m 3.436sec
before gc: list nodes free: 1320112
after gc: idd nodes used:7251, unused:63992749; list nodes free:289371434
before gc: list nodes free: 625195
after gc: idd nodes used:12581, unused:63987419; list nodes free:293540902
before gc: list nodes free: 1144712
after gc: idd nodes used:7324, unused:63992676; list nodes free:295662579
before gc: list nodes free: 2411732
after gc: idd nodes used:4964, unused:63995036; list nodes free:295673402
before gc: list nodes free: 3628787
after gc: idd nodes used:5376, unused:63994624; list nodes free:295671366
before gc: list nodes free: 3142556
after gc: idd nodes used:6418, unused:63993582; list nodes free:295666682
RS generation: 55m15.048sec
-> reachability set: #nodes 3330 (3.3e+03) #states 40,343,799,362,077,562,953,432,335,482,880,001 (34)
starting MCC model checker
--------------------------
checking: AG [EX [0<=0]]
normalized: ~ [E [true U ~ [EX [0<=0]]]]
abstracting: (0<=0)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
.-> the formula is TRUE
FORMULA NoC3x3-PT-4A-CTLCardinality-11 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.444sec
checking: EF [AG [EF [EX [[p133<=0 & 0<=p133]]]]]
normalized: E [true U ~ [E [true U ~ [E [true U EX [[p133<=0 & 0<=p133]]]]]]]
abstracting: (0<=p133)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p133<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
.MC time: 0m24.000sec
checking: EG [EX [AG [[p62<=0 & 0<=p62]]]]
normalized: EG [EX [~ [E [true U ~ [[p62<=0 & 0<=p62]]]]]]
abstracting: (0<=p62)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p62<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
MC time: 0m22.000sec
checking: AX [EX [EF [EG [[[p112<=0 & 0<=p112] & [p106<=1 & 1<=p106]]]]]]
normalized: ~ [EX [~ [EX [E [true U EG [[[p106<=1 & 1<=p106] & [p112<=0 & 0<=p112]]]]]]]]
abstracting: (0<=p112)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p112<=0)
states: 34,580,399,453,209,339,674,370,573,271,040,001 (34)
abstracting: (1<=p106)
states: 5,763,399,908,868,223,279,061,762,211,840,000 (33)
abstracting: (p106<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
.
EG iterations: 1
before gc: list nodes free: 3783674
after gc: idd nodes used:17779, unused:63982221; list nodes free:295614960
MC time: 0m21.928sec
checking: AX [AF [~ [E [[p178<=0 & 0<=p178] U [p165<=1 & 1<=p165]]]]]
normalized: ~ [EX [EG [E [[p178<=0 & 0<=p178] U [p165<=1 & 1<=p165]]]]]
abstracting: (1<=p165)
states: 6,723,966,560,346,260,492,238,722,580,480,000 (33)
abstracting: (p165<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (0<=p178)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p178<=0)
states: 26,895,866,241,385,041,968,954,890,321,920,001 (34)
MC time: 0m18.000sec
checking: [EF [[EX [EG [[p113<=1 & 1<=p113]]] & AG [[p22<=1 & 1<=p22]]]] & EG [[EX [[p162<=0 & 0<=p162]] & [p193<=0 & 0<=p193]]]]
normalized: [EG [[[p193<=0 & 0<=p193] & EX [[p162<=0 & 0<=p162]]]] & E [true U [~ [E [true U ~ [[p22<=1 & 1<=p22]]]] & EX [EG [[p113<=1 & 1<=p113]]]]]]
abstracting: (1<=p113)
states: 5,763,399,908,868,223,279,061,762,211,840,000 (33)
abstracting: (p113<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
.
EG iterations: 1
.abstracting: (1<=p22)
states: 4,482,644,373,564,173,661,492,481,720,320,000 (33)
abstracting: (p22<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (0<=p162)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p162<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
.abstracting: (0<=p193)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p193<=0)
states: 26,895,866,241,385,041,968,954,890,321,920,001 (34)
.
EG iterations: 1
-> the formula is FALSE
FORMULA NoC3x3-PT-4A-CTLCardinality-03 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 1.528sec
checking: AG [EF [[E [[[p65<=0 & 0<=p65] | [p235<=1 & 1<=p235]] U [p110<=1 & 1<=p110]] & AX [AG [[p29<=0 & 0<=p29]]]]]]
normalized: ~ [E [true U ~ [E [true U [~ [EX [E [true U ~ [[p29<=0 & 0<=p29]]]]] & E [[[p235<=1 & 1<=p235] | [p65<=0 & 0<=p65]] U [p110<=1 & 1<=p110]]]]]]]
abstracting: (1<=p110)
states: 5,763,399,908,868,223,279,061,762,211,840,000 (33)
abstracting: (p110<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (0<=p65)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p65<=0)
states: 26,895,866,241,385,041,968,954,890,321,920,001 (34)
abstracting: (1<=p235)
states: 6,723,966,560,346,260,492,238,722,580,480,000 (33)
abstracting: (p235<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
MC time: 0m18.001sec
checking: EX [AG [A [[AG [[p38<=1 & 1<=p38]] | [p232<=0 & 0<=p232]] U [EF [[[p79<=0 & 0<=p79] | [p44<=1 & 1<=p44]]] | EX [[p20<=1 & 1<=p20]]]]]]
normalized: EX [~ [E [true U ~ [[~ [EG [~ [[EX [[p20<=1 & 1<=p20]] | E [true U [[p44<=1 & 1<=p44] | [p79<=0 & 0<=p79]]]]]]] & ~ [E [~ [[EX [[p20<=1 & 1<=p20]] | E [true U [[p44<=1 & 1<=p44] | [p79<=0 & 0<=p79]]]]] U [~ [[~ [E [true U ~ [[p38<=1 & 1<=p38]]]] | [p232<=0 & 0<=p232]]] & ~ [[EX [[p20<=1 & 1<=p20]] | E [true U [[p44<=1 & 1<=p44] | [p79<=0 & 0<=p79]]]]]]]]]]]]]
abstracting: (0<=p79)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p79<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
abstracting: (1<=p44)
states: 13,447,933,120,692,520,984,477,445,160,960,000 (34)
abstracting: (p44<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (1<=p20)
states: 4,482,644,373,564,173,661,492,481,720,320,000 (33)
abstracting: (p20<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
.abstracting: (0<=p232)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p232<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
abstracting: (1<=p38)
states: 6,723,966,560,346,260,492,238,722,580,480,000 (33)
abstracting: (p38<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (0<=p79)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p79<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
abstracting: (1<=p44)
states: 13,447,933,120,692,520,984,477,445,160,960,000 (34)
abstracting: (p44<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (1<=p20)
states: 4,482,644,373,564,173,661,492,481,720,320,000 (33)
abstracting: (p20<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
.abstracting: (0<=p79)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p79<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
abstracting: (1<=p44)
states: 13,447,933,120,692,520,984,477,445,160,960,000 (34)
abstracting: (p44<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (1<=p20)
states: 4,482,644,373,564,173,661,492,481,720,320,000 (33)
abstracting: (p20<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
..
EG iterations: 1
.-> the formula is TRUE
FORMULA NoC3x3-PT-4A-CTLCardinality-05 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.888sec
checking: EX [~ [E [[[p242<=0 & 0<=p242] | [p142<=1 & 1<=p142]] U AG [[[p75<=0 & 0<=p75] & [[[p68<=0 & 0<=p68] | [p78<=1 & 1<=p78]] & [p207<=0 & 0<=p207]]]]]]]
normalized: EX [~ [E [[[p142<=1 & 1<=p142] | [p242<=0 & 0<=p242]] U ~ [E [true U ~ [[[[p207<=0 & 0<=p207] & [[p78<=1 & 1<=p78] | [p68<=0 & 0<=p68]]] & [p75<=0 & 0<=p75]]]]]]]]
abstracting: (0<=p75)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p75<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
abstracting: (0<=p68)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p68<=0)
states: 26,895,866,241,385,041,968,954,890,321,920,001 (34)
abstracting: (1<=p78)
states: 6,723,966,560,346,260,492,238,722,580,480,000 (33)
abstracting: (p78<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (0<=p207)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p207<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
MC time: 0m18.001sec
checking: AG [[AX [EF [[[p158<=0 & 0<=p158] & [p137<=1 & 1<=p137]]]] & [EX [EF [[[[p52<=0 & 0<=p52] | [p142<=1 & 1<=p142]] & [[p124<=0 & 0<=p124] | [p241<=1 & 1<=p241]]]]] & [AX [[[p213<=0 & 0<=p213] | [p229<=1 & 1<=p229]]] | [EF [[p245<=1 & 1<=p245]] | AX [EG [[[p53<=0 & 0<=p53] | [p244<=1 & 1<=p244]]]]]]]]]
normalized: ~ [E [true U ~ [[[[[~ [EX [~ [EG [[[p244<=1 & 1<=p244] | [p53<=0 & 0<=p53]]]]]] | E [true U [p245<=1 & 1<=p245]]] | ~ [EX [~ [[[p229<=1 & 1<=p229] | [p213<=0 & 0<=p213]]]]]] & EX [E [true U [[[p241<=1 & 1<=p241] | [p124<=0 & 0<=p124]] & [[p142<=1 & 1<=p142] | [p52<=0 & 0<=p52]]]]]] & ~ [EX [~ [E [true U [[p137<=1 & 1<=p137] & [p158<=0 & 0<=p158]]]]]]]]]]
abstracting: (0<=p158)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p158<=0)
states: 34,580,399,453,209,339,674,370,573,271,040,001 (34)
abstracting: (1<=p137)
states: 13,447,933,120,692,520,984,477,445,160,960,000 (34)
abstracting: (p137<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
MC time: 0m16.001sec
checking: AF [[[AG [[[1<=p250 & p250<=1] | [p3<=0 & 0<=p3]]] | [[p250<=1 & 1<=p250] & [EF [[[[p244<=0 & 0<=p244] & [p125<=1 & 1<=p125]] | [p199<=0 & 0<=p199]]] & [[[p197<=0 & 0<=p197] | [p171<=1 & 1<=p171]] | [[p213<=0 & 0<=p213] | [p135<=1 & 1<=p135]]]]]] & EF [[[p26<=0 & 0<=p26] | [p85<=1 & 1<=p85]]]]]
normalized: ~ [EG [~ [[E [true U [[p85<=1 & 1<=p85] | [p26<=0 & 0<=p26]]] & [[[[[[p135<=1 & 1<=p135] | [p213<=0 & 0<=p213]] | [[p171<=1 & 1<=p171] | [p197<=0 & 0<=p197]]] & E [true U [[p199<=0 & 0<=p199] | [[p125<=1 & 1<=p125] & [p244<=0 & 0<=p244]]]]] & [p250<=1 & 1<=p250]] | ~ [E [true U ~ [[[p3<=0 & 0<=p3] | [1<=p250 & p250<=1]]]]]]]]]]
abstracting: (p250<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (1<=p250)
states: 13,447,933,120,692,520,984,477,445,160,960,000 (34)
abstracting: (0<=p3)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p3<=0)
states: 30,257,849,521,558,172,215,074,251,612,160,001 (34)
MC time: 0m15.001sec
checking: A [[~ [[A [EG [[[p193<=0 & 0<=p193] | [p212<=1 & 1<=p212]]] U [p82<=0 & 0<=p82]] & [[p75<=0 & 0<=p75] | [p218<=1 & 1<=p218]]]] | [~ [EG [[[[p163<=0 & 0<=p163] | [p209<=1 & 1<=p209]] & AG [[p92<=1 & 1<=p92]]]]] & [~ [A [~ [[[p179<=0 & 0<=p179] | [p62<=1 & 1<=p62]]] U E [[p210<=0 & 0<=p210] U [[p91<=0 & 0<=p91] | [p55<=1 & 1<=p55]]]]] | [AX [EF [[p41<=1 & 1<=p41]]] & [[p23<=0 & 0<=p23] | [p156<=1 & 1<=p156]]]]]] U ~ [[AF [AG [[[p38<=0 & 0<=p38] | [p47<=1 & 1<=p47]]]] | AG [[[p56<=1 & 1<=p56] | [[p211<=0 & 0<=p211] | EG [[[p219<=0 & 0<=p219] | [p112<=1 & 1<=p112]]]]]]]]]
normalized: [~ [EG [[~ [E [true U ~ [[[EG [[[p112<=1 & 1<=p112] | [p219<=0 & 0<=p219]]] | [p211<=0 & 0<=p211]] | [p56<=1 & 1<=p56]]]]] | ~ [EG [E [true U ~ [[[p47<=1 & 1<=p47] | [p38<=0 & 0<=p38]]]]]]]]] & ~ [E [[~ [E [true U ~ [[[EG [[[p112<=1 & 1<=p112] | [p219<=0 & 0<=p219]]] | [p211<=0 & 0<=p211]] | [p56<=1 & 1<=p56]]]]] | ~ [EG [E [true U ~ [[[p47<=1 & 1<=p47] | [p38<=0 & 0<=p38]]]]]]] U [~ [[[[[[[p156<=1 & 1<=p156] | [p23<=0 & 0<=p23]] & ~ [EX [~ [E [true U [p41<=1 & 1<=p41]]]]]] | ~ [[~ [EG [~ [E [[p210<=0 & 0<=p210] U [[p55<=1 & 1<=p55] | [p91<=0 & 0<=p91]]]]]] & ~ [E [~ [E [[p210<=0 & 0<=p210] U [[p55<=1 & 1<=p55] | [p91<=0 & 0<=p91]]]] U [[[p62<=1 & 1<=p62] | [p179<=0 & 0<=p179]] & ~ [E [[p210<=0 & 0<=p210] U [[p55<=1 & 1<=p55] | [p91<=0 & 0<=p91]]]]]]]]]] & ~ [EG [[~ [E [true U ~ [[p92<=1 & 1<=p92]]]] & [[p209<=1 & 1<=p209] | [p163<=0 & 0<=p163]]]]]] | ~ [[[[p218<=1 & 1<=p218] | [p75<=0 & 0<=p75]] & [~ [EG [~ [[p82<=0 & 0<=p82]]]] & ~ [E [~ [[p82<=0 & 0<=p82]] U [~ [EG [[[p212<=1 & 1<=p212] | [p193<=0 & 0<=p193]]]] & ~ [[p82<=0 & 0<=p82]]]]]]]]]] & [~ [E [true U ~ [[[EG [[[p112<=1 & 1<=p112] | [p219<=0 & 0<=p219]]] | [p211<=0 & 0<=p211]] | [p56<=1 & 1<=p56]]]]] | ~ [EG [E [true U ~ [[[p47<=1 & 1<=p47] | [p38<=0 & 0<=p38]]]]]]]]]]]
abstracting: (0<=p38)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p38<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
abstracting: (1<=p47)
states: 13,447,933,120,692,520,984,477,445,160,960,000 (34)
abstracting: (p47<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
MC time: 0m13.000sec
checking: [AG [E [[~ [[[p201<=0 & 0<=p201] | [p57<=1 & 1<=p57]]] | AG [E [[p82<=1 & 1<=p82] U [p175<=0 & 0<=p175]]]] U AG [[[p61<=0 & 0<=p61] | [p196<=1 & 1<=p196]]]]] & [E [[AX [[EX [[p161<=0 & 0<=p161]] & [[p230<=0 & 0<=p230] | [[p229<=1 & 1<=p229] | [p166<=1 & 1<=p166]]]]] & ~ [AG [~ [[[p205<=0 & 0<=p205] | [p236<=1 & 1<=p236]]]]]] U [~ [[AG [[[p167<=0 & 0<=p167] | [p18<=1 & 1<=p18]]] | [p126<=1 & 1<=p126]]] | ~ [[p139<=1 & 1<=p139]]]] | E [AF [[[[p40<=0 & 0<=p40] | [p215<=1 & 1<=p215]] & [[[p241<=1 & 1<=p241] | [p128<=0 & 0<=p128]] | [[p123<=1 & 1<=p123] | [[[p148<=0 & 0<=p148] | [p142<=1 & 1<=p142]] & [p130<=0 & 0<=p130]]]]]] U EG [[p189<=1 & 1<=p189]]]]]
normalized: [[E [~ [EG [~ [[[[[[p130<=0 & 0<=p130] & [[p142<=1 & 1<=p142] | [p148<=0 & 0<=p148]]] | [p123<=1 & 1<=p123]] | [[p128<=0 & 0<=p128] | [p241<=1 & 1<=p241]]] & [[p215<=1 & 1<=p215] | [p40<=0 & 0<=p40]]]]]] U EG [[p189<=1 & 1<=p189]]] | E [[E [true U [[p236<=1 & 1<=p236] | [p205<=0 & 0<=p205]]] & ~ [EX [~ [[[[[p166<=1 & 1<=p166] | [p229<=1 & 1<=p229]] | [p230<=0 & 0<=p230]] & EX [[p161<=0 & 0<=p161]]]]]]] U [~ [[p139<=1 & 1<=p139]] | ~ [[[p126<=1 & 1<=p126] | ~ [E [true U ~ [[[p18<=1 & 1<=p18] | [p167<=0 & 0<=p167]]]]]]]]]] & ~ [E [true U ~ [E [[~ [E [true U ~ [E [[p82<=1 & 1<=p82] U [p175<=0 & 0<=p175]]]]] | ~ [[[p57<=1 & 1<=p57] | [p201<=0 & 0<=p201]]]] U ~ [E [true U ~ [[[p196<=1 & 1<=p196] | [p61<=0 & 0<=p61]]]]]]]]]]
abstracting: (0<=p61)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
abstracting: (p61<=0)
states: 33,619,832,801,731,302,461,193,612,902,400,001 (34)
abstracting: (1<=p196)
states: 13,447,933,120,692,520,984,477,445,160,960,000 (34)
abstracting: (p196<=1)
states: 40,343,799,362,077,562,953,432,335,482,880,001 (34)
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6095692 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16099368 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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.002sec
2575 4219 3882 1990 2479 5105 4692 2803 3100 2635 5903 3884 4715 5878 2782 5665 3839 10890 4097 5399 3049 2907 3765 2859 11304 3710 3303 3697 3826 3405 8603 4071 3921 4080 7548 4339 4845 3639 4928 5449 5520 7652 4170 5038 5605 6309 5940 5708 4601 4544 5909 14343 7660 9283 6668 7339 7105 4155 4702 5168 4958 14298 5663 5411 6427 6529 6080 4400 4606 5330 5520 18467 14892 11303 11582 15524 14995 8741 7429 7431 8374 8215 7188 6959 8114 8499 5386 7464 7224 6877 5813 6608 9262 6950 5378 6782 9029 6683 8119 6084 7511 10054 7445 8805 5762 4821 6883 9481 5574 5882 6794 8244 8122 6890 7633 8793 6176 6031 8295 5619 7096 9893 6492 7395 10017 7220 8840 4987 7227 9011 7150
iterations count:13153590 (38016), effective:1014595 (2932)
initing FirstDep: 0m 0.001sec
sat_reach.icc:155: Timeout: after 23 sec
sat_reach.icc:155: Timeout: after 21 sec
sat_reach.icc:155: Timeout: after 19 sec
sat_reach.icc:155: Timeout: after 17 sec
iterations count:510 (1), effective:4 (0)
sat_reach.icc:155: Timeout: after 17 sec
iterations count:371 (1), effective:4 (0)
iterations count:502 (1), effective:15 (0)
iterations count:371 (1), effective:4 (0)
iterations count:371 (1), effective:4 (0)
sat_reach.icc:155: Timeout: after 17 sec
sat_reach.icc:155: Timeout: after 15 sec
sat_reach.icc:155: Timeout: after 14 sec
sat_reach.icc:155: Timeout: after 12 sec
sat_reach.icc:155: Timeout: after 11 sec
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="NoC3x3-PT-4A"
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 NoC3x3-PT-4A, 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 r266-smll-167863540700273"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-4A.tgz
mv NoC3x3-PT-4A 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 ;