About the Execution of Marcie+red for DoubleExponent-PT-200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9498.504 | 3600000.00 | 3690122.00 | 11204.60 | [undef] | Time out reached |
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-167819420900497.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 DoubleExponent-PT-200, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-167819420900497
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.9M
-rw-r--r-- 1 mcc users 7.3K Feb 26 13:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 13:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 13:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 13:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 13:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 13:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 13:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 13:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 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 3.5M 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 DoubleExponent-PT-200-CTLCardinality-00
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-01
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-02
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-03
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-04
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-05
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-06
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-07
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-08
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-09
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-10
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-11
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-12
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-13
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-14
FORMULA_NAME DoubleExponent-PT-200-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678897528847
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=DoubleExponent-PT-200
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-15 16:25:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-15 16:25:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 16:25:33] [INFO ] Load time of PNML (sax parser for PT used): 639 ms
[2023-03-15 16:25:33] [INFO ] Transformed 10604 places.
[2023-03-15 16:25:33] [INFO ] Transformed 9998 transitions.
[2023-03-15 16:25:33] [INFO ] Parsed PT model containing 10604 places and 9998 transitions and 28194 arcs in 869 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 26 ms.
Support contains 164 out of 10604 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 10604/10604 places, 9998/9998 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 10600 transition count 9998
Applied a total of 4 rules in 5194 ms. Remains 10600 /10604 variables (removed 4) and now considering 9998/9998 (removed 0) transitions.
// Phase 1: matrix 9998 rows 10600 cols
[2023-03-15 16:25:43] [INFO ] Invariants computation overflowed in 618 ms
[2023-03-15 16:25:45] [INFO ] Implicit Places using invariants in 2680 ms returned []
Implicit Place search using SMT only with invariants took 2720 ms to find 0 implicit places.
// Phase 1: matrix 9998 rows 10600 cols
[2023-03-15 16:25:46] [INFO ] Invariants computation overflowed in 330 ms
[2023-03-15 16:25:47] [INFO ] Dead Transitions using invariants and state equation in 1778 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 10600/10604 places, 9998/9998 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9699 ms. Remains : 10600/10604 places, 9998/9998 transitions.
Support contains 164 out of 10600 places after structural reductions.
[2023-03-15 16:25:50] [INFO ] Flatten gal took : 747 ms
[2023-03-15 16:25:51] [INFO ] Flatten gal took : 429 ms
[2023-03-15 16:25:52] [INFO ] Input system was already deterministic with 9998 transitions.
Incomplete random walk after 10000 steps, including 330 resets, run finished after 944 ms. (steps per millisecond=10 ) properties (out of 82) seen :2
Incomplete Best-First random walk after 1001 steps, including 28 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 30 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 23 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 32 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 25 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 28 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 29 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 25 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 30 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 27 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 24 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 24 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 27 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 30 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 80) seen :0
Interrupted probabilistic random walk after 62502 steps, run timeout after 9001 ms. (steps per millisecond=6 ) properties seen :{}
Probabilistic random walk after 62502 steps, saw 31257 distinct states, run finished after 9003 ms. (steps per millisecond=6 ) properties seen :0
Running SMT prover for 80 properties.
// Phase 1: matrix 9998 rows 10600 cols
[2023-03-15 16:26:09] [INFO ] Invariants computation overflowed in 403 ms
[2023-03-15 16:26:33] [INFO ] After 24436ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:80
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:629)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-15 16:26:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-15 16:26:58] [INFO ] After 25138ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:80
Fused 80 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 162 out of 10600 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Graph (complete) has 18191 edges and 10600 vertex of which 10598 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.49 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 2238 transitions
Trivial Post-agglo rules discarded 2238 transitions
Performed 2238 trivial Post agglomeration. Transition count delta: 2238
Iterating post reduction 0 with 2241 rules applied. Total rules applied 2242 place count 10597 transition count 7758
Reduce places removed 2238 places and 0 transitions.
Performed 52 Post agglomeration using F-continuation condition.Transition count delta: 52
Iterating post reduction 1 with 2290 rules applied. Total rules applied 4532 place count 8359 transition count 7706
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 2 with 52 rules applied. Total rules applied 4584 place count 8307 transition count 7706
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 400 Pre rules applied. Total rules applied 4584 place count 8307 transition count 7306
Deduced a syphon composed of 400 places in 988 ms
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 3 with 800 rules applied. Total rules applied 5384 place count 7907 transition count 7306
Performed 1726 Post agglomeration using F-continuation condition.Transition count delta: 1726
Deduced a syphon composed of 1726 places in 439 ms
Reduce places removed 1726 places and 0 transitions.
Iterating global reduction 3 with 3452 rules applied. Total rules applied 8836 place count 6181 transition count 5580
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 426 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 9038 place count 6080 transition count 5580
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 330 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 9240 place count 5979 transition count 5580
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 307 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 9442 place count 5878 transition count 5580
Performed 70 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 70 places in 316 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 3 with 140 rules applied. Total rules applied 9582 place count 5808 transition count 5580
Free-agglomeration rule applied 3 times.
Iterating global reduction 3 with 3 rules applied. Total rules applied 9585 place count 5808 transition count 5577
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 9588 place count 5805 transition count 5577
Free-agglomeration rule (complex) applied 824 times.
Iterating global reduction 4 with 824 rules applied. Total rules applied 10412 place count 5805 transition count 4753
Reduce places removed 824 places and 0 transitions.
Iterating post reduction 4 with 824 rules applied. Total rules applied 11236 place count 4981 transition count 4753
Partial Free-agglomeration rule applied 806 times.
Drop transitions removed 806 transitions
Iterating global reduction 5 with 806 rules applied. Total rules applied 12042 place count 4981 transition count 4753
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 12043 place count 4980 transition count 4752
Applied a total of 12043 rules in 12961 ms. Remains 4980 /10600 variables (removed 5620) and now considering 4752/9998 (removed 5246) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 12965 ms. Remains : 4980/10600 places, 4752/9998 transitions.
Incomplete random walk after 10000 steps, including 970 resets, run finished after 503 ms. (steps per millisecond=19 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 78 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 67 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 62 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 73 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 71 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 69 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 69 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 68 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 78 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 69 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 79 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 70 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 62 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 63 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 75 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 74 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 69 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 70 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 79 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 70 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 66 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 72 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 70 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 67 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 71 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 68 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 76 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 69 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 72 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 78 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 71 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 68 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 69 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 65 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 64 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 66 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 68 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 67 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 72 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 71 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 76 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 69 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 68 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 62 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 70 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 67 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 66 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 66 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1000 steps, including 71 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 1001 steps, including 76 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 80) seen :0
Interrupted probabilistic random walk after 38750 steps, run timeout after 3001 ms. (steps per millisecond=12 ) properties seen :{}
Probabilistic random walk after 38750 steps, saw 19399 distinct states, run finished after 3004 ms. (steps per millisecond=12 ) properties seen :0
Running SMT prover for 80 properties.
// Phase 1: matrix 4752 rows 4980 cols
[2023-03-15 16:27:17] [INFO ] Invariants computation overflowed in 156 ms
[2023-03-15 16:27:29] [INFO ] After 11570ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:80
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:631)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-15 16:27:54] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-15 16:27:54] [INFO ] After 25015ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:80
Fused 80 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 162 out of 4980 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4980/4980 places, 4752/4752 transitions.
Applied a total of 0 rules in 780 ms. Remains 4980 /4980 variables (removed 0) and now considering 4752/4752 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 781 ms. Remains : 4980/4980 places, 4752/4752 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4980/4980 places, 4752/4752 transitions.
Applied a total of 0 rules in 570 ms. Remains 4980 /4980 variables (removed 0) and now considering 4752/4752 (removed 0) transitions.
// Phase 1: matrix 4752 rows 4980 cols
[2023-03-15 16:27:55] [INFO ] Invariants computation overflowed in 141 ms
[2023-03-15 16:28:09] [INFO ] Implicit Places using invariants in 13623 ms returned []
// Phase 1: matrix 4752 rows 4980 cols
[2023-03-15 16:28:09] [INFO ] Invariants computation overflowed in 236 ms
[2023-03-15 16:28:10] [INFO ] Implicit Places using invariants and state equation in 1715 ms returned []
Implicit Place search using SMT with State Equation took 15344 ms to find 0 implicit places.
[2023-03-15 16:28:11] [INFO ] Redundant transitions in 485 ms returned []
// Phase 1: matrix 4752 rows 4980 cols
[2023-03-15 16:28:11] [INFO ] Invariants computation overflowed in 143 ms
[2023-03-15 16:28:12] [INFO ] Dead Transitions using invariants and state equation in 804 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 17215 ms. Remains : 4980/4980 places, 4752/4752 transitions.
[2023-03-15 16:28:12] [INFO ] Flatten gal took : 334 ms
[2023-03-15 16:28:13] [INFO ] Flatten gal took : 323 ms
[2023-03-15 16:28:13] [INFO ] Input system was already deterministic with 9998 transitions.
Computed a total of 7 stabilizing places and 7 stable transitions
Graph (complete) has 18191 edges and 10600 vertex of which 10598 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.59 ms
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2396 transitions
Trivial Post-agglo rules discarded 2396 transitions
Performed 2396 trivial Post agglomeration. Transition count delta: 2396
Iterating post reduction 0 with 2396 rules applied. Total rules applied 2396 place count 10599 transition count 7601
Reduce places removed 2396 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 2398 rules applied. Total rules applied 4794 place count 8203 transition count 7599
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 4796 place count 8201 transition count 7599
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 400 Pre rules applied. Total rules applied 4796 place count 8201 transition count 7199
Deduced a syphon composed of 400 places in 922 ms
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 3 with 800 rules applied. Total rules applied 5596 place count 7801 transition count 7199
Performed 1401 Post agglomeration using F-continuation condition.Transition count delta: 1401
Deduced a syphon composed of 1401 places in 434 ms
Reduce places removed 1401 places and 0 transitions.
Iterating global reduction 3 with 2802 rules applied. Total rules applied 8398 place count 6400 transition count 5798
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 8399 place count 6399 transition count 5797
Applied a total of 8399 rules in 5628 ms. Remains 6399 /10600 variables (removed 4201) and now considering 5797/9998 (removed 4201) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5629 ms. Remains : 6399/10600 places, 5797/9998 transitions.
[2023-03-15 16:28:19] [INFO ] Flatten gal took : 185 ms
[2023-03-15 16:28:19] [INFO ] Flatten gal took : 208 ms
[2023-03-15 16:28:20] [INFO ] Input system was already deterministic with 5797 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4319 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4324 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:28:24] [INFO ] Flatten gal took : 252 ms
[2023-03-15 16:28:24] [INFO ] Flatten gal took : 269 ms
[2023-03-15 16:28:25] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4316 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4320 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:28:29] [INFO ] Flatten gal took : 237 ms
[2023-03-15 16:28:30] [INFO ] Flatten gal took : 259 ms
[2023-03-15 16:28:30] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4393 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4400 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:28:35] [INFO ] Flatten gal took : 265 ms
[2023-03-15 16:28:35] [INFO ] Flatten gal took : 414 ms
[2023-03-15 16:28:36] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4322 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4322 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:28:40] [INFO ] Flatten gal took : 263 ms
[2023-03-15 16:28:41] [INFO ] Flatten gal took : 418 ms
[2023-03-15 16:28:41] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4173 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4174 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:28:46] [INFO ] Flatten gal took : 214 ms
[2023-03-15 16:28:46] [INFO ] Flatten gal took : 242 ms
[2023-03-15 16:28:46] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2375 transitions
Trivial Post-agglo rules discarded 2375 transitions
Performed 2375 trivial Post agglomeration. Transition count delta: 2375
Iterating post reduction 0 with 2375 rules applied. Total rules applied 2375 place count 10599 transition count 7622
Reduce places removed 2375 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 1 with 2381 rules applied. Total rules applied 4756 place count 8224 transition count 7616
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 4762 place count 8218 transition count 7616
Performed 403 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 403 Pre rules applied. Total rules applied 4762 place count 8218 transition count 7213
Deduced a syphon composed of 403 places in 934 ms
Reduce places removed 403 places and 0 transitions.
Iterating global reduction 3 with 806 rules applied. Total rules applied 5568 place count 7815 transition count 7213
Performed 1391 Post agglomeration using F-continuation condition.Transition count delta: 1391
Deduced a syphon composed of 1391 places in 433 ms
Reduce places removed 1391 places and 0 transitions.
Iterating global reduction 3 with 2782 rules applied. Total rules applied 8350 place count 6424 transition count 5822
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 8351 place count 6423 transition count 5821
Applied a total of 8351 rules in 5480 ms. Remains 6423 /10600 variables (removed 4177) and now considering 5821/9998 (removed 4177) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5480 ms. Remains : 6423/10600 places, 5821/9998 transitions.
[2023-03-15 16:28:52] [INFO ] Flatten gal took : 151 ms
[2023-03-15 16:28:52] [INFO ] Flatten gal took : 172 ms
[2023-03-15 16:28:52] [INFO ] Input system was already deterministic with 5821 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2397 transitions
Trivial Post-agglo rules discarded 2397 transitions
Performed 2397 trivial Post agglomeration. Transition count delta: 2397
Iterating post reduction 0 with 2397 rules applied. Total rules applied 2397 place count 10599 transition count 7600
Reduce places removed 2397 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 2399 rules applied. Total rules applied 4796 place count 8202 transition count 7598
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 4798 place count 8200 transition count 7598
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 399 Pre rules applied. Total rules applied 4798 place count 8200 transition count 7199
Deduced a syphon composed of 399 places in 906 ms
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 3 with 798 rules applied. Total rules applied 5596 place count 7801 transition count 7199
Performed 1400 Post agglomeration using F-continuation condition.Transition count delta: 1400
Deduced a syphon composed of 1400 places in 431 ms
Reduce places removed 1400 places and 0 transitions.
Iterating global reduction 3 with 2800 rules applied. Total rules applied 8396 place count 6401 transition count 5799
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 8397 place count 6400 transition count 5798
Applied a total of 8397 rules in 5559 ms. Remains 6400 /10600 variables (removed 4200) and now considering 5798/9998 (removed 4200) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5560 ms. Remains : 6400/10600 places, 5798/9998 transitions.
[2023-03-15 16:28:58] [INFO ] Flatten gal took : 153 ms
[2023-03-15 16:28:58] [INFO ] Flatten gal took : 168 ms
[2023-03-15 16:28:59] [INFO ] Input system was already deterministic with 5798 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4216 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4216 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:29:03] [INFO ] Flatten gal took : 232 ms
[2023-03-15 16:29:03] [INFO ] Flatten gal took : 254 ms
[2023-03-15 16:29:04] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2400 transitions
Trivial Post-agglo rules discarded 2400 transitions
Performed 2400 trivial Post agglomeration. Transition count delta: 2400
Iterating post reduction 0 with 2400 rules applied. Total rules applied 2400 place count 10599 transition count 7597
Reduce places removed 2400 places and 0 transitions.
Iterating post reduction 1 with 2400 rules applied. Total rules applied 4800 place count 8199 transition count 7597
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 399 Pre rules applied. Total rules applied 4800 place count 8199 transition count 7198
Deduced a syphon composed of 399 places in 878 ms
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 2 with 798 rules applied. Total rules applied 5598 place count 7800 transition count 7198
Performed 1397 Post agglomeration using F-continuation condition.Transition count delta: 1397
Deduced a syphon composed of 1397 places in 431 ms
Reduce places removed 1397 places and 0 transitions.
Iterating global reduction 2 with 2794 rules applied. Total rules applied 8392 place count 6403 transition count 5801
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 8393 place count 6402 transition count 5800
Applied a total of 8393 rules in 5362 ms. Remains 6402 /10600 variables (removed 4198) and now considering 5800/9998 (removed 4198) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5363 ms. Remains : 6402/10600 places, 5800/9998 transitions.
[2023-03-15 16:29:09] [INFO ] Flatten gal took : 153 ms
[2023-03-15 16:29:10] [INFO ] Flatten gal took : 167 ms
[2023-03-15 16:29:10] [INFO ] Input system was already deterministic with 5800 transitions.
Incomplete random walk after 10000 steps, including 1020 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 671 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 50693 steps, run timeout after 3001 ms. (steps per millisecond=16 ) properties seen :{}
Probabilistic random walk after 50693 steps, saw 25353 distinct states, run finished after 3004 ms. (steps per millisecond=16 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 5800 rows 6402 cols
[2023-03-15 16:29:13] [INFO ] Invariants computation overflowed in 191 ms
[2023-03-15 16:29:14] [INFO ] After 1274ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-15 16:29:29] [INFO ] After 13925ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-15 16:29:30] [INFO ] State equation strengthened by 398 read => feed constraints.
[2023-03-15 16:29:39] [INFO ] After 9763ms SMT Verify possible using 398 Read/Feed constraints in natural domain returned unsat :0 sat :0
[2023-03-15 16:29:39] [INFO ] After 24834ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 9 ms.
Support contains 2 out of 6402 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6402/6402 places, 5800/5800 transitions.
Graph (complete) has 16179 edges and 6402 vertex of which 6400 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.4 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 0 with 3 rules applied. Total rules applied 4 place count 6399 transition count 5798
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 4 place count 6399 transition count 5797
Deduced a syphon composed of 1 places in 579 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 6 place count 6398 transition count 5797
Performed 404 Post agglomeration using F-continuation condition.Transition count delta: 404
Deduced a syphon composed of 404 places in 334 ms
Reduce places removed 404 places and 0 transitions.
Iterating global reduction 1 with 808 rules applied. Total rules applied 814 place count 5994 transition count 5393
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 296 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 1 with 202 rules applied. Total rules applied 1016 place count 5893 transition count 5393
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 297 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 1 with 202 rules applied. Total rules applied 1218 place count 5792 transition count 5393
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 262 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 1 with 202 rules applied. Total rules applied 1420 place count 5691 transition count 5393
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 94 places in 267 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 1 with 188 rules applied. Total rules applied 1608 place count 5597 transition count 5393
Free-agglomeration rule (complex) applied 797 times.
Iterating global reduction 1 with 797 rules applied. Total rules applied 2405 place count 5597 transition count 4596
Reduce places removed 797 places and 0 transitions.
Iterating post reduction 1 with 797 rules applied. Total rules applied 3202 place count 4800 transition count 4596
Renaming transitions due to excessive name length > 1024 char.
Partial Free-agglomeration rule applied 801 times.
Drop transitions removed 801 transitions
Iterating global reduction 2 with 801 rules applied. Total rules applied 4003 place count 4800 transition count 4596
Applied a total of 4003 rules in 9156 ms. Remains 4800 /6402 variables (removed 1602) and now considering 4596/5800 (removed 1204) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9157 ms. Remains : 4800/6402 places, 4596/5800 transitions.
Incomplete random walk after 1000000 steps, including 127332 resets, run finished after 3543 ms. (steps per millisecond=282 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84201 resets, run finished after 2346 ms. (steps per millisecond=426 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 319891 steps, run timeout after 15001 ms. (steps per millisecond=21 ) properties seen :{}
Probabilistic random walk after 319891 steps, saw 160041 distinct states, run finished after 15001 ms. (steps per millisecond=21 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:30:10] [INFO ] Invariants computation overflowed in 100 ms
[2023-03-15 16:30:11] [INFO ] After 879ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-15 16:30:26] [INFO ] After 14952ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 4800 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4800/4800 places, 4596/4596 transitions.
Applied a total of 0 rules in 1664 ms. Remains 4800 /4800 variables (removed 0) and now considering 4596/4596 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1664 ms. Remains : 4800/4800 places, 4596/4596 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4800/4800 places, 4596/4596 transitions.
Applied a total of 0 rules in 1470 ms. Remains 4800 /4800 variables (removed 0) and now considering 4596/4596 (removed 0) transitions.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:30:29] [INFO ] Invariants computation overflowed in 131 ms
[2023-03-15 16:30:30] [INFO ] Implicit Places using invariants in 747 ms returned []
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:30:30] [INFO ] Invariants computation overflowed in 109 ms
[2023-03-15 16:30:32] [INFO ] Implicit Places using invariants and state equation in 1547 ms returned []
Implicit Place search using SMT with State Equation took 2296 ms to find 0 implicit places.
[2023-03-15 16:30:33] [INFO ] Redundant transitions in 982 ms returned []
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:30:33] [INFO ] Invariants computation overflowed in 97 ms
[2023-03-15 16:30:33] [INFO ] Dead Transitions using invariants and state equation in 760 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5517 ms. Remains : 4800/4800 places, 4596/4596 transitions.
Incomplete random walk after 100000 steps, including 12707 resets, run finished after 533 ms. (steps per millisecond=187 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:30:35] [INFO ] Invariants computation overflowed in 109 ms
[2023-03-15 16:30:50] [INFO ] After 14996ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Incomplete random walk after 1000000 steps, including 127106 resets, run finished after 3553 ms. (steps per millisecond=281 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84429 resets, run finished after 2329 ms. (steps per millisecond=429 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 322662 steps, run timeout after 15001 ms. (steps per millisecond=21 ) properties seen :{}
Probabilistic random walk after 322662 steps, saw 161423 distinct states, run finished after 15001 ms. (steps per millisecond=21 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:31:11] [INFO ] Invariants computation overflowed in 129 ms
[2023-03-15 16:31:12] [INFO ] After 1057ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-15 16:31:27] [INFO ] After 14783ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 4800 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4800/4800 places, 4596/4596 transitions.
Applied a total of 0 rules in 1480 ms. Remains 4800 /4800 variables (removed 0) and now considering 4596/4596 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1480 ms. Remains : 4800/4800 places, 4596/4596 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4800/4800 places, 4596/4596 transitions.
Applied a total of 0 rules in 1468 ms. Remains 4800 /4800 variables (removed 0) and now considering 4596/4596 (removed 0) transitions.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:31:30] [INFO ] Invariants computation overflowed in 96 ms
[2023-03-15 16:32:01] [INFO ] Performed 727/4800 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-15 16:32:31] [INFO ] Performed 1227/4800 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2023-03-15 16:33:01] [INFO ] Performed 1713/4800 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2023-03-15 16:33:31] [INFO ] Performed 2220/4800 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2023-03-15 16:33:31] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2023-03-15 16:33:31] [INFO ] Implicit Places using invariants in 121635 ms returned []
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:33:31] [INFO ] Invariants computation overflowed in 134 ms
[2023-03-15 16:33:33] [INFO ] Implicit Places using invariants and state equation in 1647 ms returned []
Implicit Place search using SMT with State Equation took 123284 ms to find 0 implicit places.
[2023-03-15 16:33:34] [INFO ] Redundant transitions in 948 ms returned []
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:33:34] [INFO ] Invariants computation overflowed in 95 ms
[2023-03-15 16:33:35] [INFO ] Dead Transitions using invariants and state equation in 857 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 126568 ms. Remains : 4800/4800 places, 4596/4596 transitions.
Incomplete random walk after 100000 steps, including 12674 resets, run finished after 335 ms. (steps per millisecond=298 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:33:36] [INFO ] Invariants computation overflowed in 96 ms
[2023-03-15 16:33:51] [INFO ] After 14837ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Incomplete random walk after 10000 steps, including 1252 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 862 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 60253 steps, run timeout after 3001 ms. (steps per millisecond=20 ) properties seen :{}
Probabilistic random walk after 60253 steps, saw 30144 distinct states, run finished after 3001 ms. (steps per millisecond=20 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:33:56] [INFO ] Invariants computation overflowed in 97 ms
[2023-03-15 16:33:57] [INFO ] After 780ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-15 16:34:12] [INFO ] After 14975ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 4800 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4800/4800 places, 4596/4596 transitions.
Applied a total of 0 rules in 1660 ms. Remains 4800 /4800 variables (removed 0) and now considering 4596/4596 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1661 ms. Remains : 4800/4800 places, 4596/4596 transitions.
Incomplete random walk after 10000 steps, including 1232 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 853 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 65324 steps, run timeout after 3001 ms. (steps per millisecond=21 ) properties seen :{}
Probabilistic random walk after 65324 steps, saw 32683 distinct states, run finished after 3001 ms. (steps per millisecond=21 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:34:18] [INFO ] Invariants computation overflowed in 97 ms
[2023-03-15 16:34:18] [INFO ] After 773ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-15 16:34:34] [INFO ] After 15912ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 2 out of 4800 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4800/4800 places, 4596/4596 transitions.
Applied a total of 0 rules in 1479 ms. Remains 4800 /4800 variables (removed 0) and now considering 4596/4596 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1483 ms. Remains : 4800/4800 places, 4596/4596 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4800/4800 places, 4596/4596 transitions.
Applied a total of 0 rules in 1482 ms. Remains 4800 /4800 variables (removed 0) and now considering 4596/4596 (removed 0) transitions.
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:34:37] [INFO ] Invariants computation overflowed in 100 ms
[2023-03-15 16:34:38] [INFO ] Implicit Places using invariants in 711 ms returned []
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:34:38] [INFO ] Invariants computation overflowed in 109 ms
[2023-03-15 16:34:39] [INFO ] Implicit Places using invariants and state equation in 1361 ms returned []
Implicit Place search using SMT with State Equation took 2075 ms to find 0 implicit places.
[2023-03-15 16:34:40] [INFO ] Redundant transitions in 1081 ms returned []
// Phase 1: matrix 4596 rows 4800 cols
[2023-03-15 16:34:41] [INFO ] Invariants computation overflowed in 96 ms
[2023-03-15 16:34:41] [INFO ] Dead Transitions using invariants and state equation in 863 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5510 ms. Remains : 4800/4800 places, 4596/4596 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4800 transition count 4595
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 4799 transition count 4595
Performed 398 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 398 Pre rules applied. Total rules applied 2 place count 4799 transition count 4197
Deduced a syphon composed of 398 places in 925 ms
Reduce places removed 398 places and 0 transitions.
Iterating global reduction 2 with 796 rules applied. Total rules applied 798 place count 4401 transition count 4197
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 799 place count 4401 transition count 4196
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 800 place count 4400 transition count 4196
Applied a total of 800 rules in 4343 ms. Remains 4400 /4800 variables (removed 400) and now considering 4196/4596 (removed 400) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 4196 rows 4400 cols
[2023-03-15 16:34:47] [INFO ] Invariants computation overflowed in 95 ms
[2023-03-15 16:34:48] [INFO ] After 726ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-15 16:35:00] [INFO ] After 11473ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-15 16:35:09] [INFO ] After 20982ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :0
[2023-03-15 16:35:09] [INFO ] After 21686ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4800 transition count 4595
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 4799 transition count 4595
Performed 398 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 398 Pre rules applied. Total rules applied 2 place count 4799 transition count 4197
Deduced a syphon composed of 398 places in 818 ms
Reduce places removed 398 places and 0 transitions.
Iterating global reduction 2 with 796 rules applied. Total rules applied 798 place count 4401 transition count 4197
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 799 place count 4401 transition count 4196
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 800 place count 4400 transition count 4196
Applied a total of 800 rules in 4337 ms. Remains 4400 /4800 variables (removed 400) and now considering 4196/4596 (removed 400) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 4196 rows 4400 cols
[2023-03-15 16:35:15] [INFO ] Invariants computation overflowed in 96 ms
[2023-03-15 16:35:16] [INFO ] After 833ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-15 16:35:29] [INFO ] After 11922ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-15 16:35:38] [INFO ] After 21352ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :0
[2023-03-15 16:35:38] [INFO ] After 22224ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2400 transitions
Trivial Post-agglo rules discarded 2400 transitions
Performed 2400 trivial Post agglomeration. Transition count delta: 2400
Iterating post reduction 0 with 2400 rules applied. Total rules applied 2400 place count 10599 transition count 7597
Reduce places removed 2400 places and 0 transitions.
Iterating post reduction 1 with 2400 rules applied. Total rules applied 4800 place count 8199 transition count 7597
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 399 Pre rules applied. Total rules applied 4800 place count 8199 transition count 7198
Deduced a syphon composed of 399 places in 920 ms
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 2 with 798 rules applied. Total rules applied 5598 place count 7800 transition count 7198
Performed 1399 Post agglomeration using F-continuation condition.Transition count delta: 1399
Deduced a syphon composed of 1399 places in 427 ms
Reduce places removed 1399 places and 0 transitions.
Iterating global reduction 2 with 2798 rules applied. Total rules applied 8396 place count 6401 transition count 5799
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 8397 place count 6400 transition count 5798
Applied a total of 8397 rules in 5371 ms. Remains 6400 /10600 variables (removed 4200) and now considering 5798/9998 (removed 4200) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5371 ms. Remains : 6400/10600 places, 5798/9998 transitions.
[2023-03-15 16:35:46] [INFO ] Flatten gal took : 148 ms
[2023-03-15 16:35:46] [INFO ] Flatten gal took : 168 ms
[2023-03-15 16:35:46] [INFO ] Input system was already deterministic with 5798 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2391 transitions
Trivial Post-agglo rules discarded 2391 transitions
Performed 2391 trivial Post agglomeration. Transition count delta: 2391
Iterating post reduction 0 with 2391 rules applied. Total rules applied 2391 place count 10599 transition count 7606
Reduce places removed 2391 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 1 with 2396 rules applied. Total rules applied 4787 place count 8208 transition count 7601
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 4792 place count 8203 transition count 7601
Performed 402 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 402 Pre rules applied. Total rules applied 4792 place count 8203 transition count 7199
Deduced a syphon composed of 402 places in 936 ms
Reduce places removed 402 places and 0 transitions.
Iterating global reduction 3 with 804 rules applied. Total rules applied 5596 place count 7801 transition count 7199
Performed 1398 Post agglomeration using F-continuation condition.Transition count delta: 1398
Deduced a syphon composed of 1398 places in 429 ms
Reduce places removed 1398 places and 0 transitions.
Iterating global reduction 3 with 2796 rules applied. Total rules applied 8392 place count 6403 transition count 5801
Partial Post-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 3 with 9 rules applied. Total rules applied 8401 place count 6403 transition count 5801
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 8402 place count 6402 transition count 5800
Applied a total of 8402 rules in 6866 ms. Remains 6402 /10600 variables (removed 4198) and now considering 5800/9998 (removed 4198) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 6866 ms. Remains : 6402/10600 places, 5800/9998 transitions.
[2023-03-15 16:35:53] [INFO ] Flatten gal took : 149 ms
[2023-03-15 16:35:53] [INFO ] Flatten gal took : 171 ms
[2023-03-15 16:35:54] [INFO ] Input system was already deterministic with 5800 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4314 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4315 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:35:58] [INFO ] Flatten gal took : 229 ms
[2023-03-15 16:35:58] [INFO ] Flatten gal took : 256 ms
[2023-03-15 16:35:59] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4312 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4312 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:36:03] [INFO ] Flatten gal took : 232 ms
[2023-03-15 16:36:04] [INFO ] Flatten gal took : 255 ms
[2023-03-15 16:36:04] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Applied a total of 0 rules in 4273 ms. Remains 10600 /10600 variables (removed 0) and now considering 9998/9998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4273 ms. Remains : 10600/10600 places, 9998/9998 transitions.
[2023-03-15 16:36:09] [INFO ] Flatten gal took : 230 ms
[2023-03-15 16:36:09] [INFO ] Flatten gal took : 255 ms
[2023-03-15 16:36:09] [INFO ] Input system was already deterministic with 9998 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 10600/10600 places, 9998/9998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 2398 transitions
Trivial Post-agglo rules discarded 2398 transitions
Performed 2398 trivial Post agglomeration. Transition count delta: 2398
Iterating post reduction 0 with 2398 rules applied. Total rules applied 2398 place count 10599 transition count 7599
Reduce places removed 2398 places and 0 transitions.
Iterating post reduction 1 with 2398 rules applied. Total rules applied 4796 place count 8201 transition count 7599
Performed 401 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 401 Pre rules applied. Total rules applied 4796 place count 8201 transition count 7198
Deduced a syphon composed of 401 places in 932 ms
Reduce places removed 401 places and 0 transitions.
Iterating global reduction 2 with 802 rules applied. Total rules applied 5598 place count 7800 transition count 7198
Performed 1400 Post agglomeration using F-continuation condition.Transition count delta: 1400
Deduced a syphon composed of 1400 places in 438 ms
Reduce places removed 1400 places and 0 transitions.
Iterating global reduction 2 with 2800 rules applied. Total rules applied 8398 place count 6400 transition count 5798
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 8399 place count 6399 transition count 5797
Applied a total of 8399 rules in 5504 ms. Remains 6399 /10600 variables (removed 4201) and now considering 5797/9998 (removed 4201) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5505 ms. Remains : 6399/10600 places, 5797/9998 transitions.
[2023-03-15 16:36:15] [INFO ] Flatten gal took : 148 ms
[2023-03-15 16:36:15] [INFO ] Flatten gal took : 168 ms
[2023-03-15 16:36:16] [INFO ] Input system was already deterministic with 5797 transitions.
[2023-03-15 16:36:16] [INFO ] Flatten gal took : 259 ms
[2023-03-15 16:36:16] [INFO ] Flatten gal took : 382 ms
[2023-03-15 16:36:16] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 5 ms.
[2023-03-15 16:36:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 10600 places, 9998 transitions and 28190 arcs took 66 ms.
Total runtime 644172 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: 10600 NrTr: 9998 NrArc: 28190)
parse formulas
formulas created successfully
place and transition orderings generation:0m12.074sec
net check time: 0m 0.005sec
init dd package: 0m 2.960sec
before gc: list nodes free: 1903494
after gc: idd nodes used:23548, unused:63976452; list nodes free:257821477
before gc: list nodes free: 1782644
after gc: idd nodes used:27570, unused:63972430; list nodes free:257802537
before gc: list nodes free: 1749581
after gc: idd nodes used:28366, unused:63971634; list nodes free:257798540
before gc: list nodes free: 1720005
after gc: idd nodes used:28845, unused:63971155; list nodes free:257796122
before gc: list nodes free: 1692374
after gc: idd nodes used:29279, unused:63970721; list nodes free:257793913
before gc: list nodes free: 1679398
after gc: idd nodes used:29730, unused:63970270; list nodes free:257791495
before gc: list nodes free: 1648750
after gc: idd nodes used:30021, unused:63969979; list nodes free:257790041
before gc: list nodes free: 1670893
after gc: idd nodes used:30244, unused:63969756; list nodes free:257788927
before gc: list nodes free: 1638537
after gc: idd nodes used:30672, unused:63969328; list nodes free:257786712
before gc: list nodes free: 1654902
after gc: idd nodes used:30791, unused:63969209; list nodes free:257786093
before gc: list nodes free: 1613370
after gc: idd nodes used:30960, unused:63969040; list nodes free:257785147
before gc: list nodes free: 1655481
after gc: idd nodes used:31250, unused:63968750; list nodes free:257783712
before gc: list nodes free: 1613324
after gc: idd nodes used:31146, unused:63968854; list nodes free:257784163
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6638328 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16085804 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.577sec
17682 18702 19290 19641 20227 20600 21095
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="DoubleExponent-PT-200"
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 DoubleExponent-PT-200, 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-167819420900497"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-200.tgz
mv DoubleExponent-PT-200 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 ;