About the Execution of GreatSPN+red for ShieldIIPs-PT-100B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12560.876 | 3600000.00 | 13094752.00 | 1982.40 | ???????T??????TF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r355-tall-171683758200169.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is ShieldIIPs-PT-100B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r355-tall-171683758200169
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 7.6K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K May 19 07:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 16:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 19 19:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Apr 11 14:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 171K Apr 11 14:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Apr 11 14:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Apr 11 14:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 23 07:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 1.7M May 18 16:43 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 ShieldIIPs-PT-100B-CTLCardinality-2024-00
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-01
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-02
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-03
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-04
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-05
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-06
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-07
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-08
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-09
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-10
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2024-11
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2023-12
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2023-13
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2023-14
FORMULA_NAME ShieldIIPs-PT-100B-CTLCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1716921557113
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPs-PT-100B
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-28 18:39:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2024-05-28 18:39:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-28 18:39:18] [INFO ] Load time of PNML (sax parser for PT used): 315 ms
[2024-05-28 18:39:19] [INFO ] Transformed 6003 places.
[2024-05-28 18:39:19] [INFO ] Transformed 5903 transitions.
[2024-05-28 18:39:19] [INFO ] Found NUPN structural information;
[2024-05-28 18:39:19] [INFO ] Parsed PT model containing 6003 places and 5903 transitions and 17806 arcs in 766 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 17 ms.
FORMULA ShieldIIPs-PT-100B-CTLCardinality-2023-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 111 out of 6003 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6003/6003 places, 5903/5903 transitions.
Discarding 674 places :
Symmetric choice reduction at 0 with 674 rule applications. Total rules 674 place count 5329 transition count 5229
Iterating global reduction 0 with 674 rules applied. Total rules applied 1348 place count 5329 transition count 5229
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1349 place count 5328 transition count 5228
Iterating global reduction 0 with 1 rules applied. Total rules applied 1350 place count 5328 transition count 5228
Applied a total of 1350 rules in 1827 ms. Remains 5328 /6003 variables (removed 675) and now considering 5228/5903 (removed 675) transitions.
// Phase 1: matrix 5228 rows 5328 cols
[2024-05-28 18:39:21] [INFO ] Computed 901 invariants in 69 ms
[2024-05-28 18:39:23] [INFO ] Implicit Places using invariants in 2475 ms returned []
[2024-05-28 18:39:23] [INFO ] Invariant cache hit.
[2024-05-28 18:39:30] [INFO ] Implicit Places using invariants and state equation in 7294 ms returned []
Implicit Place search using SMT with State Equation took 9798 ms to find 0 implicit places.
Running 5227 sub problems to find dead transitions.
[2024-05-28 18:39:31] [INFO ] Invariant cache hit.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5327/10556 variables, and 0 constraints, problems are : Problem set: 0 solved, 5227 unsolved in 30117 ms.
Refiners :[Positive P Invariants (semi-flows): 0/901 constraints, State Equation: 0/5328 constraints, PredecessorRefiner: 5227/5227 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5227 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5327/10556 variables, and 0 constraints, problems are : Problem set: 0 solved, 5227 unsolved in 30068 ms.
Refiners :[Positive P Invariants (semi-flows): 0/901 constraints, State Equation: 0/5328 constraints, PredecessorRefiner: 0/5227 constraints, Known Traps: 0/0 constraints]
After SMT, in 62943ms problems are : Problem set: 0 solved, 5227 unsolved
Search for dead transitions found 0 dead transitions in 63011ms
Starting structural reductions in LTL mode, iteration 1 : 5328/6003 places, 5228/5903 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 74685 ms. Remains : 5328/6003 places, 5228/5903 transitions.
Support contains 111 out of 5328 places after structural reductions.
[2024-05-28 18:40:34] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2024-05-28 18:40:34] [INFO ] Flatten gal took : 331 ms
FORMULA ShieldIIPs-PT-100B-CTLCardinality-2023-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-28 18:40:34] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA ShieldIIPs-PT-100B-CTLCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-28 18:40:34] [INFO ] Flatten gal took : 191 ms
[2024-05-28 18:40:35] [INFO ] Input system was already deterministic with 5228 transitions.
Support contains 95 out of 5328 places (down from 111) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 2292 ms. (17 steps per ms) remains 24/51 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4003 steps (8 resets) in 12 ms. (307 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4003 steps (8 resets) in 13 ms. (285 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4003 steps (8 resets) in 10 ms. (363 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4003 steps (8 resets) in 9 ms. (400 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4003 steps (8 resets) in 13 ms. (285 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 24/24 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 24/24 properties
[2024-05-28 18:40:36] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/45 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 24 unsolved
At refinement iteration 1 (OVERLAPS) 634/679 variables, 75/75 constraints. Problems are: Problem set: 0 solved, 24 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/679 variables, 0/75 constraints. Problems are: Problem set: 0 solved, 24 unsolved
At refinement iteration 3 (OVERLAPS) 4649/5328 variables, 826/901 constraints. Problems are: Problem set: 0 solved, 24 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5328 variables, 0/901 constraints. Problems are: Problem set: 0 solved, 24 unsolved
At refinement iteration 5 (OVERLAPS) 5228/10556 variables, 5328/6229 constraints. Problems are: Problem set: 0 solved, 24 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 10556/10556 variables, and 6229 constraints, problems are : Problem set: 0 solved, 24 unsolved in 5014 ms.
Refiners :[Positive P Invariants (semi-flows): 901/901 constraints, State Equation: 5328/5328 constraints, PredecessorRefiner: 24/24 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 24 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/45 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 24 unsolved
At refinement iteration 1 (OVERLAPS) 634/679 variables, 75/75 constraints. Problems are: Problem set: 0 solved, 24 unsolved
[2024-05-28 18:40:41] [INFO ] Deduced a trap composed of 92 places in 151 ms of which 22 ms to minimize.
[2024-05-28 18:40:41] [INFO ] Deduced a trap composed of 101 places in 107 ms of which 3 ms to minimize.
[2024-05-28 18:40:41] [INFO ] Deduced a trap composed of 112 places in 104 ms of which 2 ms to minimize.
[2024-05-28 18:40:41] [INFO ] Deduced a trap composed of 115 places in 94 ms of which 2 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/679 variables, 4/79 constraints. Problems are: Problem set: 0 solved, 24 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/679 variables, 0/79 constraints. Problems are: Problem set: 0 solved, 24 unsolved
At refinement iteration 4 (OVERLAPS) 4649/5328 variables, 826/905 constraints. Problems are: Problem set: 0 solved, 24 unsolved
[2024-05-28 18:40:45] [INFO ] Deduced a trap composed of 29 places in 1035 ms of which 18 ms to minimize.
[2024-05-28 18:40:46] [INFO ] Deduced a trap composed of 23 places in 967 ms of which 13 ms to minimize.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5328/10556 variables, and 907 constraints, problems are : Problem set: 0 solved, 24 unsolved in 5009 ms.
Refiners :[Positive P Invariants (semi-flows): 901/901 constraints, State Equation: 0/5328 constraints, PredecessorRefiner: 0/24 constraints, Known Traps: 6/6 constraints]
After SMT, in 10094ms problems are : Problem set: 0 solved, 24 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 45 out of 5328 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 491 transitions
Trivial Post-agglo rules discarded 491 transitions
Performed 491 trivial Post agglomeration. Transition count delta: 491
Iterating post reduction 0 with 491 rules applied. Total rules applied 491 place count 5328 transition count 4737
Reduce places removed 491 places and 0 transitions.
Iterating post reduction 1 with 491 rules applied. Total rules applied 982 place count 4837 transition count 4737
Performed 494 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 494 Pre rules applied. Total rules applied 982 place count 4837 transition count 4243
Deduced a syphon composed of 494 places in 19 ms
Reduce places removed 494 places and 0 transitions.
Iterating global reduction 2 with 988 rules applied. Total rules applied 1970 place count 4343 transition count 4243
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 1986 place count 4327 transition count 4227
Iterating global reduction 2 with 16 rules applied. Total rules applied 2002 place count 4327 transition count 4227
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 2002 place count 4327 transition count 4219
Deduced a syphon composed of 8 places in 19 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 2018 place count 4319 transition count 4219
Performed 1767 Post agglomeration using F-continuation condition.Transition count delta: 1767
Deduced a syphon composed of 1767 places in 40 ms
Reduce places removed 1767 places and 0 transitions.
Iterating global reduction 2 with 3534 rules applied. Total rules applied 5552 place count 2552 transition count 2452
Renaming transitions due to excessive name length > 1024 char.
Partial Free-agglomeration rule applied 685 times.
Drop transitions (Partial Free agglomeration) removed 685 transitions
Iterating global reduction 2 with 685 rules applied. Total rules applied 6237 place count 2552 transition count 2452
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 6238 place count 2551 transition count 2451
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 6239 place count 2550 transition count 2451
Applied a total of 6239 rules in 2641 ms. Remains 2550 /5328 variables (removed 2778) and now considering 2451/5228 (removed 2777) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2642 ms. Remains : 2550/5328 places, 2451/5228 transitions.
RANDOM walk for 40000 steps (8 resets) in 1269 ms. (31 steps per ms) remains 10/24 properties
BEST_FIRST walk for 40004 steps (8 resets) in 517 ms. (77 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (8 resets) in 432 ms. (92 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 459 ms. (86 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 593 ms. (67 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 535 ms. (74 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 465 ms. (85 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 485 ms. (82 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 430 ms. (92 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 489 ms. (81 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 484 ms. (82 steps per ms) remains 10/10 properties
// Phase 1: matrix 2451 rows 2550 cols
[2024-05-28 18:40:50] [INFO ] Computed 900 invariants in 75 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/15 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 40/55 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/55 variables, 0/15 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 22/77 variables, 9/24 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/77 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 152/229 variables, 77/101 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/229 variables, 0/101 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (OVERLAPS) 385/614 variables, 168/269 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/614 variables, 48/317 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/614 variables, 0/317 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (OVERLAPS) 13/627 variables, 9/326 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/627 variables, 5/331 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/627 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (OVERLAPS) 34/661 variables, 14/345 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/661 variables, 2/347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/661 variables, 0/347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 16 (OVERLAPS) 2/663 variables, 1/348 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/663 variables, 0/348 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 18 (OVERLAPS) 520/1183 variables, 276/624 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/1183 variables, 70/694 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/1183 variables, 0/694 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 21 (OVERLAPS) 13/1196 variables, 13/707 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/1196 variables, 9/716 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/1196 variables, 0/716 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 24 (OVERLAPS) 12/1208 variables, 6/722 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/1208 variables, 6/728 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/1208 variables, 0/728 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 27 (OVERLAPS) 487/1695 variables, 236/964 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/1695 variables, 67/1031 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/1695 variables, 0/1031 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 30 (OVERLAPS) 18/1713 variables, 14/1045 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/1713 variables, 10/1055 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/1713 variables, 0/1055 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 33 (OVERLAPS) 66/1779 variables, 26/1081 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/1779 variables, 12/1093 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/1779 variables, 0/1093 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 36 (OVERLAPS) 477/2256 variables, 281/1374 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/2256 variables, 62/1436 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/2256 variables, 0/1436 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 39 (OVERLAPS) 15/2271 variables, 17/1453 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/2271 variables, 13/1466 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/2271 variables, 0/1466 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 42 (OVERLAPS) 29/2300 variables, 14/1480 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/2300 variables, 14/1494 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/2300 variables, 0/1494 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 45 (OVERLAPS) 304/2604 variables, 177/1671 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/2604 variables, 52/1723 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/2604 variables, 1/1724 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/2604 variables, 0/1724 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 49 (OVERLAPS) 7/2611 variables, 8/1732 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/2611 variables, 7/1739 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/2611 variables, 0/1739 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 52 (OVERLAPS) 10/2621 variables, 5/1744 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/2621 variables, 8/1752 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/2621 variables, 0/1752 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 55 (OVERLAPS) 199/2820 variables, 110/1862 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/2820 variables, 33/1895 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/2820 variables, 0/1895 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 58 (OVERLAPS) 7/2827 variables, 7/1902 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/2827 variables, 5/1907 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/2827 variables, 0/1907 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 61 (OVERLAPS) 8/2835 variables, 4/1911 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/2835 variables, 6/1917 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/2835 variables, 0/1917 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 64 (OVERLAPS) 129/2964 variables, 70/1987 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/2964 variables, 21/2008 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/2964 variables, 0/2008 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 67 (OVERLAPS) 4/2968 variables, 5/2013 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/2968 variables, 2/2015 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/2968 variables, 0/2015 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 70 (OVERLAPS) 2/2970 variables, 1/2016 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/2970 variables, 0/2016 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 72 (OVERLAPS) 1/2971 variables, 1/2017 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/2971 variables, 1/2018 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/2971 variables, 0/2018 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 75 (OVERLAPS) 131/3102 variables, 67/2085 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/3102 variables, 17/2102 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/3102 variables, 0/2102 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 78 (OVERLAPS) 5/3107 variables, 5/2107 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/3107 variables, 5/2112 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/3107 variables, 0/2112 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 81 (OVERLAPS) 6/3113 variables, 3/2115 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/3113 variables, 4/2119 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/3113 variables, 0/2119 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 84 (OVERLAPS) 106/3219 variables, 54/2173 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/3219 variables, 18/2191 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/3219 variables, 0/2191 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 87 (OVERLAPS) 2/3221 variables, 3/2194 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/3221 variables, 2/2196 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/3221 variables, 0/2196 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 90 (OVERLAPS) 2/3223 variables, 1/2197 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/3223 variables, 0/2197 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 92 (OVERLAPS) 122/3345 variables, 60/2257 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/3345 variables, 16/2273 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/3345 variables, 0/2273 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 95 (OVERLAPS) 7/3352 variables, 4/2277 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/3352 variables, 2/2279 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/3352 variables, 0/2279 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 98 (OVERLAPS) 9/3361 variables, 4/2283 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/3361 variables, 4/2287 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/3361 variables, 0/2287 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 101 (OVERLAPS) 107/3468 variables, 60/2347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/3468 variables, 17/2364 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/3468 variables, 0/2364 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 104 (OVERLAPS) 2/3470 variables, 3/2367 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 105 (INCLUDED_ONLY) 0/3470 variables, 2/2369 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/3470 variables, 0/2369 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 107 (OVERLAPS) 2/3472 variables, 1/2370 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 108 (INCLUDED_ONLY) 0/3472 variables, 0/2370 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 109 (OVERLAPS) 99/3571 variables, 52/2422 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 110 (INCLUDED_ONLY) 0/3571 variables, 14/2436 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/3571 variables, 0/2436 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 112 (OVERLAPS) 3/3574 variables, 3/2439 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 113 (INCLUDED_ONLY) 0/3574 variables, 3/2442 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 114 (INCLUDED_ONLY) 0/3574 variables, 0/2442 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 115 (OVERLAPS) 6/3580 variables, 3/2445 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 116 (INCLUDED_ONLY) 0/3580 variables, 6/2451 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/3580 variables, 0/2451 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 118 (OVERLAPS) 69/3649 variables, 34/2485 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 119 (INCLUDED_ONLY) 0/3649 variables, 13/2498 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/3649 variables, 0/2498 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 121 (OVERLAPS) 1/3650 variables, 1/2499 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 122 (INCLUDED_ONLY) 0/3650 variables, 1/2500 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/3650 variables, 0/2500 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 124 (OVERLAPS) 2/3652 variables, 1/2501 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 125 (INCLUDED_ONLY) 0/3652 variables, 0/2501 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 126 (OVERLAPS) 74/3726 variables, 38/2539 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/3726 variables, 10/2549 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 128 (INCLUDED_ONLY) 0/3726 variables, 0/2549 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 129 (OVERLAPS) 2/3728 variables, 2/2551 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/3728 variables, 2/2553 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 131 (INCLUDED_ONLY) 0/3728 variables, 0/2553 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 132 (OVERLAPS) 4/3732 variables, 2/2555 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 133 (INCLUDED_ONLY) 0/3732 variables, 4/2559 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/3732 variables, 0/2559 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 135 (OVERLAPS) 64/3796 variables, 30/2589 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 136 (INCLUDED_ONLY) 0/3796 variables, 11/2600 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/3796 variables, 0/2600 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 138 (OVERLAPS) 1/3797 variables, 1/2601 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 139 (INCLUDED_ONLY) 0/3797 variables, 1/2602 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/3797 variables, 0/2602 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 141 (OVERLAPS) 2/3799 variables, 1/2603 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 142 (INCLUDED_ONLY) 0/3799 variables, 0/2603 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 143 (OVERLAPS) 74/3873 variables, 38/2641 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/3873 variables, 9/2650 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 145 (INCLUDED_ONLY) 0/3873 variables, 0/2650 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 146 (OVERLAPS) 3/3876 variables, 3/2653 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/3876 variables, 3/2656 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 148 (INCLUDED_ONLY) 0/3876 variables, 0/2656 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 149 (OVERLAPS) 4/3880 variables, 2/2658 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 150 (INCLUDED_ONLY) 0/3880 variables, 4/2662 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/3880 variables, 0/2662 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 152 (OVERLAPS) 64/3944 variables, 29/2691 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/3944 variables, 10/2701 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 154 (INCLUDED_ONLY) 0/3944 variables, 0/2701 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 155 (OVERLAPS) 2/3946 variables, 2/2703 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/3946 variables, 2/2705 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 157 (INCLUDED_ONLY) 0/3946 variables, 0/2705 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 158 (OVERLAPS) 2/3948 variables, 1/2706 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/3948 variables, 0/2706 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 160 (OVERLAPS) 74/4022 variables, 38/2744 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/4022 variables, 10/2754 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 162 (INCLUDED_ONLY) 0/4022 variables, 0/2754 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 163 (OVERLAPS) 1/4023 variables, 1/2755 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 164 (INCLUDED_ONLY) 0/4023 variables, 1/2756 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/4023 variables, 0/2756 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 166 (OVERLAPS) 2/4025 variables, 1/2757 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 167 (INCLUDED_ONLY) 0/4025 variables, 2/2759 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/4025 variables, 0/2759 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 169 (OVERLAPS) 2/4027 variables, 1/2760 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/4027 variables, 2/2762 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 171 (INCLUDED_ONLY) 0/4027 variables, 0/2762 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 172 (OVERLAPS) 1/4028 variables, 1/2763 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 173 (INCLUDED_ONLY) 0/4028 variables, 1/2764 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 174 (INCLUDED_ONLY) 0/4028 variables, 0/2764 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 175 (OVERLAPS) 64/4092 variables, 30/2794 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 176 (INCLUDED_ONLY) 0/4092 variables, 11/2805 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 177 (INCLUDED_ONLY) 0/4092 variables, 0/2805 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 178 (OVERLAPS) 1/4093 variables, 1/2806 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 179 (INCLUDED_ONLY) 0/4093 variables, 1/2807 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 180 (INCLUDED_ONLY) 0/4093 variables, 0/2807 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 181 (OVERLAPS) 2/4095 variables, 1/2808 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 182 (INCLUDED_ONLY) 0/4095 variables, 0/2808 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 183 (OVERLAPS) 74/4169 variables, 38/2846 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 184 (INCLUDED_ONLY) 0/4169 variables, 10/2856 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 185 (INCLUDED_ONLY) 0/4169 variables, 0/2856 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 186 (OVERLAPS) 2/4171 variables, 2/2858 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 187 (INCLUDED_ONLY) 0/4171 variables, 2/2860 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 188 (INCLUDED_ONLY) 0/4171 variables, 0/2860 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 189 (OVERLAPS) 4/4175 variables, 2/2862 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 190 (INCLUDED_ONLY) 0/4175 variables, 4/2866 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 191 (INCLUDED_ONLY) 0/4175 variables, 0/2866 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 192 (OVERLAPS) 64/4239 variables, 30/2896 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 193 (INCLUDED_ONLY) 0/4239 variables, 11/2907 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 194 (INCLUDED_ONLY) 0/4239 variables, 0/2907 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 195 (OVERLAPS) 1/4240 variables, 1/2908 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 196 (INCLUDED_ONLY) 0/4240 variables, 1/2909 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 197 (INCLUDED_ONLY) 0/4240 variables, 0/2909 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 198 (OVERLAPS) 2/4242 variables, 1/2910 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 199 (INCLUDED_ONLY) 0/4242 variables, 0/2910 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 200 (OVERLAPS) 74/4316 variables, 38/2948 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 201 (INCLUDED_ONLY) 0/4316 variables, 10/2958 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 202 (INCLUDED_ONLY) 0/4316 variables, 0/2958 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 203 (OVERLAPS) 2/4318 variables, 2/2960 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 204 (INCLUDED_ONLY) 0/4318 variables, 2/2962 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 205 (INCLUDED_ONLY) 0/4318 variables, 0/2962 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 206 (OVERLAPS) 4/4322 variables, 2/2964 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 207 (INCLUDED_ONLY) 0/4322 variables, 4/2968 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 208 (INCLUDED_ONLY) 0/4322 variables, 0/2968 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 209 (OVERLAPS) 65/4387 variables, 30/2998 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 210 (INCLUDED_ONLY) 0/4387 variables, 10/3008 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 211 (INCLUDED_ONLY) 0/4387 variables, 0/3008 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 212 (OVERLAPS) 2/4389 variables, 2/3010 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 213 (INCLUDED_ONLY) 0/4389 variables, 2/3012 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 214 (INCLUDED_ONLY) 0/4389 variables, 0/3012 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 215 (OVERLAPS) 2/4391 variables, 1/3013 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 216 (INCLUDED_ONLY) 0/4391 variables, 0/3013 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 217 (OVERLAPS) 75/4466 variables, 38/3051 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 218 (INCLUDED_ONLY) 0/4466 variables, 9/3060 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 219 (INCLUDED_ONLY) 0/4466 variables, 0/3060 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 220 (OVERLAPS) 4/4470 variables, 3/3063 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 221 (INCLUDED_ONLY) 0/4470 variables, 2/3065 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 222 (INCLUDED_ONLY) 0/4470 variables, 0/3065 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 223 (OVERLAPS) 4/4474 variables, 2/3067 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 224 (INCLUDED_ONLY) 0/4474 variables, 4/3071 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 225 (INCLUDED_ONLY) 0/4474 variables, 0/3071 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 226 (OVERLAPS) 65/4539 variables, 32/3103 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 227 (INCLUDED_ONLY) 0/4539 variables, 11/3114 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 228 (INCLUDED_ONLY) 0/4539 variables, 0/3114 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 229 (OVERLAPS) 1/4540 variables, 1/3115 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 230 (INCLUDED_ONLY) 0/4540 variables, 1/3116 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 231 (INCLUDED_ONLY) 0/4540 variables, 0/3116 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 232 (OVERLAPS) 2/4542 variables, 1/3117 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 233 (INCLUDED_ONLY) 0/4542 variables, 0/3117 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 234 (OVERLAPS) 74/4616 variables, 38/3155 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 235 (INCLUDED_ONLY) 0/4616 variables, 10/3165 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 236 (INCLUDED_ONLY) 0/4616 variables, 0/3165 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 237 (OVERLAPS) 2/4618 variables, 2/3167 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 238 (INCLUDED_ONLY) 0/4618 variables, 2/3169 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 239 (INCLUDED_ONLY) 0/4618 variables, 0/3169 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 240 (OVERLAPS) 4/4622 variables, 2/3171 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 241 (INCLUDED_ONLY) 0/4622 variables, 4/3175 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 242 (INCLUDED_ONLY) 0/4622 variables, 0/3175 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 243 (OVERLAPS) 64/4686 variables, 30/3205 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 244 (INCLUDED_ONLY) 0/4686 variables, 11/3216 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 245 (INCLUDED_ONLY) 0/4686 variables, 0/3216 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 246 (OVERLAPS) 1/4687 variables, 1/3217 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 247 (INCLUDED_ONLY) 0/4687 variables, 1/3218 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 248 (INCLUDED_ONLY) 0/4687 variables, 0/3218 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 249 (OVERLAPS) 2/4689 variables, 1/3219 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 250 (INCLUDED_ONLY) 0/4689 variables, 0/3219 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 251 (OVERLAPS) 74/4763 variables, 38/3257 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 252 (INCLUDED_ONLY) 0/4763 variables, 10/3267 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 253 (INCLUDED_ONLY) 0/4763 variables, 0/3267 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 254 (OVERLAPS) 2/4765 variables, 2/3269 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 255 (INCLUDED_ONLY) 0/4765 variables, 2/3271 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 256 (INCLUDED_ONLY) 0/4765 variables, 0/3271 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 257 (OVERLAPS) 4/4769 variables, 2/3273 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 258 (INCLUDED_ONLY) 0/4769 variables, 4/3277 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 259 (INCLUDED_ONLY) 0/4769 variables, 0/3277 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 260 (OVERLAPS) 51/4820 variables, 28/3305 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 261 (INCLUDED_ONLY) 0/4820 variables, 10/3315 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 262 (INCLUDED_ONLY) 0/4820 variables, 0/3315 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 263 (OVERLAPS) 1/4821 variables, 1/3316 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 264 (INCLUDED_ONLY) 0/4821 variables, 1/3317 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4821/5001 variables, and 3317 constraints, problems are : Problem set: 0 solved, 10 unsolved in 45011 ms.
Refiners :[Positive P Invariants (semi-flows): 859/894 constraints, Generalized P Invariants (flows): 5/6 constraints, State Equation: 2453/2550 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/15 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 40/55 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/55 variables, 0/15 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 22/77 variables, 9/24 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:36] [INFO ] Deduced a trap composed of 4 places in 19 ms of which 1 ms to minimize.
[2024-05-28 18:41:36] [INFO ] Deduced a trap composed of 5 places in 19 ms of which 1 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/77 variables, 2/26 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/77 variables, 0/26 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (OVERLAPS) 152/229 variables, 77/103 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/229 variables, 0/103 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (OVERLAPS) 385/614 variables, 168/271 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/614 variables, 48/319 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/614 variables, 10/329 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:36] [INFO ] Deduced a trap composed of 4 places in 38 ms of which 0 ms to minimize.
[2024-05-28 18:41:36] [INFO ] Deduced a trap composed of 7 places in 41 ms of which 1 ms to minimize.
At refinement iteration 11 (INCLUDED_ONLY) 0/614 variables, 2/331 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/614 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (OVERLAPS) 13/627 variables, 9/340 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/627 variables, 5/345 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/627 variables, 0/345 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 16 (OVERLAPS) 34/661 variables, 14/359 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/661 variables, 2/361 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:36] [INFO ] Deduced a trap composed of 7 places in 33 ms of which 0 ms to minimize.
At refinement iteration 18 (INCLUDED_ONLY) 0/661 variables, 1/362 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/661 variables, 0/362 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 20 (OVERLAPS) 2/663 variables, 1/363 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/663 variables, 0/363 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 22 (OVERLAPS) 520/1183 variables, 276/639 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/1183 variables, 70/709 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/1183 variables, 0/709 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 25 (OVERLAPS) 13/1196 variables, 13/722 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/1196 variables, 9/731 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/1196 variables, 0/731 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 28 (OVERLAPS) 12/1208 variables, 6/737 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/1208 variables, 6/743 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/1208 variables, 0/743 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 31 (OVERLAPS) 487/1695 variables, 236/979 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/1695 variables, 67/1046 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:38] [INFO ] Deduced a trap composed of 7 places in 39 ms of which 0 ms to minimize.
[2024-05-28 18:41:38] [INFO ] Deduced a trap composed of 7 places in 38 ms of which 0 ms to minimize.
At refinement iteration 33 (INCLUDED_ONLY) 0/1695 variables, 2/1048 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:38] [INFO ] Deduced a trap composed of 8 places in 44 ms of which 0 ms to minimize.
At refinement iteration 34 (INCLUDED_ONLY) 0/1695 variables, 1/1049 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/1695 variables, 0/1049 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 36 (OVERLAPS) 18/1713 variables, 14/1063 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/1713 variables, 10/1073 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/1713 variables, 0/1073 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 39 (OVERLAPS) 66/1779 variables, 26/1099 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/1779 variables, 12/1111 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:39] [INFO ] Deduced a trap composed of 6 places in 51 ms of which 1 ms to minimize.
At refinement iteration 41 (INCLUDED_ONLY) 0/1779 variables, 1/1112 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/1779 variables, 0/1112 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 43 (OVERLAPS) 477/2256 variables, 281/1393 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/2256 variables, 62/1455 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:40] [INFO ] Deduced a trap composed of 8 places in 68 ms of which 1 ms to minimize.
[2024-05-28 18:41:40] [INFO ] Deduced a trap composed of 4 places in 65 ms of which 1 ms to minimize.
At refinement iteration 45 (INCLUDED_ONLY) 0/2256 variables, 2/1457 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/2256 variables, 0/1457 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 47 (OVERLAPS) 15/2271 variables, 17/1474 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/2271 variables, 13/1487 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:41] [INFO ] Deduced a trap composed of 11 places in 64 ms of which 1 ms to minimize.
[2024-05-28 18:41:41] [INFO ] Deduced a trap composed of 7 places in 56 ms of which 1 ms to minimize.
At refinement iteration 49 (INCLUDED_ONLY) 0/2271 variables, 2/1489 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/2271 variables, 0/1489 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 51 (OVERLAPS) 29/2300 variables, 14/1503 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/2300 variables, 14/1517 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:42] [INFO ] Deduced a trap composed of 17 places in 75 ms of which 1 ms to minimize.
At refinement iteration 53 (INCLUDED_ONLY) 0/2300 variables, 1/1518 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/2300 variables, 0/1518 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 55 (OVERLAPS) 304/2604 variables, 177/1695 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/2604 variables, 52/1747 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/2604 variables, 1/1748 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:43] [INFO ] Deduced a trap composed of 5 places in 99 ms of which 2 ms to minimize.
[2024-05-28 18:41:43] [INFO ] Deduced a trap composed of 6 places in 84 ms of which 2 ms to minimize.
[2024-05-28 18:41:43] [INFO ] Deduced a trap composed of 7 places in 85 ms of which 2 ms to minimize.
[2024-05-28 18:41:43] [INFO ] Deduced a trap composed of 12 places in 93 ms of which 1 ms to minimize.
[2024-05-28 18:41:43] [INFO ] Deduced a trap composed of 5 places in 85 ms of which 2 ms to minimize.
[2024-05-28 18:41:44] [INFO ] Deduced a trap composed of 7 places in 95 ms of which 2 ms to minimize.
[2024-05-28 18:41:44] [INFO ] Deduced a trap composed of 8 places in 98 ms of which 2 ms to minimize.
At refinement iteration 58 (INCLUDED_ONLY) 0/2604 variables, 7/1755 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:44] [INFO ] Deduced a trap composed of 14 places in 103 ms of which 2 ms to minimize.
[2024-05-28 18:41:44] [INFO ] Deduced a trap composed of 8 places in 98 ms of which 4 ms to minimize.
At refinement iteration 59 (INCLUDED_ONLY) 0/2604 variables, 2/1757 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/2604 variables, 0/1757 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 61 (OVERLAPS) 7/2611 variables, 8/1765 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/2611 variables, 7/1772 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:45] [INFO ] Deduced a trap composed of 18 places in 89 ms of which 1 ms to minimize.
At refinement iteration 63 (INCLUDED_ONLY) 0/2611 variables, 1/1773 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/2611 variables, 0/1773 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 65 (OVERLAPS) 10/2621 variables, 5/1778 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/2621 variables, 8/1786 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 67 (INCLUDED_ONLY) 0/2621 variables, 0/1786 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 68 (OVERLAPS) 199/2820 variables, 110/1896 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/2820 variables, 33/1929 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:47] [INFO ] Deduced a trap composed of 8 places in 112 ms of which 2 ms to minimize.
[2024-05-28 18:41:47] [INFO ] Deduced a trap composed of 6 places in 106 ms of which 2 ms to minimize.
[2024-05-28 18:41:48] [INFO ] Deduced a trap composed of 17 places in 108 ms of which 2 ms to minimize.
[2024-05-28 18:41:48] [INFO ] Deduced a trap composed of 4 places in 126 ms of which 4 ms to minimize.
[2024-05-28 18:41:48] [INFO ] Deduced a trap composed of 11 places in 99 ms of which 2 ms to minimize.
At refinement iteration 70 (INCLUDED_ONLY) 0/2820 variables, 5/1934 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:49] [INFO ] Deduced a trap composed of 9 places in 109 ms of which 2 ms to minimize.
At refinement iteration 71 (INCLUDED_ONLY) 0/2820 variables, 1/1935 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/2820 variables, 0/1935 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 73 (OVERLAPS) 7/2827 variables, 7/1942 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/2827 variables, 5/1947 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/2827 variables, 0/1947 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 76 (OVERLAPS) 8/2835 variables, 4/1951 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/2835 variables, 6/1957 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:50] [INFO ] Deduced a trap composed of 23 places in 123 ms of which 3 ms to minimize.
[2024-05-28 18:41:50] [INFO ] Deduced a trap composed of 8 places in 135 ms of which 3 ms to minimize.
[2024-05-28 18:41:51] [INFO ] Deduced a trap composed of 14 places in 125 ms of which 3 ms to minimize.
[2024-05-28 18:41:51] [INFO ] Deduced a trap composed of 14 places in 124 ms of which 4 ms to minimize.
At refinement iteration 78 (INCLUDED_ONLY) 0/2835 variables, 4/1961 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/2835 variables, 0/1961 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 80 (OVERLAPS) 129/2964 variables, 70/2031 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 81 (INCLUDED_ONLY) 0/2964 variables, 21/2052 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:52] [INFO ] Deduced a trap composed of 10 places in 138 ms of which 2 ms to minimize.
[2024-05-28 18:41:52] [INFO ] Deduced a trap composed of 8 places in 122 ms of which 2 ms to minimize.
[2024-05-28 18:41:53] [INFO ] Deduced a trap composed of 4 places in 119 ms of which 3 ms to minimize.
[2024-05-28 18:41:53] [INFO ] Deduced a trap composed of 7 places in 116 ms of which 2 ms to minimize.
[2024-05-28 18:41:53] [INFO ] Deduced a trap composed of 17 places in 115 ms of which 2 ms to minimize.
[2024-05-28 18:41:53] [INFO ] Deduced a trap composed of 4 places in 111 ms of which 3 ms to minimize.
[2024-05-28 18:41:53] [INFO ] Deduced a trap composed of 11 places in 119 ms of which 2 ms to minimize.
At refinement iteration 82 (INCLUDED_ONLY) 0/2964 variables, 7/2059 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/2964 variables, 0/2059 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 84 (OVERLAPS) 4/2968 variables, 5/2064 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/2968 variables, 2/2066 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/2968 variables, 0/2066 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 87 (OVERLAPS) 2/2970 variables, 1/2067 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/2970 variables, 0/2067 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 89 (OVERLAPS) 1/2971 variables, 1/2068 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/2971 variables, 1/2069 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/2971 variables, 0/2069 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 92 (OVERLAPS) 131/3102 variables, 67/2136 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/3102 variables, 17/2153 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:56] [INFO ] Deduced a trap composed of 24 places in 154 ms of which 3 ms to minimize.
At refinement iteration 94 (INCLUDED_ONLY) 0/3102 variables, 1/2154 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:57] [INFO ] Deduced a trap composed of 24 places in 149 ms of which 3 ms to minimize.
At refinement iteration 95 (INCLUDED_ONLY) 0/3102 variables, 1/2155 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/3102 variables, 0/2155 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 97 (OVERLAPS) 5/3107 variables, 5/2160 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/3107 variables, 5/2165 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:58] [INFO ] Deduced a trap composed of 11 places in 136 ms of which 3 ms to minimize.
At refinement iteration 99 (INCLUDED_ONLY) 0/3107 variables, 1/2166 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:41:59] [INFO ] Deduced a trap composed of 14 places in 140 ms of which 3 ms to minimize.
At refinement iteration 100 (INCLUDED_ONLY) 0/3107 variables, 1/2167 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/3107 variables, 0/2167 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 102 (OVERLAPS) 6/3113 variables, 3/2170 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/3113 variables, 4/2174 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/3113 variables, 0/2174 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 105 (OVERLAPS) 106/3219 variables, 54/2228 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/3219 variables, 18/2246 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:42:01] [INFO ] Deduced a trap composed of 18 places in 158 ms of which 3 ms to minimize.
[2024-05-28 18:42:01] [INFO ] Deduced a trap composed of 17 places in 164 ms of which 3 ms to minimize.
At refinement iteration 107 (INCLUDED_ONLY) 0/3219 variables, 2/2248 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:42:02] [INFO ] Deduced a trap composed of 11 places in 157 ms of which 3 ms to minimize.
At refinement iteration 108 (INCLUDED_ONLY) 0/3219 variables, 1/2249 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 109 (INCLUDED_ONLY) 0/3219 variables, 0/2249 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 110 (OVERLAPS) 2/3221 variables, 3/2252 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 111 (INCLUDED_ONLY) 0/3221 variables, 2/2254 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 112 (INCLUDED_ONLY) 0/3221 variables, 0/2254 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 113 (OVERLAPS) 2/3223 variables, 1/2255 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:42:04] [INFO ] Deduced a trap composed of 11 places in 179 ms of which 3 ms to minimize.
[2024-05-28 18:42:04] [INFO ] Deduced a trap composed of 5 places in 170 ms of which 5 ms to minimize.
At refinement iteration 114 (INCLUDED_ONLY) 0/3223 variables, 2/2257 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 115 (INCLUDED_ONLY) 0/3223 variables, 0/2257 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 116 (OVERLAPS) 122/3345 variables, 60/2317 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 117 (INCLUDED_ONLY) 0/3345 variables, 16/2333 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 118 (INCLUDED_ONLY) 0/3345 variables, 0/2333 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 119 (OVERLAPS) 7/3352 variables, 4/2337 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 120 (INCLUDED_ONLY) 0/3352 variables, 2/2339 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 121 (INCLUDED_ONLY) 0/3352 variables, 0/2339 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 122 (OVERLAPS) 9/3361 variables, 4/2343 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 123 (INCLUDED_ONLY) 0/3361 variables, 4/2347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 124 (INCLUDED_ONLY) 0/3361 variables, 0/2347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 125 (OVERLAPS) 107/3468 variables, 60/2407 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 126 (INCLUDED_ONLY) 0/3468 variables, 17/2424 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 127 (INCLUDED_ONLY) 0/3468 variables, 0/2424 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 128 (OVERLAPS) 2/3470 variables, 3/2427 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 129 (INCLUDED_ONLY) 0/3470 variables, 2/2429 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 130 (INCLUDED_ONLY) 0/3470 variables, 0/2429 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 131 (OVERLAPS) 2/3472 variables, 1/2430 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 132 (INCLUDED_ONLY) 0/3472 variables, 0/2430 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 133 (OVERLAPS) 99/3571 variables, 52/2482 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 134 (INCLUDED_ONLY) 0/3571 variables, 14/2496 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 135 (INCLUDED_ONLY) 0/3571 variables, 0/2496 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 136 (OVERLAPS) 3/3574 variables, 3/2499 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 137 (INCLUDED_ONLY) 0/3574 variables, 3/2502 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 138 (INCLUDED_ONLY) 0/3574 variables, 0/2502 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 139 (OVERLAPS) 6/3580 variables, 3/2505 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 140 (INCLUDED_ONLY) 0/3580 variables, 6/2511 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 141 (INCLUDED_ONLY) 0/3580 variables, 0/2511 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 142 (OVERLAPS) 69/3649 variables, 34/2545 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 143 (INCLUDED_ONLY) 0/3649 variables, 13/2558 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 144 (INCLUDED_ONLY) 0/3649 variables, 0/2558 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 145 (OVERLAPS) 1/3650 variables, 1/2559 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 146 (INCLUDED_ONLY) 0/3650 variables, 1/2560 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 147 (INCLUDED_ONLY) 0/3650 variables, 0/2560 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 148 (OVERLAPS) 2/3652 variables, 1/2561 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 149 (INCLUDED_ONLY) 0/3652 variables, 0/2561 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 150 (OVERLAPS) 74/3726 variables, 38/2599 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 151 (INCLUDED_ONLY) 0/3726 variables, 10/2609 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:42:14] [INFO ] Deduced a trap composed of 17 places in 192 ms of which 4 ms to minimize.
[2024-05-28 18:42:14] [INFO ] Deduced a trap composed of 11 places in 187 ms of which 3 ms to minimize.
[2024-05-28 18:42:14] [INFO ] Deduced a trap composed of 4 places in 199 ms of which 4 ms to minimize.
[2024-05-28 18:42:14] [INFO ] Deduced a trap composed of 8 places in 188 ms of which 3 ms to minimize.
At refinement iteration 152 (INCLUDED_ONLY) 0/3726 variables, 4/2613 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 153 (INCLUDED_ONLY) 0/3726 variables, 0/2613 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 154 (OVERLAPS) 2/3728 variables, 2/2615 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 155 (INCLUDED_ONLY) 0/3728 variables, 2/2617 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 156 (INCLUDED_ONLY) 0/3728 variables, 0/2617 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 157 (OVERLAPS) 4/3732 variables, 2/2619 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 158 (INCLUDED_ONLY) 0/3732 variables, 4/2623 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 159 (INCLUDED_ONLY) 0/3732 variables, 0/2623 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 160 (OVERLAPS) 64/3796 variables, 30/2653 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 161 (INCLUDED_ONLY) 0/3796 variables, 11/2664 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:42:17] [INFO ] Deduced a trap composed of 11 places in 199 ms of which 4 ms to minimize.
At refinement iteration 162 (INCLUDED_ONLY) 0/3796 variables, 1/2665 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 163 (INCLUDED_ONLY) 0/3796 variables, 0/2665 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 164 (OVERLAPS) 1/3797 variables, 1/2666 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 165 (INCLUDED_ONLY) 0/3797 variables, 1/2667 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 166 (INCLUDED_ONLY) 0/3797 variables, 0/2667 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 167 (OVERLAPS) 2/3799 variables, 1/2668 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 168 (INCLUDED_ONLY) 0/3799 variables, 0/2668 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 169 (OVERLAPS) 74/3873 variables, 38/2706 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 170 (INCLUDED_ONLY) 0/3873 variables, 9/2715 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-28 18:42:20] [INFO ] Deduced a trap composed of 11 places in 204 ms of which 3 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3873/5001 variables, and 2716 constraints, problems are : Problem set: 0 solved, 10 unsolved in 45011 ms.
Refiners :[Positive P Invariants (semi-flows): 682/894 constraints, Generalized P Invariants (flows): 4/6 constraints, State Equation: 1964/2550 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 56/56 constraints]
After SMT, in 90129ms problems are : Problem set: 0 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 15 out of 2550 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2550/2550 places, 2451/2451 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 2550 transition count 2444
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 2543 transition count 2444
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 14 place count 2543 transition count 2439
Deduced a syphon composed of 5 places in 7 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 24 place count 2538 transition count 2439
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Deduced a syphon composed of 16 places in 7 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 2 with 32 rules applied. Total rules applied 56 place count 2522 transition count 2423
Partial Free-agglomeration rule applied 10 times.
Drop transitions (Partial Free agglomeration) removed 10 transitions
Iterating global reduction 2 with 10 rules applied. Total rules applied 66 place count 2522 transition count 2423
Reduce places removed 12 places and 12 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 78 place count 2510 transition count 2411
Applied a total of 78 rules in 475 ms. Remains 2510 /2550 variables (removed 40) and now considering 2411/2451 (removed 40) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 475 ms. Remains : 2510/2550 places, 2411/2451 transitions.
[2024-05-28 18:42:21] [INFO ] Flatten gal took : 155 ms
[2024-05-28 18:42:21] [INFO ] Flatten gal took : 152 ms
[2024-05-28 18:42:21] [INFO ] Input system was already deterministic with 5228 transitions.
Computed a total of 1214 stabilizing places and 1214 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 497 transitions
Trivial Post-agglo rules discarded 497 transitions
Performed 497 trivial Post agglomeration. Transition count delta: 497
Iterating post reduction 0 with 497 rules applied. Total rules applied 497 place count 5327 transition count 4730
Reduce places removed 497 places and 0 transitions.
Iterating post reduction 1 with 497 rules applied. Total rules applied 994 place count 4830 transition count 4730
Performed 499 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 499 Pre rules applied. Total rules applied 994 place count 4830 transition count 4231
Deduced a syphon composed of 499 places in 19 ms
Reduce places removed 499 places and 0 transitions.
Iterating global reduction 2 with 998 rules applied. Total rules applied 1992 place count 4331 transition count 4231
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 2018 place count 4305 transition count 4205
Iterating global reduction 2 with 26 rules applied. Total rules applied 2044 place count 4305 transition count 4205
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 2044 place count 4305 transition count 4195
Deduced a syphon composed of 10 places in 17 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 2064 place count 4295 transition count 4195
Performed 1779 Post agglomeration using F-continuation condition.Transition count delta: 1779
Deduced a syphon composed of 1779 places in 12 ms
Reduce places removed 1779 places and 0 transitions.
Iterating global reduction 2 with 3558 rules applied. Total rules applied 5622 place count 2516 transition count 2416
Renaming transitions due to excessive name length > 1024 char.
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 5624 place count 2514 transition count 2414
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 5625 place count 2513 transition count 2414
Applied a total of 5625 rules in 1424 ms. Remains 2513 /5328 variables (removed 2815) and now considering 2414/5228 (removed 2814) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1425 ms. Remains : 2513/5328 places, 2414/5228 transitions.
[2024-05-28 18:42:23] [INFO ] Flatten gal took : 80 ms
[2024-05-28 18:42:23] [INFO ] Flatten gal took : 84 ms
[2024-05-28 18:42:23] [INFO ] Input system was already deterministic with 2414 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 24 place count 5304 transition count 5204
Iterating global reduction 0 with 24 rules applied. Total rules applied 48 place count 5304 transition count 5204
Applied a total of 48 rules in 1314 ms. Remains 5304 /5328 variables (removed 24) and now considering 5204/5228 (removed 24) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1315 ms. Remains : 5304/5328 places, 5204/5228 transitions.
[2024-05-28 18:42:25] [INFO ] Flatten gal took : 124 ms
[2024-05-28 18:42:25] [INFO ] Flatten gal took : 134 ms
[2024-05-28 18:42:25] [INFO ] Input system was already deterministic with 5204 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 501 transitions
Trivial Post-agglo rules discarded 501 transitions
Performed 501 trivial Post agglomeration. Transition count delta: 501
Iterating post reduction 0 with 501 rules applied. Total rules applied 501 place count 5327 transition count 4726
Reduce places removed 501 places and 0 transitions.
Iterating post reduction 1 with 501 rules applied. Total rules applied 1002 place count 4826 transition count 4726
Performed 501 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 501 Pre rules applied. Total rules applied 1002 place count 4826 transition count 4225
Deduced a syphon composed of 501 places in 19 ms
Reduce places removed 501 places and 0 transitions.
Iterating global reduction 2 with 1002 rules applied. Total rules applied 2004 place count 4325 transition count 4225
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 2028 place count 4301 transition count 4201
Iterating global reduction 2 with 24 rules applied. Total rules applied 2052 place count 4301 transition count 4201
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 2052 place count 4301 transition count 4191
Deduced a syphon composed of 10 places in 17 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 2072 place count 4291 transition count 4191
Performed 1784 Post agglomeration using F-continuation condition.Transition count delta: 1784
Deduced a syphon composed of 1784 places in 12 ms
Reduce places removed 1784 places and 0 transitions.
Iterating global reduction 2 with 3568 rules applied. Total rules applied 5640 place count 2507 transition count 2407
Renaming transitions due to excessive name length > 1024 char.
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 5642 place count 2505 transition count 2405
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 5643 place count 2504 transition count 2405
Applied a total of 5643 rules in 1370 ms. Remains 2504 /5328 variables (removed 2824) and now considering 2405/5228 (removed 2823) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1371 ms. Remains : 2504/5328 places, 2405/5228 transitions.
[2024-05-28 18:42:27] [INFO ] Flatten gal took : 70 ms
[2024-05-28 18:42:27] [INFO ] Flatten gal took : 76 ms
[2024-05-28 18:42:27] [INFO ] Input system was already deterministic with 2405 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 23 place count 5305 transition count 5205
Iterating global reduction 0 with 23 rules applied. Total rules applied 46 place count 5305 transition count 5205
Applied a total of 46 rules in 1303 ms. Remains 5305 /5328 variables (removed 23) and now considering 5205/5228 (removed 23) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1304 ms. Remains : 5305/5328 places, 5205/5228 transitions.
[2024-05-28 18:42:28] [INFO ] Flatten gal took : 118 ms
[2024-05-28 18:42:28] [INFO ] Flatten gal took : 127 ms
[2024-05-28 18:42:29] [INFO ] Input system was already deterministic with 5205 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 24 place count 5304 transition count 5204
Iterating global reduction 0 with 24 rules applied. Total rules applied 48 place count 5304 transition count 5204
Applied a total of 48 rules in 1327 ms. Remains 5304 /5328 variables (removed 24) and now considering 5204/5228 (removed 24) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1327 ms. Remains : 5304/5328 places, 5204/5228 transitions.
[2024-05-28 18:42:30] [INFO ] Flatten gal took : 117 ms
[2024-05-28 18:42:30] [INFO ] Flatten gal took : 126 ms
[2024-05-28 18:42:31] [INFO ] Input system was already deterministic with 5204 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 25 place count 5303 transition count 5203
Iterating global reduction 0 with 25 rules applied. Total rules applied 50 place count 5303 transition count 5203
Applied a total of 50 rules in 1329 ms. Remains 5303 /5328 variables (removed 25) and now considering 5203/5228 (removed 25) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1329 ms. Remains : 5303/5328 places, 5203/5228 transitions.
[2024-05-28 18:42:32] [INFO ] Flatten gal took : 117 ms
[2024-05-28 18:42:32] [INFO ] Flatten gal took : 124 ms
[2024-05-28 18:42:32] [INFO ] Input system was already deterministic with 5203 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 26 place count 5302 transition count 5202
Iterating global reduction 0 with 26 rules applied. Total rules applied 52 place count 5302 transition count 5202
Applied a total of 52 rules in 1411 ms. Remains 5302 /5328 variables (removed 26) and now considering 5202/5228 (removed 26) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1411 ms. Remains : 5302/5328 places, 5202/5228 transitions.
[2024-05-28 18:42:34] [INFO ] Flatten gal took : 120 ms
[2024-05-28 18:42:34] [INFO ] Flatten gal took : 122 ms
[2024-05-28 18:42:34] [INFO ] Input system was already deterministic with 5202 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 498 transitions
Trivial Post-agglo rules discarded 498 transitions
Performed 498 trivial Post agglomeration. Transition count delta: 498
Iterating post reduction 0 with 498 rules applied. Total rules applied 498 place count 5327 transition count 4729
Reduce places removed 498 places and 0 transitions.
Iterating post reduction 1 with 498 rules applied. Total rules applied 996 place count 4829 transition count 4729
Performed 501 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 501 Pre rules applied. Total rules applied 996 place count 4829 transition count 4228
Deduced a syphon composed of 501 places in 20 ms
Reduce places removed 501 places and 0 transitions.
Iterating global reduction 2 with 1002 rules applied. Total rules applied 1998 place count 4328 transition count 4228
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 2021 place count 4305 transition count 4205
Iterating global reduction 2 with 23 rules applied. Total rules applied 2044 place count 4305 transition count 4205
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 2044 place count 4305 transition count 4196
Deduced a syphon composed of 9 places in 17 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 2062 place count 4296 transition count 4196
Performed 1776 Post agglomeration using F-continuation condition.Transition count delta: 1776
Deduced a syphon composed of 1776 places in 12 ms
Reduce places removed 1776 places and 0 transitions.
Iterating global reduction 2 with 3552 rules applied. Total rules applied 5614 place count 2520 transition count 2420
Renaming transitions due to excessive name length > 1024 char.
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 5616 place count 2518 transition count 2418
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 5617 place count 2517 transition count 2418
Applied a total of 5617 rules in 1366 ms. Remains 2517 /5328 variables (removed 2811) and now considering 2418/5228 (removed 2810) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1366 ms. Remains : 2517/5328 places, 2418/5228 transitions.
[2024-05-28 18:42:36] [INFO ] Flatten gal took : 65 ms
[2024-05-28 18:42:36] [INFO ] Flatten gal took : 70 ms
[2024-05-28 18:42:36] [INFO ] Input system was already deterministic with 2418 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 25 place count 5303 transition count 5203
Iterating global reduction 0 with 25 rules applied. Total rules applied 50 place count 5303 transition count 5203
Applied a total of 50 rules in 1328 ms. Remains 5303 /5328 variables (removed 25) and now considering 5203/5228 (removed 25) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1329 ms. Remains : 5303/5328 places, 5203/5228 transitions.
[2024-05-28 18:42:37] [INFO ] Flatten gal took : 112 ms
[2024-05-28 18:42:38] [INFO ] Flatten gal took : 121 ms
[2024-05-28 18:42:38] [INFO ] Input system was already deterministic with 5203 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 26 place count 5302 transition count 5202
Iterating global reduction 0 with 26 rules applied. Total rules applied 52 place count 5302 transition count 5202
Applied a total of 52 rules in 1417 ms. Remains 5302 /5328 variables (removed 26) and now considering 5202/5228 (removed 26) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1418 ms. Remains : 5302/5328 places, 5202/5228 transitions.
[2024-05-28 18:42:39] [INFO ] Flatten gal took : 122 ms
[2024-05-28 18:42:39] [INFO ] Flatten gal took : 124 ms
[2024-05-28 18:42:40] [INFO ] Input system was already deterministic with 5202 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 25 place count 5303 transition count 5203
Iterating global reduction 0 with 25 rules applied. Total rules applied 50 place count 5303 transition count 5203
Applied a total of 50 rules in 1334 ms. Remains 5303 /5328 variables (removed 25) and now considering 5203/5228 (removed 25) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1334 ms. Remains : 5303/5328 places, 5203/5228 transitions.
[2024-05-28 18:42:41] [INFO ] Flatten gal took : 111 ms
[2024-05-28 18:42:41] [INFO ] Flatten gal took : 123 ms
[2024-05-28 18:42:41] [INFO ] Input system was already deterministic with 5203 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 23 place count 5305 transition count 5205
Iterating global reduction 0 with 23 rules applied. Total rules applied 46 place count 5305 transition count 5205
Applied a total of 46 rules in 1342 ms. Remains 5305 /5328 variables (removed 23) and now considering 5205/5228 (removed 23) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1342 ms. Remains : 5305/5328 places, 5205/5228 transitions.
[2024-05-28 18:42:43] [INFO ] Flatten gal took : 113 ms
[2024-05-28 18:42:43] [INFO ] Flatten gal took : 120 ms
[2024-05-28 18:42:43] [INFO ] Input system was already deterministic with 5205 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5328/5328 places, 5228/5228 transitions.
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 24 place count 5304 transition count 5204
Iterating global reduction 0 with 24 rules applied. Total rules applied 48 place count 5304 transition count 5204
Applied a total of 48 rules in 1311 ms. Remains 5304 /5328 variables (removed 24) and now considering 5204/5228 (removed 24) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1311 ms. Remains : 5304/5328 places, 5204/5228 transitions.
[2024-05-28 18:42:45] [INFO ] Flatten gal took : 112 ms
[2024-05-28 18:42:45] [INFO ] Flatten gal took : 122 ms
[2024-05-28 18:42:45] [INFO ] Input system was already deterministic with 5204 transitions.
[2024-05-28 18:42:45] [INFO ] Flatten gal took : 116 ms
[2024-05-28 18:42:45] [INFO ] Flatten gal took : 120 ms
[2024-05-28 18:42:45] [INFO ] Export to MCC of 13 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2024-05-28 18:42:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 5328 places, 5228 transitions and 16456 arcs took 20 ms.
Total runtime 207670 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running ShieldIIPs-PT-100B
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/407/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 5328
TRANSITIONS: 5228
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.094s, Sys 0.018s]
SAVING FILE /home/mcc/execution/407/model (.net / .def) ...
EXPORT TIME: [User 0.018s, Sys 0.000s]
----------------------------------------------------------------------
GreatSPN/Meddly.
Copyright (C) 1987-2022, University of Torino, Italy.
website: https://github.com/greatspn/SOURCES
Based on MEDDLY version 0.16.0
Copyright (C) 2009, Iowa State University Research Foundation, Inc.
website: http://meddly.sourceforge.net
Process ID: 767
MODEL NAME: /home/mcc/execution/407/model
5328 places, 5228 transitions.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
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.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
MEDDLY ERROR: Insufficient memory
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="ShieldIIPs-PT-100B"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="greatspnxred"
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-5568"
echo " Executing tool greatspnxred"
echo " Input is ShieldIIPs-PT-100B, 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 r355-tall-171683758200169"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-100B.tgz
mv ShieldIIPs-PT-100B 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 ;