About the Execution of Marcie+red for DiscoveryGPU-PT-12a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11766.796 | 3600000.00 | 3620319.00 | 10642.10 | ???????T???F???? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r138-smll-167819420500377.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 DiscoveryGPU-PT-12a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-167819420500377
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 13:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 13:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 13:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 13:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 43K Mar 5 18:22 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 DiscoveryGPU-PT-12a-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-12a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678783400700
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=DiscoveryGPU-PT-12a
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-14 08:43:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-14 08:43:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 08:43:23] [INFO ] Load time of PNML (sax parser for PT used): 77 ms
[2023-03-14 08:43:23] [INFO ] Transformed 123 places.
[2023-03-14 08:43:23] [INFO ] Transformed 169 transitions.
[2023-03-14 08:43:23] [INFO ] Found NUPN structural information;
[2023-03-14 08:43:23] [INFO ] Parsed PT model containing 123 places and 169 transitions and 543 arcs in 181 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 21 ms.
FORMULA DiscoveryGPU-PT-12a-CTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 82 out of 123 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 123/123 places, 169/169 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 120 transition count 166
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 120 transition count 166
Drop transitions removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 0 with 12 rules applied. Total rules applied 18 place count 120 transition count 154
Applied a total of 18 rules in 31 ms. Remains 120 /123 variables (removed 3) and now considering 154/169 (removed 15) transitions.
// Phase 1: matrix 154 rows 120 cols
[2023-03-14 08:43:23] [INFO ] Computed 2 place invariants in 12 ms
[2023-03-14 08:43:23] [INFO ] Implicit Places using invariants in 284 ms returned []
[2023-03-14 08:43:23] [INFO ] Invariant cache hit.
[2023-03-14 08:43:24] [INFO ] State equation strengthened by 96 read => feed constraints.
[2023-03-14 08:43:24] [INFO ] Implicit Places using invariants and state equation in 349 ms returned [118]
Discarding 1 places :
Implicit Place search using SMT with State Equation took 680 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 119/123 places, 154/169 transitions.
Applied a total of 0 rules in 5 ms. Remains 119 /119 variables (removed 0) and now considering 154/154 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 717 ms. Remains : 119/123 places, 154/169 transitions.
Support contains 82 out of 119 places after structural reductions.
[2023-03-14 08:43:24] [INFO ] Flatten gal took : 67 ms
[2023-03-14 08:43:24] [INFO ] Flatten gal took : 25 ms
[2023-03-14 08:43:24] [INFO ] Input system was already deterministic with 154 transitions.
Support contains 77 out of 119 places (down from 82) after GAL structural reductions.
Finished random walk after 4534 steps, including 34 resets, run visited all 68 properties in 317 ms. (steps per millisecond=14 )
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 14 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 16 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 154 transitions.
Computed a total of 14 stabilizing places and 13 stable transitions
Graph (complete) has 194 edges and 119 vertex of which 86 are kept as prefixes of interest. Removing 33 places using SCC suffix rule.5 ms
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 108 transition count 143
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 108 transition count 143
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 32 place count 98 transition count 133
Iterating global reduction 0 with 10 rules applied. Total rules applied 42 place count 98 transition count 133
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 49 place count 91 transition count 126
Iterating global reduction 0 with 7 rules applied. Total rules applied 56 place count 91 transition count 126
Applied a total of 56 rules in 31 ms. Remains 91 /119 variables (removed 28) and now considering 126/154 (removed 28) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 31 ms. Remains : 91/119 places, 126/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 11 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 11 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 126 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 109 transition count 144
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 109 transition count 144
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 99 transition count 134
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 99 transition count 134
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 45 place count 94 transition count 129
Iterating global reduction 0 with 5 rules applied. Total rules applied 50 place count 94 transition count 129
Applied a total of 50 rules in 23 ms. Remains 94 /119 variables (removed 25) and now considering 129/154 (removed 25) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 24 ms. Remains : 94/119 places, 129/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 10 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 11 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 129 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Graph (trivial) has 102 edges and 119 vertex of which 44 / 119 are part of one of the 22 SCC in 4 ms
Free SCC test removed 22 places
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Graph (complete) has 172 edges and 97 vertex of which 65 are kept as prefixes of interest. Removing 32 places using SCC suffix rule.1 ms
Discarding 32 places :
Also discarding 32 output transitions
Drop transitions removed 32 transitions
Reduce places removed 1 places and 1 transitions.
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 13 rules applied. Total rules applied 15 place count 63 transition count 87
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 27 place count 51 transition count 87
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 36 place count 42 transition count 69
Iterating global reduction 2 with 9 rules applied. Total rules applied 45 place count 42 transition count 69
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 54 place count 33 transition count 51
Iterating global reduction 2 with 9 rules applied. Total rules applied 63 place count 33 transition count 51
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 71 place count 25 transition count 35
Iterating global reduction 2 with 8 rules applied. Total rules applied 79 place count 25 transition count 35
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 87 place count 17 transition count 27
Iterating global reduction 2 with 8 rules applied. Total rules applied 95 place count 17 transition count 27
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 96 place count 17 transition count 26
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 98 place count 16 transition count 25
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 99 place count 16 transition count 25
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 100 place count 15 transition count 24
Iterating global reduction 2 with 1 rules applied. Total rules applied 101 place count 15 transition count 24
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 104 place count 12 transition count 21
Applied a total of 104 rules in 39 ms. Remains 12 /119 variables (removed 107) and now considering 21/154 (removed 133) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 40 ms. Remains : 12/119 places, 21/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 2 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 1 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 21 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 109 transition count 144
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 109 transition count 144
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 28 place count 101 transition count 136
Iterating global reduction 0 with 8 rules applied. Total rules applied 36 place count 101 transition count 136
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 41 place count 96 transition count 131
Iterating global reduction 0 with 5 rules applied. Total rules applied 46 place count 96 transition count 131
Applied a total of 46 rules in 10 ms. Remains 96 /119 variables (removed 23) and now considering 131/154 (removed 23) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10 ms. Remains : 96/119 places, 131/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 10 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 10 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 131 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 108 transition count 143
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 108 transition count 143
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 33 place count 97 transition count 132
Iterating global reduction 0 with 11 rules applied. Total rules applied 44 place count 97 transition count 132
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 52 place count 89 transition count 124
Iterating global reduction 0 with 8 rules applied. Total rules applied 60 place count 89 transition count 124
Applied a total of 60 rules in 10 ms. Remains 89 /119 variables (removed 30) and now considering 124/154 (removed 30) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10 ms. Remains : 89/119 places, 124/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 8 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 9 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 124 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 109 transition count 144
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 109 transition count 144
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 99 transition count 134
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 99 transition count 134
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 46 place count 93 transition count 128
Iterating global reduction 0 with 6 rules applied. Total rules applied 52 place count 93 transition count 128
Applied a total of 52 rules in 10 ms. Remains 93 /119 variables (removed 26) and now considering 128/154 (removed 26) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10 ms. Remains : 93/119 places, 128/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 9 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 9 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 128 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 9 place count 110 transition count 145
Iterating global reduction 0 with 9 rules applied. Total rules applied 18 place count 110 transition count 145
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 26 place count 102 transition count 137
Iterating global reduction 0 with 8 rules applied. Total rules applied 34 place count 102 transition count 137
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 39 place count 97 transition count 132
Iterating global reduction 0 with 5 rules applied. Total rules applied 44 place count 97 transition count 132
Applied a total of 44 rules in 10 ms. Remains 97 /119 variables (removed 22) and now considering 132/154 (removed 22) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10 ms. Remains : 97/119 places, 132/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 9 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 9 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 132 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Graph (trivial) has 107 edges and 119 vertex of which 48 / 119 are part of one of the 24 SCC in 1 ms
Free SCC test removed 24 places
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Graph (complete) has 170 edges and 95 vertex of which 65 are kept as prefixes of interest. Removing 30 places using SCC suffix rule.1 ms
Discarding 30 places :
Also discarding 30 output transitions
Drop transitions removed 30 transitions
Reduce places removed 1 places and 1 transitions.
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 0 with 14 rules applied. Total rules applied 16 place count 63 transition count 86
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 1 with 13 rules applied. Total rules applied 29 place count 50 transition count 86
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 39 place count 40 transition count 66
Iterating global reduction 2 with 10 rules applied. Total rules applied 49 place count 40 transition count 66
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 59 place count 30 transition count 46
Iterating global reduction 2 with 10 rules applied. Total rules applied 69 place count 30 transition count 46
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 79 place count 20 transition count 26
Iterating global reduction 2 with 10 rules applied. Total rules applied 89 place count 20 transition count 26
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 99 place count 10 transition count 16
Iterating global reduction 2 with 10 rules applied. Total rules applied 109 place count 10 transition count 16
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 110 place count 10 transition count 15
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 111 place count 10 transition count 14
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 112 place count 9 transition count 14
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 114 place count 7 transition count 12
Applied a total of 114 rules in 16 ms. Remains 7 /119 variables (removed 112) and now considering 12/154 (removed 142) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 16 ms. Remains : 7/119 places, 12/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 1 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 1 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 12 transitions.
Finished random walk after 163 steps, including 5 resets, run visited all 1 properties in 2 ms. (steps per millisecond=81 )
FORMULA DiscoveryGPU-PT-12a-CTLCardinality-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in SI_CTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Graph (trivial) has 99 edges and 119 vertex of which 42 / 119 are part of one of the 21 SCC in 0 ms
Free SCC test removed 21 places
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Graph (complete) has 173 edges and 98 vertex of which 67 are kept as prefixes of interest. Removing 31 places using SCC suffix rule.1 ms
Discarding 31 places :
Also discarding 31 output transitions
Drop transitions removed 31 transitions
Reduce places removed 1 places and 1 transitions.
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 12 rules applied. Total rules applied 14 place count 65 transition count 90
Reduce places removed 11 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 12 rules applied. Total rules applied 26 place count 54 transition count 89
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 27 place count 53 transition count 89
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 36 place count 44 transition count 71
Iterating global reduction 3 with 9 rules applied. Total rules applied 45 place count 44 transition count 71
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 53 place count 36 transition count 55
Iterating global reduction 3 with 8 rules applied. Total rules applied 61 place count 36 transition count 55
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 68 place count 29 transition count 41
Iterating global reduction 3 with 7 rules applied. Total rules applied 75 place count 29 transition count 41
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 82 place count 22 transition count 34
Iterating global reduction 3 with 7 rules applied. Total rules applied 89 place count 22 transition count 34
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 90 place count 22 transition count 33
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 92 place count 21 transition count 32
Reduce places removed 5 places and 5 transitions.
Iterating global reduction 3 with 5 rules applied. Total rules applied 97 place count 16 transition count 27
Applied a total of 97 rules in 18 ms. Remains 16 /119 variables (removed 103) and now considering 27/154 (removed 127) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 18 ms. Remains : 16/119 places, 27/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 2 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 2 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 27 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 111 transition count 146
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 111 transition count 146
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 22 place count 105 transition count 140
Iterating global reduction 0 with 6 rules applied. Total rules applied 28 place count 105 transition count 140
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 33 place count 100 transition count 135
Iterating global reduction 0 with 5 rules applied. Total rules applied 38 place count 100 transition count 135
Applied a total of 38 rules in 7 ms. Remains 100 /119 variables (removed 19) and now considering 135/154 (removed 19) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7 ms. Remains : 100/119 places, 135/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 9 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 9 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 135 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 109 transition count 144
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 109 transition count 144
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 29 place count 100 transition count 135
Iterating global reduction 0 with 9 rules applied. Total rules applied 38 place count 100 transition count 135
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 43 place count 95 transition count 130
Iterating global reduction 0 with 5 rules applied. Total rules applied 48 place count 95 transition count 130
Applied a total of 48 rules in 7 ms. Remains 95 /119 variables (removed 24) and now considering 130/154 (removed 24) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7 ms. Remains : 95/119 places, 130/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 8 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 8 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 130 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 108 transition count 143
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 108 transition count 143
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 33 place count 97 transition count 132
Iterating global reduction 0 with 11 rules applied. Total rules applied 44 place count 97 transition count 132
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 52 place count 89 transition count 124
Iterating global reduction 0 with 8 rules applied. Total rules applied 60 place count 89 transition count 124
Applied a total of 60 rules in 14 ms. Remains 89 /119 variables (removed 30) and now considering 124/154 (removed 30) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 14 ms. Remains : 89/119 places, 124/154 transitions.
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 8 ms
[2023-03-14 08:43:25] [INFO ] Flatten gal took : 7 ms
[2023-03-14 08:43:25] [INFO ] Input system was already deterministic with 124 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 109 transition count 144
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 109 transition count 144
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 29 place count 100 transition count 135
Iterating global reduction 0 with 9 rules applied. Total rules applied 38 place count 100 transition count 135
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 44 place count 94 transition count 129
Iterating global reduction 0 with 6 rules applied. Total rules applied 50 place count 94 transition count 129
Applied a total of 50 rules in 6 ms. Remains 94 /119 variables (removed 25) and now considering 129/154 (removed 25) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6 ms. Remains : 94/119 places, 129/154 transitions.
[2023-03-14 08:43:26] [INFO ] Flatten gal took : 7 ms
[2023-03-14 08:43:26] [INFO ] Flatten gal took : 7 ms
[2023-03-14 08:43:26] [INFO ] Input system was already deterministic with 129 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 109 transition count 144
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 109 transition count 144
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 30 place count 99 transition count 134
Iterating global reduction 0 with 10 rules applied. Total rules applied 40 place count 99 transition count 134
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 47 place count 92 transition count 127
Iterating global reduction 0 with 7 rules applied. Total rules applied 54 place count 92 transition count 127
Applied a total of 54 rules in 6 ms. Remains 92 /119 variables (removed 27) and now considering 127/154 (removed 27) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6 ms. Remains : 92/119 places, 127/154 transitions.
[2023-03-14 08:43:26] [INFO ] Flatten gal took : 7 ms
[2023-03-14 08:43:26] [INFO ] Flatten gal took : 21 ms
[2023-03-14 08:43:26] [INFO ] Input system was already deterministic with 127 transitions.
Starting structural reductions in LTL mode, iteration 0 : 119/119 places, 154/154 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 111 transition count 146
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 111 transition count 146
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 23 place count 104 transition count 139
Iterating global reduction 0 with 7 rules applied. Total rules applied 30 place count 104 transition count 139
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 35 place count 99 transition count 134
Iterating global reduction 0 with 5 rules applied. Total rules applied 40 place count 99 transition count 134
Applied a total of 40 rules in 14 ms. Remains 99 /119 variables (removed 20) and now considering 134/154 (removed 20) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 14 ms. Remains : 99/119 places, 134/154 transitions.
[2023-03-14 08:43:26] [INFO ] Flatten gal took : 8 ms
[2023-03-14 08:43:26] [INFO ] Flatten gal took : 8 ms
[2023-03-14 08:43:26] [INFO ] Input system was already deterministic with 134 transitions.
[2023-03-14 08:43:26] [INFO ] Flatten gal took : 10 ms
[2023-03-14 08:43:26] [INFO ] Flatten gal took : 9 ms
[2023-03-14 08:43:26] [INFO ] Export to MCC of 14 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 5 ms.
[2023-03-14 08:43:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 119 places, 154 transitions and 347 arcs took 2 ms.
Total runtime 2854 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: 119 NrTr: 154 NrArc: 347)
parse formulas
formulas created successfully
place and transition orderings generation:0m 0.003sec
net check time: 0m 0.000sec
init dd package: 0m 3.622sec
RS generation: 0m11.533sec
-> reachability set: #nodes 448930 (4.5e+05) #states 3,001,024,334,001 (12)
starting MCC model checker
--------------------------
checking: EX [AG [EF [[[0<=p16 & p16<=0] | [p12<=1 & 1<=p12]]]]]
normalized: EX [~ [E [true U ~ [E [true U [[p12<=1 & 1<=p12] | [0<=p16 & p16<=0]]]]]]]
abstracting: (p16<=0)
states: 2,728,203,940,001 (12)
abstracting: (0<=p16)
states: 3,001,024,334,001 (12)
abstracting: (1<=p12)
states: 272,820,394,000 (11)
abstracting: (p12<=1)
states: 3,001,024,334,001 (12)
before gc: list nodes free: 1137473
after gc: idd nodes used:41799452, unused:22200548; list nodes free:118617935
before gc: list nodes free: 1067563
after gc: idd nodes used:61951682, unused:2048318; list nodes free:13207005
FORMULA DiscoveryGPU-PT-12a-CTLCardinality-00 CANNOT_COMPUTE
MC time: 3m25.518sec
checking: EF [[AF [AX [1<=0]] & [EF [[p5<=1 & 1<=p5]] & EG [[p25<=0 & 0<=p25]]]]]
normalized: E [true U [[EG [[p25<=0 & 0<=p25]] & E [true U [p5<=1 & 1<=p5]]] & ~ [EG [EX [~ [1<=0]]]]]]
abstracting: (1<=0)
states: 0
before gc: list nodes free: 1058559
after gc: idd nodes used:767461, unused:63232539; list nodes free:397072387
before gc: list nodes free: 21609063
after gc: idd nodes used:41799452, unused:22200548; list nodes free:143858731
before gc: list nodes free: 1035815
after gc: idd nodes used:61951682, unused:2048318; list nodes free:13175257
FORMULA DiscoveryGPU-PT-12a-CTLCardinality-04 CANNOT_COMPUTE
MC time: 3m42.169sec
checking: EF [~ [A [~ [[p13<=1 & 1<=p13]] U AF [[[p23<=0 & 0<=p23] | [p38<=1 & 1<=p38]]]]]]
normalized: E [true U ~ [[~ [EG [EG [~ [[[p38<=1 & 1<=p38] | [p23<=0 & 0<=p23]]]]]] & ~ [E [EG [~ [[[p38<=1 & 1<=p38] | [p23<=0 & 0<=p23]]]] U [[p13<=1 & 1<=p13] & EG [~ [[[p38<=1 & 1<=p38] | [p23<=0 & 0<=p23]]]]]]]]]]
abstracting: (0<=p23)
states: 3,001,024,334,001 (12)
abstracting: (p23<=0)
before gc: list nodes free: 1026804
after gc: idd nodes used:767461, unused:63232539; list nodes free:397072380
states: 2,722,357,788,701 (12)
abstracting: (1<=p38)
states: 272,820,394,000 (11)
abstracting: (p38<=1)
states: 3,001,024,334,001 (12)
.
before gc: list nodes free: 32646042
after gc: idd nodes used:29922255, unused:34077745; list nodes free:222656029
MC time: 4m48.978sec
checking: [EG [AG [EF [[p73<=1 & 1<=p73]]]] & EF [[[p62<=0 & 0<=p62] | [[p2<=1 & 1<=p2] | [p46<=1 & 1<=p46]]]]]
normalized: [E [true U [[[p46<=1 & 1<=p46] | [p2<=1 & 1<=p2]] | [p62<=0 & 0<=p62]]] & EG [~ [E [true U ~ [E [true U [p73<=1 & 1<=p73]]]]]]]
abstracting: (1<=p73)
states: 272,820,394,000 (11)
abstracting: (p73<=1)
states: 3,001,024,334,001 (12)
.
before gc: list nodes free: 29983272
after gc: idd nodes used:42090977, unused:21909023; list nodes free:142488985
MC time: 4m15.502sec
checking: EG [[EX [[p83<=1 & 1<=p83]] | [[p48<=0 & 0<=p48] | [[p93<=1 & 1<=p93] & [p17<=0 & 0<=p17]]]]]
normalized: EG [[EX [[p83<=1 & 1<=p83]] | [[[p17<=0 & 0<=p17] & [p93<=1 & 1<=p93]] | [p48<=0 & 0<=p48]]]]
abstracting: (0<=p48)
states: 3,001,024,334,001 (12)
abstracting: (p48<=0)
states: 2,722,357,788,701 (12)
abstracting: (1<=p93)
states: 272,820,394,000 (11)
abstracting: (p93<=1)
states: 3,001,024,334,001 (12)
abstracting: (0<=p17)
states: 3,001,024,334,001 (12)
abstracting: (p17<=0)
states: 2,728,203,940,001 (12)
abstracting: (1<=p83)
states: 272,820,394,000 (11)
abstracting: (p83<=1)
states: 3,001,024,334,001 (12)
before gc: list nodes free: 3169169
after gc: idd nodes used:1730741, unused:62269259; list nodes free:392583041
.MC time: 3m38.348sec
checking: [EF [[[[p15<=0 & 0<=p15] | [[p69<=0 & 0<=p69] | [p79<=1 & 1<=p79]]] & EG [[p83<=1 & 1<=p83]]]] | EX [EG [EX [[p100<=1 & 1<=p100]]]]]
normalized: [EX [EG [EX [[p100<=1 & 1<=p100]]]] | E [true U [EG [[p83<=1 & 1<=p83]] & [[[p79<=1 & 1<=p79] | [p69<=0 & 0<=p69]] | [p15<=0 & 0<=p15]]]]]
abstracting: (0<=p15)
states: 3,001,024,334,001 (12)
abstracting: (p15<=0)
states: 2,728,203,940,001 (12)
abstracting: (0<=p69)
states: 3,001,024,334,001 (12)
abstracting: (p69<=0)
states: 2,728,203,940,001 (12)
abstracting: (1<=p79)
states: 272,820,394,000 (11)
abstracting: (p79<=1)
states: 3,001,024,334,001 (12)
abstracting: (1<=p83)
states: 272,820,394,000 (11)
abstracting: (p83<=1)
states: 3,001,024,334,001 (12)
.
before gc: list nodes free: 31992816
after gc: idd nodes used:30408052, unused:33591948; list nodes free:220541982
MC time: 3m20.100sec
checking: [AF [[p92<=1 & 1<=p92]] | [EF [[[p82<=1 & 1<=p82] & [[p76<=1 & 1<=p76] & [[p8<=0 & 0<=p8] | [p99<=1 & 1<=p99]]]]] & AG [[[p100<=0 & 0<=p100] | AX [[p32<=0 & 0<=p32]]]]]]
normalized: [[~ [E [true U ~ [[~ [EX [~ [[p32<=0 & 0<=p32]]]] | [p100<=0 & 0<=p100]]]]] & E [true U [[[[p99<=1 & 1<=p99] | [p8<=0 & 0<=p8]] & [p76<=1 & 1<=p76]] & [p82<=1 & 1<=p82]]]] | ~ [EG [~ [[p92<=1 & 1<=p92]]]]]
abstracting: (1<=p92)
states: 272,820,394,000 (11)
abstracting: (p92<=1)
states: 3,001,024,334,001 (12)
before gc: list nodes free: 18588785
after gc: idd nodes used:2254867, unused:61745133; list nodes free:390027009
MC time: 3m 6.512sec
checking: [A [[[p79<=1 & 1<=p79] | AF [EG [EF [[p8<=0 & 0<=p8]]]]] U [~ [[p31<=1 & 1<=p31]] | EX [~ [[~ [[p28<=1 & 1<=p28]] & [p107<=1 & 1<=p107]]]]]] & AG [EX [EG [[[p107<=0 & 0<=p107] & [p25<=0 & 0<=p25]]]]]]
normalized: [~ [E [true U ~ [EX [EG [[[p25<=0 & 0<=p25] & [p107<=0 & 0<=p107]]]]]]] & [~ [EG [~ [[EX [~ [[[p107<=1 & 1<=p107] & ~ [[p28<=1 & 1<=p28]]]]] | ~ [[p31<=1 & 1<=p31]]]]]] & ~ [E [~ [[EX [~ [[[p107<=1 & 1<=p107] & ~ [[p28<=1 & 1<=p28]]]]] | ~ [[p31<=1 & 1<=p31]]]] U [~ [[~ [EG [~ [EG [E [true U [p8<=0 & 0<=p8]]]]]] | [p79<=1 & 1<=p79]]] & ~ [[EX [~ [[[p107<=1 & 1<=p107] & ~ [[p28<=1 & 1<=p28]]]]] | ~ [[p31<=1 & 1<=p31]]]]]]]]]
abstracting: (1<=p31)
states: 272,820,394,000 (11)
abstracting: (p31<=1)
states: 3,001,024,334,001 (12)
abstracting: (1<=p28)
states: 278,666,545,300 (11)
abstracting: (p28<=1)
states: 3,001,024,334,001 (12)
abstracting: (1<=p107)
states: 272,820,394,000 (11)
abstracting: (p107<=1)
states: 3,001,024,334,001 (12)
before gc: list nodes free: 28978631
after gc: idd nodes used:12379569, unused:51620431; list nodes free:331238534
MC time: 2m49.572sec
checking: EG [[EX [[~ [E [[p4<=1 & 1<=p4] U [p56<=1 & 1<=p56]]] | AX [~ [[p103<=0 & 0<=p103]]]]] | [AF [[~ [[p109<=0 & 0<=p109]] & [~ [[p111<=1 & 1<=p111]] & [[p98<=0 & 0<=p98] | [p13<=1 & 1<=p13]]]]] & EF [AG [~ [[p97<=1 & 1<=p97]]]]]]]
normalized: EG [[[E [true U ~ [E [true U [p97<=1 & 1<=p97]]]] & ~ [EG [~ [[[[[p13<=1 & 1<=p13] | [p98<=0 & 0<=p98]] & ~ [[p111<=1 & 1<=p111]]] & ~ [[p109<=0 & 0<=p109]]]]]]] | EX [[~ [EX [[p103<=0 & 0<=p103]]] | ~ [E [[p4<=1 & 1<=p4] U [p56<=1 & 1<=p56]]]]]]]
abstracting: (1<=p56)
states: 272,820,394,000 (11)
abstracting: (p56<=1)
states: 3,001,024,334,001 (12)
abstracting: (1<=p4)
states: 278,666,545,300 (11)
abstracting: (p4<=1)
states: 3,001,024,334,001 (12)
abstracting: (0<=p103)
states: 3,001,024,334,001 (12)
abstracting: (p103<=0)
states: 2,728,203,940,001 (12)
MC time: 2m35.287sec
checking: A [[[p31<=1 & 1<=p31] | E [EX [AX [[p42<=1 & 1<=p42]]] U ~ [A [[[[p95<=0 & 0<=p95] | [p11<=1 & 1<=p11]] & [[p18<=0 & 0<=p18] | [p8<=1 & 1<=p8]]] U [[p98<=0 & 0<=p98] | [[p61<=1 & 1<=p61] | [p45<=1 & 1<=p45]]]]]]] U E [[~ [AF [[p77<=1 & 1<=p77]]] | [p110<=1 & 1<=p110]] U [p63<=1 & 1<=p63]]]
normalized: [~ [EG [~ [E [[[p110<=1 & 1<=p110] | EG [~ [[p77<=1 & 1<=p77]]]] U [p63<=1 & 1<=p63]]]]] & ~ [E [~ [E [[[p110<=1 & 1<=p110] | EG [~ [[p77<=1 & 1<=p77]]]] U [p63<=1 & 1<=p63]]] U [~ [[E [EX [~ [EX [~ [[p42<=1 & 1<=p42]]]]] U ~ [[~ [EG [~ [[[[p45<=1 & 1<=p45] | [p61<=1 & 1<=p61]] | [p98<=0 & 0<=p98]]]]] & ~ [E [~ [[[[p45<=1 & 1<=p45] | [p61<=1 & 1<=p61]] | [p98<=0 & 0<=p98]]] U [~ [[[[p8<=1 & 1<=p8] | [p18<=0 & 0<=p18]] & [[p11<=1 & 1<=p11] | [p95<=0 & 0<=p95]]]] & ~ [[[[p45<=1 & 1<=p45] | [p61<=1 & 1<=p61]] | [p98<=0 & 0<=p98]]]]]]]]] | [p31<=1 & 1<=p31]]] & ~ [E [[[p110<=1 & 1<=p110] | EG [~ [[p77<=1 & 1<=p77]]]] U [p63<=1 & 1<=p63]]]]]]]
abstracting: (1<=p63)
states: 272,820,394,000 (11)
abstracting: (p63<=1)
states: 3,001,024,334,001 (12)
abstracting: (1<=p77)
states: 272,820,394,000 (11)
abstracting: (p77<=1)
states: 3,001,024,334,001 (12)
before gc: list nodes free: 42069547
after gc: idd nodes used:8770302, unused:55229698; list nodes free:353541502
MC time: 2m25.620sec
checking: AG [[[[p100<=0 & 0<=p100] | [[p44<=1 & 1<=p44] | AG [~ [A [[p18<=0 & 0<=p18] U [p72<=0 & 0<=p72]]]]]] | [EX [0<=0] | [[EF [[[p76<=0 & 0<=p76] | [p96<=1 & 1<=p96]]] & [[p54<=1 & 1<=p54] | [EG [[p11<=0 & 0<=p11]] | [[p93<=0 & 0<=p93] & [[p95<=0 & 0<=p95] | [p61<=1 & 1<=p61]]]]]] | [AX [[p39<=1 & 1<=p39]] & [p104<=0 & 0<=p104]]]]]]
normalized: ~ [E [true U ~ [[[[[[p104<=0 & 0<=p104] & ~ [EX [~ [[p39<=1 & 1<=p39]]]]] | [[[[[[p61<=1 & 1<=p61] | [p95<=0 & 0<=p95]] & [p93<=0 & 0<=p93]] | EG [[p11<=0 & 0<=p11]]] | [p54<=1 & 1<=p54]] & E [true U [[p96<=1 & 1<=p96] | [p76<=0 & 0<=p76]]]]] | EX [0<=0]] | [[~ [E [true U [~ [EG [~ [[p72<=0 & 0<=p72]]]] & ~ [E [~ [[p72<=0 & 0<=p72]] U [~ [[p18<=0 & 0<=p18]] & ~ [[p72<=0 & 0<=p72]]]]]]]] | [p44<=1 & 1<=p44]] | [p100<=0 & 0<=p100]]]]]]
abstracting: (0<=p100)
states: 3,001,024,334,001 (12)
abstracting: (p100<=0)
states: 2,728,203,940,001 (12)
abstracting: (1<=p44)
states: 278,666,545,300 (11)
abstracting: (p44<=1)
states: 3,001,024,334,001 (12)
abstracting: (0<=p72)
states: 3,001,024,334,001 (12)
abstracting: (p72<=0)
states: 2,728,203,940,001 (12)
abstracting: (0<=p18)
states: 3,001,024,334,001 (12)
abstracting: (p18<=0)
states: 2,728,203,940,001 (12)
abstracting: (0<=p72)
states: 3,001,024,334,001 (12)
abstracting: (p72<=0)
states: 2,728,203,940,001 (12)
abstracting: (0<=p72)
states: 3,001,024,334,001 (12)
abstracting: (p72<=0)
states: 2,728,203,940,001 (12)
MC time: 2m13.949sec
checking: A [[p71<=1 & 1<=p71] U [[p72<=1 & 1<=p72] | [EF [EG [[p52<=1 & 1<=p52]]] | [EX [[p51<=1 & 1<=p51]] & [~ [E [[p24<=1 & 1<=p24] U [p103<=1 & 1<=p103]]] & [EF [[[[p37<=0 & 0<=p37] | [p95<=1 & 1<=p95]] | [[p89<=0 & 0<=p89] | [p14<=1 & 1<=p14]]]] | [~ [[[[0<=p98 & p98<=0] | [p27<=1 & 1<=p27]] & [p19<=0 & 0<=p19]]] & AX [[p118<=1 & 1<=p118]]]]]]]]]
normalized: [~ [EG [~ [[[[[[[~ [EX [~ [[p118<=1 & 1<=p118]]]] & ~ [[[p19<=0 & 0<=p19] & [[p27<=1 & 1<=p27] | [0<=p98 & p98<=0]]]]] | E [true U [[[p14<=1 & 1<=p14] | [p89<=0 & 0<=p89]] | [[p95<=1 & 1<=p95] | [p37<=0 & 0<=p37]]]]] & ~ [E [[p24<=1 & 1<=p24] U [p103<=1 & 1<=p103]]]] & EX [[p51<=1 & 1<=p51]]] | E [true U EG [[p52<=1 & 1<=p52]]]] | [p72<=1 & 1<=p72]]]]] & ~ [E [~ [[[[[[[~ [EX [~ [[p118<=1 & 1<=p118]]]] & ~ [[[p19<=0 & 0<=p19] & [[p27<=1 & 1<=p27] | [0<=p98 & p98<=0]]]]] | E [true U [[[p14<=1 & 1<=p14] | [p89<=0 & 0<=p89]] | [[p95<=1 & 1<=p95] | [p37<=0 & 0<=p37]]]]] & ~ [E [[p24<=1 & 1<=p24] U [p103<=1 & 1<=p103]]]] & EX [[p51<=1 & 1<=p51]]] | E [true U EG [[p52<=1 & 1<=p52]]]] | [p72<=1 & 1<=p72]]] U [~ [[p71<=1 & 1<=p71]] & ~ [[[[[[[~ [EX [~ [[p118<=1 & 1<=p118]]]] & ~ [[[p19<=0 & 0<=p19] & [[p27<=1 & 1<=p27] | [0<=p98 & p98<=0]]]]] | E [true U [[[p14<=1 & 1<=p14] | [p89<=0 & 0<=p89]] | [[p95<=1 & 1<=p95] | [p37<=0 & 0<=p37]]]]] & ~ [E [[p24<=1 & 1<=p24] U [p103<=1 & 1<=p103]]]] & EX [[p51<=1 & 1<=p51]]] | E [true U EG [[p52<=1 & 1<=p52]]]] | [p72<=1 & 1<=p72]]]]]]]
abstracting: (1<=p72)
states: 272,820,394,000 (11)
abstracting: (p72<=1)
states: 3,001,024,334,001 (12)
abstracting: (1<=p52)
states: 272,820,394,000 (11)
abstracting: (p52<=1)
states: 3,001,024,334,001 (12)
before gc: list nodes free: 29211949
after gc: idd nodes used:12380781, unused:51619219; list nodes free:331083700
MC time: 2m 5.571sec
checking: [AG [A [[[[p15<=1 & 1<=p15] | [[p109<=0 & 0<=p109] | [p69<=0 & 0<=p69]]] & E [~ [[p81<=0 & 0<=p81]] U EG [[[p3<=0 & 0<=p3] | [p58<=1 & 1<=p58]]]]] U [~ [AX [[p74<=1 & 1<=p74]]] | A [~ [[p41<=0 & 0<=p41]] U EG [[[p40<=0 & 0<=p40] | [p70<=1 & 1<=p70]]]]]]] | AG [EF [~ [E [[p90<=1 & 1<=p90] U E [[p97<=1 & 1<=p97] U [[p58<=0 & 0<=p58] | [p41<=1 & 1<=p41]]]]]]]]
normalized: [~ [E [true U ~ [E [true U ~ [E [[p90<=1 & 1<=p90] U E [[p97<=1 & 1<=p97] U [[p41<=1 & 1<=p41] | [p58<=0 & 0<=p58]]]]]]]]] | ~ [E [true U ~ [[~ [EG [~ [[[~ [EG [~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]]]] & ~ [E [~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]] U [[p41<=0 & 0<=p41] & ~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]]]]]] | EX [~ [[p74<=1 & 1<=p74]]]]]]] & ~ [E [~ [[[~ [EG [~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]]]] & ~ [E [~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]] U [[p41<=0 & 0<=p41] & ~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]]]]]] | EX [~ [[p74<=1 & 1<=p74]]]]] U [~ [[E [~ [[p81<=0 & 0<=p81]] U EG [[[p58<=1 & 1<=p58] | [p3<=0 & 0<=p3]]]] & [[[p69<=0 & 0<=p69] | [p109<=0 & 0<=p109]] | [p15<=1 & 1<=p15]]]] & ~ [[[~ [EG [~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]]]] & ~ [E [~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]] U [[p41<=0 & 0<=p41] & ~ [EG [[[p70<=1 & 1<=p70] | [p40<=0 & 0<=p40]]]]]]]] | EX [~ [[p74<=1 & 1<=p74]]]]]]]]]]]]]
abstracting: (1<=p74)
states: 272,820,394,000 (11)
abstracting: (p74<=1)
states: 3,001,024,334,001 (12)
MC time: 1m47.590sec
checking: [AF [[[p50<=1 & 1<=p50] | [p44<=1 & 1<=p44]]] | [AG [[[AX [[[p3<=1 & 1<=p3] | [p65<=0 & 0<=p65]]] & [[p51<=0 & 0<=p51] | [[p23<=1 & 1<=p23] | EF [[p49<=0 & 0<=p49]]]]] & [[[p17<=0 & 0<=p17] | [p30<=1 & 1<=p30]] & [[p2<=0 & 0<=p2] | [[p51<=1 & 1<=p51] | [p94<=0 & 0<=p94]]]]]] | E [[p23<=1 & 1<=p23] U [[p105<=1 & 1<=p105] & [[AX [[[p52<=0 & 0<=p52] | [p62<=1 & 1<=p62]]] | EG [[[p98<=0 & 0<=p98] | [p29<=1 & 1<=p29]]]] | [[p100<=1 & 1<=p100] | [A [[p113<=1 & 1<=p113] U [p63<=0 & 0<=p63]] & EX [0<=0]]]]]]]]
normalized: [[~ [E [true U ~ [[[[[[p94<=0 & 0<=p94] | [p51<=1 & 1<=p51]] | [p2<=0 & 0<=p2]] & [[p30<=1 & 1<=p30] | [p17<=0 & 0<=p17]]] & [[[E [true U [p49<=0 & 0<=p49]] | [p23<=1 & 1<=p23]] | [p51<=0 & 0<=p51]] & ~ [EX [~ [[[p65<=0 & 0<=p65] | [p3<=1 & 1<=p3]]]]]]]]]] | E [[p23<=1 & 1<=p23] U [[[[EX [0<=0] & [~ [EG [~ [[p63<=0 & 0<=p63]]]] & ~ [E [~ [[p63<=0 & 0<=p63]] U [~ [[p113<=1 & 1<=p113]] & ~ [[p63<=0 & 0<=p63]]]]]]] | [p100<=1 & 1<=p100]] | [EG [[[p29<=1 & 1<=p29] | [p98<=0 & 0<=p98]]] | ~ [EX [~ [[[p62<=1 & 1<=p62] | [p52<=0 & 0<=p52]]]]]]] & [p105<=1 & 1<=p105]]]] | ~ [EG [~ [[[p44<=1 & 1<=p44] | [p50<=1 & 1<=p50]]]]]]
abstracting: (1<=p50)
states: 272,820,394,000 (11)
abstracting: (p50<=1)
states: 3,001,024,334,001 (12)
abstracting: (1<=p44)
states: 278,666,545,300 (11)
abstracting: (p44<=1)
states: 3,001,024,334,001 (12)
before gc: list nodes free: 35060688
after gc: idd nodes used:24963506, unused:39036494; list nodes free:255919135
MC time: 2m14.832sec
checking: EF [~ [A [~ [[p13<=1 & 1<=p13]] U AF [[[p23<=0 & 0<=p23] | [p38<=1 & 1<=p38]]]]]]
normalized: E [true U ~ [[~ [EG [EG [~ [[[p38<=1 & 1<=p38] | [p23<=0 & 0<=p23]]]]]] & ~ [E [EG [~ [[[p38<=1 & 1<=p38] | [p23<=0 & 0<=p23]]]] U [[p13<=1 & 1<=p13] & EG [~ [[[p38<=1 & 1<=p38] | [p23<=0 & 0<=p23]]]]]]]]]]
abstracting: (0<=p23)
states: 3,001,024,334,001 (12)
abstracting: (p23<=0)
states: 2,722,357,788,701 (12)
abstracting: (1<=p38)
states: 272,820,394,000 (11)
abstracting: (p38<=1)
states: 3,001,024,334,001 (12)
.
before gc: list nodes free: 36554406
after gc: idd nodes used:17366856, unused:46633144; list nodes free:303353218
before gc: list nodes free: 5642018
after gc: idd nodes used:53205568, unused:10794432; list nodes free:74662073
FORMULA DiscoveryGPU-PT-12a-CTLCardinality-02 CANNOT_COMPUTE
MC time: 8m 9.089sec
checking: [EG [AG [EF [[p73<=1 & 1<=p73]]]] & EF [[[p62<=0 & 0<=p62] | [[p2<=1 & 1<=p2] | [p46<=1 & 1<=p46]]]]]
normalized: [E [true U [[[p46<=1 & 1<=p46] | [p2<=1 & 1<=p2]] | [p62<=0 & 0<=p62]]] & EG [~ [E [true U ~ [E [true U [p73<=1 & 1<=p73]]]]]]]
abstracting: (1<=p73)
states: 272,820,394,000 (11)
abstracting: (p73<=1)
states: 3,001,024,334,001 (12)
before gc: list nodes free: 4037402
after gc: idd nodes used:2935749, unused:61064251; list nodes free:386935159
.
before gc: list nodes free: 32741106
after gc: idd nodes used:43967740, unused:20032260; list nodes free:133571014
before gc: list nodes free: 3760159
after gc: idd nodes used:53044935, unused:10955065; list nodes free:75304091
FORMULA DiscoveryGPU-PT-12a-CTLCardinality-08 CANNOT_COMPUTE
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4382344 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16102684 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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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.013sec
iterations count:2323 (15), effective:121 (0)
initing FirstDep: 0m 0.000sec
iterations count:156 (1), effective:1 (0)
idd.cc:820: DD Exception: No free nodes
idd.cc:820: DD Exception: No free nodes
net_ddint.h:442: Timeout: after 263 sec
iterations count:293 (1), effective:7 (0)
iterations count:340 (2), effective:8 (0)
net_ddint.h:442: Timeout: after 239 sec
net_ddint.h:600: Timeout: after 217 sec
net_ddint.h:442: Timeout: after 199 sec
net_ddint.h:600: Timeout: after 182 sec
net_ddint.h:600: Timeout: after 167 sec
iterations count:158 (1), effective:2 (0)
net_ddint.h:600: Timeout: after 153 sec
net_ddint.h:600: Timeout: after 140 sec
iterations count:158 (1), effective:2 (0)
net_ddint.h:600: Timeout: after 128 sec
net_ddint.h:600: Timeout: after 116 sec
net_ddint.h:600: Timeout: after 106 sec
net_ddint.h:600: Timeout: after 97 sec
idd.cc:820: DD Exception: No free nodes
iterations count:293 (1), effective:7 (0)
iterations count:340 (2), effective:8 (0)
idd.cc:820: DD Exception: No free nodes
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="DiscoveryGPU-PT-12a"
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 DiscoveryGPU-PT-12a, 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 r138-smll-167819420500377"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-12a.tgz
mv DiscoveryGPU-PT-12a 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 ;