About the Execution of GreatSPN+red for ShieldIIPt-PT-100B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13074.067 | 3600000.00 | 6568564.00 | 5322.50 | TTT?F????TT???T? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r355-tall-171683758600350.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 ShieldIIPt-PT-100B, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r355-tall-171683758600350
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 7.1K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K 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.6K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K May 19 07:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 19 16:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 19:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Apr 12 20:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Apr 12 20:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Apr 12 20:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Apr 12 20:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 23 07:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:53 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 ShieldIIPt-PT-100B-ReachabilityCardinality-2024-00
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-01
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-02
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-03
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-04
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-05
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-06
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-07
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-08
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-09
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-10
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-11
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-12
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-13
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-14
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716951647106
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPt-PT-100B
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-29 03:00:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-05-29 03:00:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-29 03:00:48] [INFO ] Load time of PNML (sax parser for PT used): 303 ms
[2024-05-29 03:00:48] [INFO ] Transformed 7003 places.
[2024-05-29 03:00:48] [INFO ] Transformed 6503 transitions.
[2024-05-29 03:00:48] [INFO ] Found NUPN structural information;
[2024-05-29 03:00:49] [INFO ] Parsed PT model containing 7003 places and 6503 transitions and 16206 arcs in 701 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 18 ms.
Working with output stream class java.io.PrintStream
FORMULA ShieldIIPt-PT-100B-ReachabilityCardinality-2024-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPt-PT-100B-ReachabilityCardinality-2024-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPt-PT-100B-ReachabilityCardinality-2024-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 40000 steps (8 resets) in 2571 ms. (15 steps per ms) remains 10/13 properties
FORMULA ShieldIIPt-PT-100B-ReachabilityCardinality-2024-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldIIPt-PT-100B-ReachabilityCardinality-2024-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldIIPt-PT-100B-ReachabilityCardinality-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40003 steps (8 resets) in 126 ms. (314 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 231 ms. (172 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 136 ms. (292 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 117 ms. (339 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 157 ms. (253 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (8 resets) in 136 ms. (291 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 125 ms. (317 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 132 ms. (300 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 103 ms. (384 steps per ms) remains 10/10 properties
// Phase 1: matrix 6503 rows 7003 cols
[2024-05-29 03:00:50] [INFO ] Computed 901 invariants in 76 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/129 variables, 129/129 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/129 variables, 0/129 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (OVERLAPS) 3004/3133 variables, 365/494 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3133 variables, 3004/3498 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3133 variables, 0/3498 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 3870/7003 variables, 536/4034 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/7003 variables, 3870/7904 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/7003 variables, 0/7904 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 13506/13506 variables, and 14907 constraints, problems are : Problem set: 0 solved, 10 unsolved in 5056 ms.
Refiners :[Domain max(s): 7003/7003 constraints, Positive P Invariants (semi-flows): 901/901 constraints, State Equation: 7003/7003 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/129 variables, 129/129 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/129 variables, 0/129 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (OVERLAPS) 3004/3133 variables, 365/494 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3133 variables, 3004/3498 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-29 03:00:57] [INFO ] Deduced a trap composed of 23 places in 545 ms of which 78 ms to minimize.
[2024-05-29 03:00:58] [INFO ] Deduced a trap composed of 24 places in 452 ms of which 8 ms to minimize.
[2024-05-29 03:00:58] [INFO ] Deduced a trap composed of 56 places in 385 ms of which 7 ms to minimize.
[2024-05-29 03:00:58] [INFO ] Deduced a trap composed of 86 places in 392 ms of which 7 ms to minimize.
[2024-05-29 03:00:59] [INFO ] Deduced a trap composed of 66 places in 366 ms of which 6 ms to minimize.
[2024-05-29 03:00:59] [INFO ] Deduced a trap composed of 75 places in 342 ms of which 7 ms to minimize.
[2024-05-29 03:01:00] [INFO ] Deduced a trap composed of 84 places in 342 ms of which 7 ms to minimize.
[2024-05-29 03:01:00] [INFO ] Deduced a trap composed of 85 places in 330 ms of which 6 ms to minimize.
[2024-05-29 03:01:00] [INFO ] Deduced a trap composed of 99 places in 328 ms of which 6 ms to minimize.
[2024-05-29 03:01:01] [INFO ] Deduced a trap composed of 106 places in 294 ms of which 6 ms to minimize.
SMT process timed out in 10510ms, After SMT, problems are : Problem set: 0 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 129 out of 7003 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7003/7003 places, 6503/6503 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1614 transitions
Trivial Post-agglo rules discarded 1614 transitions
Performed 1614 trivial Post agglomeration. Transition count delta: 1614
Iterating post reduction 0 with 1614 rules applied. Total rules applied 1614 place count 7003 transition count 4889
Reduce places removed 1614 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 1616 rules applied. Total rules applied 3230 place count 5389 transition count 4887
Reduce places removed 1 places and 0 transitions.
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: 23
Iterating post reduction 2 with 24 rules applied. Total rules applied 3254 place count 5388 transition count 4864
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 3 with 23 rules applied. Total rules applied 3277 place count 5365 transition count 4864
Performed 414 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 414 Pre rules applied. Total rules applied 3277 place count 5365 transition count 4450
Deduced a syphon composed of 414 places in 64 ms
Reduce places removed 414 places and 0 transitions.
Iterating global reduction 4 with 828 rules applied. Total rules applied 4105 place count 4951 transition count 4450
Discarding 673 places :
Symmetric choice reduction at 4 with 673 rule applications. Total rules 4778 place count 4278 transition count 3777
Iterating global reduction 4 with 673 rules applied. Total rules applied 5451 place count 4278 transition count 3777
Performed 280 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 280 Pre rules applied. Total rules applied 5451 place count 4278 transition count 3497
Deduced a syphon composed of 280 places in 45 ms
Reduce places removed 280 places and 0 transitions.
Iterating global reduction 4 with 560 rules applied. Total rules applied 6011 place count 3998 transition count 3497
Performed 1636 Post agglomeration using F-continuation condition.Transition count delta: 1636
Deduced a syphon composed of 1636 places in 8 ms
Reduce places removed 1636 places and 0 transitions.
Iterating global reduction 4 with 3272 rules applied. Total rules applied 9283 place count 2362 transition count 1861
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -59
Deduced a syphon composed of 101 places in 6 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 9485 place count 2261 transition count 1920
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -60
Deduced a syphon composed of 101 places in 6 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 9687 place count 2160 transition count 1980
Performed 81 Post agglomeration using F-continuation condition.Transition count delta: -49
Deduced a syphon composed of 81 places in 6 ms
Reduce places removed 81 places and 0 transitions.
Iterating global reduction 4 with 162 rules applied. Total rules applied 9849 place count 2079 transition count 2029
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 9850 place count 2079 transition count 2028
Free-agglomeration rule applied 5 times.
Iterating global reduction 5 with 5 rules applied. Total rules applied 9855 place count 2079 transition count 2023
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 9860 place count 2074 transition count 2023
Partial Free-agglomeration rule applied 95 times.
Drop transitions (Partial Free agglomeration) removed 95 transitions
Iterating global reduction 6 with 95 rules applied. Total rules applied 9955 place count 2074 transition count 2023
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 9956 place count 2073 transition count 2022
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 9958 place count 2071 transition count 2022
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 9958 place count 2071 transition count 2021
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 9960 place count 2070 transition count 2021
Applied a total of 9960 rules in 2668 ms. Remains 2070 /7003 variables (removed 4933) and now considering 2021/6503 (removed 4482) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2678 ms. Remains : 2070/7003 places, 2021/6503 transitions.
RANDOM walk for 40000 steps (8 resets) in 1079 ms. (37 steps per ms) remains 9/10 properties
FORMULA ShieldIIPt-PT-100B-ReachabilityCardinality-2024-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 579 ms. (68 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 488 ms. (81 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 491 ms. (81 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40002 steps (8 resets) in 458 ms. (87 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 506 ms. (78 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 527 ms. (75 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40002 steps (8 resets) in 489 ms. (81 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 532 ms. (75 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 487 ms. (81 steps per ms) remains 9/9 properties
// Phase 1: matrix 2021 rows 2070 cols
[2024-05-29 03:01:05] [INFO ] Computed 899 invariants in 6 ms
[2024-05-29 03:01:05] [INFO ] State equation strengthened by 635 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/80 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 710/790 variables, 310/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/790 variables, 0/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 903/1693 variables, 416/726 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1693 variables, 0/726 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (OVERLAPS) 1698/3391 variables, 1693/2419 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3391 variables, 624/3043 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3391 variables, 0/3043 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 229/3620 variables, 114/3157 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3620 variables, 49/3206 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/3620 variables, 4/3210 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/3620 variables, 0/3210 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (OVERLAPS) 5/3625 variables, 7/3217 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/3625 variables, 5/3222 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/3625 variables, 0/3222 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 15 (OVERLAPS) 9/3634 variables, 4/3226 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/3634 variables, 2/3228 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/3634 variables, 0/3228 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 18 (OVERLAPS) 168/3802 variables, 94/3322 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/3802 variables, 35/3357 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/3802 variables, 4/3361 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/3802 variables, 0/3361 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 22 (OVERLAPS) 9/3811 variables, 8/3369 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/3811 variables, 5/3374 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/3811 variables, 0/3374 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 25 (OVERLAPS) 19/3830 variables, 9/3383 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/3830 variables, 0/3383 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 27 (OVERLAPS) 79/3909 variables, 59/3442 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/3909 variables, 14/3456 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/3909 variables, 2/3458 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/3909 variables, 0/3458 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 31 (OVERLAPS) 2/3911 variables, 4/3462 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/3911 variables, 2/3464 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/3911 variables, 0/3464 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 34 (OVERLAPS) 21/3932 variables, 12/3476 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/3932 variables, 5/3481 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/3932 variables, 0/3481 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 37 (OVERLAPS) 1/3933 variables, 1/3482 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/3933 variables, 1/3483 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/3933 variables, 0/3483 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 40 (OVERLAPS) 2/3935 variables, 1/3484 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/3935 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 42 (OVERLAPS) 20/3955 variables, 10/3494 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/3955 variables, 3/3497 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/3955 variables, 0/3497 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 45 (OVERLAPS) 1/3956 variables, 1/3498 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/3956 variables, 1/3499 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/3956 variables, 0/3499 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 48 (OVERLAPS) 16/3972 variables, 8/3507 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/3972 variables, 3/3510 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/3972 variables, 0/3510 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 51 (OVERLAPS) 1/3973 variables, 1/3511 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/3973 variables, 1/3512 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/3973 variables, 0/3512 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 54 (OVERLAPS) 2/3975 variables, 1/3513 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/3975 variables, 0/3513 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 56 (OVERLAPS) 20/3995 variables, 10/3523 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/3995 variables, 3/3526 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/3995 variables, 0/3526 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 59 (OVERLAPS) 3/3998 variables, 1/3527 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/3998 variables, 0/3527 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 61 (OVERLAPS) 16/4014 variables, 11/3538 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/4014 variables, 3/3541 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/4014 variables, 0/3541 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 64 (OVERLAPS) 1/4015 variables, 1/3542 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/4015 variables, 1/3543 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/4015 variables, 0/3543 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 67 (OVERLAPS) 2/4017 variables, 1/3544 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/4017 variables, 0/3544 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 69 (OVERLAPS) 20/4037 variables, 10/3554 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/4037 variables, 3/3557 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/4037 variables, 0/3557 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 72 (OVERLAPS) 1/4038 variables, 1/3558 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/4038 variables, 1/3559 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/4038 variables, 0/3559 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 75 (OVERLAPS) 16/4054 variables, 8/3567 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/4054 variables, 2/3569 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/4054 variables, 0/3569 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 78 (OVERLAPS) 2/4056 variables, 2/3571 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/4056 variables, 2/3573 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/4056 variables, 0/3573 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 81 (OVERLAPS) 2/4058 variables, 1/3574 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/4058 variables, 0/3574 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 83 (OVERLAPS) 16/4074 variables, 10/3584 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/4074 variables, 4/3588 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/4074 variables, 0/3588 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 86 (OVERLAPS) 9/4083 variables, 4/3592 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/4083 variables, 1/3593 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/4083 variables, 1/3594 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/4083 variables, 0/3594 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 90 (OVERLAPS) 1/4084 variables, 1/3595 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/4084 variables, 1/3596 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/4084 variables, 0/3596 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 93 (OVERLAPS) 1/4085 variables, 1/3597 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/4085 variables, 1/3598 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/4085 variables, 0/3598 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 96 (OVERLAPS) 6/4091 variables, 4/3602 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/4091 variables, 2/3604 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/4091 variables, 0/3604 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 99 (OVERLAPS) 0/4091 variables, 0/3604 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 4091/4091 variables, and 3604 constraints, problems are : Problem set: 0 solved, 9 unsolved in 37521 ms.
Refiners :[Positive P Invariants (semi-flows): 899/899 constraints, State Equation: 2070/2070 constraints, ReadFeed: 635/635 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/80 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 710/790 variables, 310/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 5 places in 66 ms of which 2 ms to minimize.
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 7 places in 59 ms of which 2 ms to minimize.
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 7 places in 57 ms of which 2 ms to minimize.
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 7 places in 60 ms of which 2 ms to minimize.
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 6 places in 55 ms of which 1 ms to minimize.
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 8 places in 57 ms of which 2 ms to minimize.
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 6 places in 54 ms of which 1 ms to minimize.
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 10 places in 59 ms of which 2 ms to minimize.
[2024-05-29 03:01:43] [INFO ] Deduced a trap composed of 5 places in 72 ms of which 1 ms to minimize.
[2024-05-29 03:01:44] [INFO ] Deduced a trap composed of 8 places in 70 ms of which 1 ms to minimize.
[2024-05-29 03:01:44] [INFO ] Deduced a trap composed of 6 places in 74 ms of which 2 ms to minimize.
[2024-05-29 03:01:44] [INFO ] Deduced a trap composed of 6 places in 66 ms of which 2 ms to minimize.
[2024-05-29 03:01:44] [INFO ] Deduced a trap composed of 7 places in 59 ms of which 1 ms to minimize.
[2024-05-29 03:01:44] [INFO ] Deduced a trap composed of 7 places in 61 ms of which 2 ms to minimize.
[2024-05-29 03:01:44] [INFO ] Deduced a trap composed of 8 places in 179 ms of which 3 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/790 variables, 15/325 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/790 variables, 0/325 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (OVERLAPS) 903/1693 variables, 416/741 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 7 places in 72 ms of which 1 ms to minimize.
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 4 places in 70 ms of which 1 ms to minimize.
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 7 places in 67 ms of which 1 ms to minimize.
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 8 places in 73 ms of which 1 ms to minimize.
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 4 places in 67 ms of which 2 ms to minimize.
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 4 places in 56 ms of which 1 ms to minimize.
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 7 places in 62 ms of which 2 ms to minimize.
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 6 places in 69 ms of which 1 ms to minimize.
[2024-05-29 03:01:45] [INFO ] Deduced a trap composed of 8 places in 68 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1693 variables, 9/750 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1693 variables, 0/750 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (OVERLAPS) 1698/3391 variables, 1693/2443 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/3391 variables, 624/3067 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3391 variables, 5/3072 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:01:50] [INFO ] Deduced a trap composed of 3 places in 206 ms of which 4 ms to minimize.
[2024-05-29 03:01:50] [INFO ] Deduced a trap composed of 5 places in 196 ms of which 4 ms to minimize.
[2024-05-29 03:01:50] [INFO ] Deduced a trap composed of 9 places in 201 ms of which 3 ms to minimize.
[2024-05-29 03:01:51] [INFO ] Deduced a trap composed of 6 places in 194 ms of which 3 ms to minimize.
[2024-05-29 03:01:51] [INFO ] Deduced a trap composed of 4 places in 199 ms of which 3 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/3391 variables, 5/3077 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/3391 variables, 0/3077 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (OVERLAPS) 229/3620 variables, 114/3191 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/3620 variables, 49/3240 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/3620 variables, 4/3244 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/3620 variables, 4/3248 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:01:56] [INFO ] Deduced a trap composed of 6 places in 192 ms of which 4 ms to minimize.
[2024-05-29 03:01:57] [INFO ] Deduced a trap composed of 6 places in 183 ms of which 3 ms to minimize.
[2024-05-29 03:01:57] [INFO ] Deduced a trap composed of 6 places in 183 ms of which 4 ms to minimize.
[2024-05-29 03:01:58] [INFO ] Deduced a trap composed of 3 places in 185 ms of which 4 ms to minimize.
[2024-05-29 03:01:58] [INFO ] Deduced a trap composed of 5 places in 184 ms of which 3 ms to minimize.
[2024-05-29 03:01:59] [INFO ] Deduced a trap composed of 3 places in 166 ms of which 4 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/3620 variables, 6/3254 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/3620 variables, 0/3254 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 18 (OVERLAPS) 5/3625 variables, 7/3261 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/3625 variables, 5/3266 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:02:02] [INFO ] Deduced a trap composed of 6 places in 172 ms of which 3 ms to minimize.
At refinement iteration 20 (INCLUDED_ONLY) 0/3625 variables, 1/3267 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/3625 variables, 0/3267 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 22 (OVERLAPS) 9/3634 variables, 4/3271 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/3634 variables, 2/3273 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/3634 variables, 0/3273 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 25 (OVERLAPS) 168/3802 variables, 94/3367 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/3802 variables, 35/3402 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/3802 variables, 4/3406 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:02:07] [INFO ] Deduced a trap composed of 7 places in 171 ms of which 3 ms to minimize.
At refinement iteration 28 (INCLUDED_ONLY) 0/3802 variables, 1/3407 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/3802 variables, 0/3407 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 30 (OVERLAPS) 9/3811 variables, 8/3415 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/3811 variables, 5/3420 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/3811 variables, 0/3420 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 33 (OVERLAPS) 19/3830 variables, 9/3429 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/3830 variables, 0/3429 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 35 (OVERLAPS) 79/3909 variables, 59/3488 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/3909 variables, 14/3502 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/3909 variables, 2/3504 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/3909 variables, 0/3504 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 39 (OVERLAPS) 2/3911 variables, 4/3508 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/3911 variables, 2/3510 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/3911 variables, 0/3510 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 42 (OVERLAPS) 21/3932 variables, 12/3522 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/3932 variables, 5/3527 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/3932 variables, 0/3527 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 45 (OVERLAPS) 1/3933 variables, 1/3528 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/3933 variables, 1/3529 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/3933 variables, 0/3529 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 48 (OVERLAPS) 2/3935 variables, 1/3530 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/3935 variables, 0/3530 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 50 (OVERLAPS) 20/3955 variables, 10/3540 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/3955 variables, 3/3543 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/3955 variables, 0/3543 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 53 (OVERLAPS) 1/3956 variables, 1/3544 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/3956 variables, 1/3545 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3956/4091 variables, and 3545 constraints, problems are : Problem set: 0 solved, 9 unsolved in 45019 ms.
Refiners :[Positive P Invariants (semi-flows): 867/899 constraints, State Equation: 1998/2070 constraints, ReadFeed: 634/635 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 37/37 constraints]
After SMT, in 82600ms problems are : Problem set: 0 solved, 9 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 80 out of 2070 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2070/2070 places, 2021/2021 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 0 with 13 rules applied. Total rules applied 13 place count 2070 transition count 2008
Reduce places removed 13 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 15 rules applied. Total rules applied 28 place count 2057 transition count 2006
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 30 place count 2055 transition count 2006
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 30 place count 2055 transition count 2001
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 40 place count 2050 transition count 2001
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 41 place count 2049 transition count 2000
Iterating global reduction 3 with 1 rules applied. Total rules applied 42 place count 2049 transition count 2000
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 5 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 108 place count 2016 transition count 1967
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: -2
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 118 place count 2011 transition count 1969
Free-agglomeration rule applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 119 place count 2011 transition count 1968
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 120 place count 2010 transition count 1968
Partial Free-agglomeration rule applied 5 times.
Drop transitions (Partial Free agglomeration) removed 5 transitions
Iterating global reduction 4 with 5 rules applied. Total rules applied 125 place count 2010 transition count 1968
Reduce places removed 4 places and 4 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 129 place count 2006 transition count 1964
Applied a total of 129 rules in 412 ms. Remains 2006 /2070 variables (removed 64) and now considering 1964/2021 (removed 57) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 413 ms. Remains : 2006/2070 places, 1964/2021 transitions.
RANDOM walk for 40000 steps (8 resets) in 1026 ms. (38 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 520 ms. (76 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 501 ms. (79 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 492 ms. (81 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 491 ms. (81 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 524 ms. (76 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 517 ms. (77 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 501 ms. (79 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 550 ms. (72 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 518 ms. (77 steps per ms) remains 9/9 properties
Interrupted probabilistic random walk after 77047 steps, run timeout after 3001 ms. (steps per millisecond=25 ) properties seen :0 out of 9
Probabilistic random walk after 77047 steps, saw 69927 distinct states, run finished after 3005 ms. (steps per millisecond=25 ) properties seen :0
// Phase 1: matrix 1964 rows 2006 cols
[2024-05-29 03:02:33] [INFO ] Computed 899 invariants in 9 ms
[2024-05-29 03:02:33] [INFO ] State equation strengthened by 257 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/80 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 686/766 variables, 310/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/766 variables, 0/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 60/826 variables, 29/339 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/826 variables, 0/339 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (OVERLAPS) 937/1763 variables, 826/1165 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1763 variables, 252/1417 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1763 variables, 0/1417 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 698/2461 variables, 343/1760 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2461 variables, 156/1916 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2461 variables, 3/1919 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/2461 variables, 0/1919 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (OVERLAPS) 11/2472 variables, 12/1931 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2472 variables, 11/1942 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/2472 variables, 0/1942 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 15 (OVERLAPS) 20/2492 variables, 10/1952 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/2492 variables, 0/1952 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 17 (OVERLAPS) 653/3145 variables, 358/2310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/3145 variables, 146/2456 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/3145 variables, 1/2457 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/3145 variables, 0/2457 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 21 (OVERLAPS) 15/3160 variables, 22/2479 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/3160 variables, 15/2494 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/3160 variables, 0/2494 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 24 (OVERLAPS) 16/3176 variables, 8/2502 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/3176 variables, 0/2502 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 26 (OVERLAPS) 373/3549 variables, 204/2706 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/3549 variables, 73/2779 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/3549 variables, 0/2779 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 29 (OVERLAPS) 16/3565 variables, 21/2800 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/3565 variables, 16/2816 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/3565 variables, 0/2816 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 32 (OVERLAPS) 22/3587 variables, 11/2827 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/3587 variables, 0/2827 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 34 (OVERLAPS) 132/3719 variables, 98/2925 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/3719 variables, 34/2959 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/3719 variables, 0/2959 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 37 (OVERLAPS) 3/3722 variables, 4/2963 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/3722 variables, 3/2966 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/3722 variables, 0/2966 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 40 (OVERLAPS) 4/3726 variables, 2/2968 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/3726 variables, 0/2968 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 42 (OVERLAPS) 68/3794 variables, 36/3004 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/3794 variables, 13/3017 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/3794 variables, 0/3017 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 45 (OVERLAPS) 2/3796 variables, 3/3020 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/3796 variables, 2/3022 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/3796 variables, 0/3022 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 48 (OVERLAPS) 2/3798 variables, 1/3023 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/3798 variables, 0/3023 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 50 (OVERLAPS) 42/3840 variables, 24/3047 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/3840 variables, 10/3057 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/3840 variables, 0/3057 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 53 (OVERLAPS) 1/3841 variables, 1/3058 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/3841 variables, 1/3059 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/3841 variables, 0/3059 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 56 (OVERLAPS) 2/3843 variables, 1/3060 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/3843 variables, 0/3060 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 58 (OVERLAPS) 33/3876 variables, 18/3078 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/3876 variables, 6/3084 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/3876 variables, 0/3084 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 61 (OVERLAPS) 1/3877 variables, 2/3086 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/3877 variables, 1/3087 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/3877 variables, 0/3087 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 64 (OVERLAPS) 19/3896 variables, 10/3097 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/3896 variables, 4/3101 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/3896 variables, 0/3101 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 67 (OVERLAPS) 1/3897 variables, 1/3102 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/3897 variables, 1/3103 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/3897 variables, 0/3103 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 70 (OVERLAPS) 2/3899 variables, 1/3104 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/3899 variables, 0/3104 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 72 (OVERLAPS) 18/3917 variables, 10/3114 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/3917 variables, 4/3118 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/3917 variables, 0/3118 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 75 (OVERLAPS) 17/3934 variables, 8/3126 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/3934 variables, 3/3129 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/3934 variables, 0/3129 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 78 (OVERLAPS) 1/3935 variables, 1/3130 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/3935 variables, 1/3131 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/3935 variables, 0/3131 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 81 (OVERLAPS) 2/3937 variables, 1/3132 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/3937 variables, 0/3132 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 83 (OVERLAPS) 16/3953 variables, 10/3142 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/3953 variables, 4/3146 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/3953 variables, 0/3146 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 86 (OVERLAPS) 9/3962 variables, 4/3150 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/3962 variables, 1/3151 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/3962 variables, 1/3152 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/3962 variables, 0/3152 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 90 (OVERLAPS) 1/3963 variables, 1/3153 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/3963 variables, 1/3154 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 92 (INCLUDED_ONLY) 0/3963 variables, 0/3154 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 93 (OVERLAPS) 1/3964 variables, 1/3155 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/3964 variables, 1/3156 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/3964 variables, 0/3156 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 96 (OVERLAPS) 6/3970 variables, 4/3160 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/3970 variables, 2/3162 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/3970 variables, 0/3162 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 99 (OVERLAPS) 0/3970 variables, 0/3162 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 3970/3970 variables, and 3162 constraints, problems are : Problem set: 0 solved, 9 unsolved in 22615 ms.
Refiners :[Positive P Invariants (semi-flows): 899/899 constraints, State Equation: 2006/2006 constraints, ReadFeed: 257/257 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/80 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 686/766 variables, 310/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 3 places in 69 ms of which 1 ms to minimize.
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 5 places in 55 ms of which 1 ms to minimize.
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 4 places in 57 ms of which 1 ms to minimize.
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 5 places in 57 ms of which 2 ms to minimize.
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 7 places in 60 ms of which 2 ms to minimize.
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 5 places in 59 ms of which 1 ms to minimize.
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 6 places in 52 ms of which 1 ms to minimize.
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 7 places in 53 ms of which 1 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/766 variables, 8/318 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/766 variables, 0/318 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (OVERLAPS) 60/826 variables, 29/347 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 6 places in 68 ms of which 1 ms to minimize.
[2024-05-29 03:02:56] [INFO ] Deduced a trap composed of 4 places in 56 ms of which 2 ms to minimize.
[2024-05-29 03:02:57] [INFO ] Deduced a trap composed of 5 places in 73 ms of which 2 ms to minimize.
[2024-05-29 03:02:57] [INFO ] Deduced a trap composed of 7 places in 60 ms of which 1 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/826 variables, 4/351 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/826 variables, 0/351 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (OVERLAPS) 937/1763 variables, 826/1177 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1763 variables, 252/1429 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1763 variables, 1/1430 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:02:57] [INFO ] Deduced a trap composed of 7 places in 121 ms of which 2 ms to minimize.
[2024-05-29 03:02:58] [INFO ] Deduced a trap composed of 6 places in 115 ms of which 2 ms to minimize.
[2024-05-29 03:02:58] [INFO ] Deduced a trap composed of 5 places in 112 ms of which 2 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/1763 variables, 3/1433 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:02:58] [INFO ] Deduced a trap composed of 4 places in 115 ms of which 2 ms to minimize.
At refinement iteration 11 (INCLUDED_ONLY) 0/1763 variables, 1/1434 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1763 variables, 0/1434 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (OVERLAPS) 698/2461 variables, 343/1777 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/2461 variables, 156/1933 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/2461 variables, 3/1936 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/2461 variables, 8/1944 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:03:00] [INFO ] Deduced a trap composed of 3 places in 127 ms of which 3 ms to minimize.
[2024-05-29 03:03:00] [INFO ] Deduced a trap composed of 5 places in 123 ms of which 3 ms to minimize.
[2024-05-29 03:03:01] [INFO ] Deduced a trap composed of 5 places in 123 ms of which 3 ms to minimize.
[2024-05-29 03:03:01] [INFO ] Deduced a trap composed of 4 places in 123 ms of which 3 ms to minimize.
[2024-05-29 03:03:01] [INFO ] Deduced a trap composed of 3 places in 114 ms of which 2 ms to minimize.
[2024-05-29 03:03:01] [INFO ] Deduced a trap composed of 4 places in 116 ms of which 3 ms to minimize.
[2024-05-29 03:03:01] [INFO ] Deduced a trap composed of 7 places in 121 ms of which 2 ms to minimize.
[2024-05-29 03:03:02] [INFO ] Deduced a trap composed of 6 places in 106 ms of which 3 ms to minimize.
At refinement iteration 17 (INCLUDED_ONLY) 0/2461 variables, 8/1952 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:03:03] [INFO ] Deduced a trap composed of 5 places in 115 ms of which 2 ms to minimize.
At refinement iteration 18 (INCLUDED_ONLY) 0/2461 variables, 1/1953 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/2461 variables, 0/1953 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 20 (OVERLAPS) 11/2472 variables, 12/1965 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/2472 variables, 11/1976 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/2472 variables, 0/1976 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 23 (OVERLAPS) 20/2492 variables, 10/1986 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2492 variables, 0/1986 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 25 (OVERLAPS) 653/3145 variables, 358/2344 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/3145 variables, 146/2490 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/3145 variables, 1/2491 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:03:08] [INFO ] Deduced a trap composed of 4 places in 140 ms of which 3 ms to minimize.
At refinement iteration 28 (INCLUDED_ONLY) 0/3145 variables, 1/2492 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/3145 variables, 0/2492 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 30 (OVERLAPS) 15/3160 variables, 22/2514 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/3160 variables, 15/2529 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/3160 variables, 0/2529 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 33 (OVERLAPS) 16/3176 variables, 8/2537 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/3176 variables, 0/2537 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 35 (OVERLAPS) 373/3549 variables, 204/2741 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/3549 variables, 73/2814 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/3549 variables, 0/2814 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 38 (OVERLAPS) 16/3565 variables, 21/2835 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/3565 variables, 16/2851 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/3565 variables, 0/2851 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 41 (OVERLAPS) 22/3587 variables, 11/2862 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/3587 variables, 0/2862 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 43 (OVERLAPS) 132/3719 variables, 98/2960 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/3719 variables, 34/2994 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/3719 variables, 0/2994 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 46 (OVERLAPS) 3/3722 variables, 4/2998 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/3722 variables, 3/3001 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/3722 variables, 0/3001 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 49 (OVERLAPS) 4/3726 variables, 2/3003 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/3726 variables, 0/3003 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 51 (OVERLAPS) 68/3794 variables, 36/3039 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/3794 variables, 13/3052 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 53 (INCLUDED_ONLY) 0/3794 variables, 0/3052 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 54 (OVERLAPS) 2/3796 variables, 3/3055 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/3796 variables, 2/3057 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 56 (INCLUDED_ONLY) 0/3796 variables, 0/3057 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 57 (OVERLAPS) 2/3798 variables, 1/3058 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/3798 variables, 0/3058 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 59 (OVERLAPS) 42/3840 variables, 24/3082 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/3840 variables, 10/3092 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 61 (INCLUDED_ONLY) 0/3840 variables, 0/3092 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 62 (OVERLAPS) 1/3841 variables, 1/3093 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/3841 variables, 1/3094 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 64 (INCLUDED_ONLY) 0/3841 variables, 0/3094 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 65 (OVERLAPS) 2/3843 variables, 1/3095 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/3843 variables, 0/3095 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 67 (OVERLAPS) 33/3876 variables, 18/3113 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/3876 variables, 6/3119 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/3876 variables, 0/3119 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 70 (OVERLAPS) 1/3877 variables, 2/3121 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/3877 variables, 1/3122 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 72 (INCLUDED_ONLY) 0/3877 variables, 0/3122 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 73 (OVERLAPS) 19/3896 variables, 10/3132 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/3896 variables, 4/3136 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 75 (INCLUDED_ONLY) 0/3896 variables, 0/3136 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 76 (OVERLAPS) 1/3897 variables, 1/3137 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/3897 variables, 1/3138 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 78 (INCLUDED_ONLY) 0/3897 variables, 0/3138 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 79 (OVERLAPS) 2/3899 variables, 1/3139 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/3899 variables, 0/3139 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 81 (OVERLAPS) 18/3917 variables, 10/3149 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/3917 variables, 4/3153 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 83 (INCLUDED_ONLY) 0/3917 variables, 0/3153 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 84 (OVERLAPS) 17/3934 variables, 8/3161 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/3934 variables, 3/3164 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 86 (INCLUDED_ONLY) 0/3934 variables, 0/3164 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 87 (OVERLAPS) 1/3935 variables, 1/3165 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/3935 variables, 1/3166 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 89 (INCLUDED_ONLY) 0/3935 variables, 0/3166 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 90 (OVERLAPS) 2/3937 variables, 1/3167 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/3937 variables, 0/3167 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 92 (OVERLAPS) 16/3953 variables, 10/3177 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/3953 variables, 4/3181 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 94 (INCLUDED_ONLY) 0/3953 variables, 0/3181 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 95 (OVERLAPS) 9/3962 variables, 4/3185 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/3962 variables, 1/3186 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 97 (INCLUDED_ONLY) 0/3962 variables, 1/3187 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/3962 variables, 0/3187 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 99 (OVERLAPS) 1/3963 variables, 1/3188 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 100 (INCLUDED_ONLY) 0/3963 variables, 1/3189 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/3963 variables, 0/3189 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 102 (OVERLAPS) 1/3964 variables, 1/3190 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 103 (INCLUDED_ONLY) 0/3964 variables, 1/3191 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 104 (INCLUDED_ONLY) 0/3964 variables, 0/3191 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 105 (OVERLAPS) 6/3970 variables, 4/3195 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 106 (INCLUDED_ONLY) 0/3970 variables, 2/3197 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 107 (INCLUDED_ONLY) 0/3970 variables, 0/3197 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 108 (OVERLAPS) 0/3970 variables, 0/3197 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Int declared 3970/3970 variables, and 3197 constraints, problems are : Problem set: 0 solved, 9 unsolved in 53638 ms.
Refiners :[Positive P Invariants (semi-flows): 899/899 constraints, State Equation: 2006/2006 constraints, ReadFeed: 257/257 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 26/26 constraints]
After SMT, in 76290ms problems are : Problem set: 0 solved, 9 unsolved
Fused 9 Parikh solutions to 5 different solutions.
Parikh walk visited 0 properties in 19853 ms.
Support contains 80 out of 2006 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2006/2006 places, 1964/1964 transitions.
Applied a total of 0 rules in 54 ms. Remains 2006 /2006 variables (removed 0) and now considering 1964/1964 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 55 ms. Remains : 2006/2006 places, 1964/1964 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2006/2006 places, 1964/1964 transitions.
Applied a total of 0 rules in 54 ms. Remains 2006 /2006 variables (removed 0) and now considering 1964/1964 (removed 0) transitions.
[2024-05-29 03:04:09] [INFO ] Invariant cache hit.
[2024-05-29 03:04:10] [INFO ] Implicit Places using invariants in 1270 ms returned [1995]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 1283 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 2005/2006 places, 1964/1964 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 2004 transition count 1963
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 2004 transition count 1963
Applied a total of 2 rules in 88 ms. Remains 2004 /2005 variables (removed 1) and now considering 1963/1964 (removed 1) transitions.
// Phase 1: matrix 1963 rows 2004 cols
[2024-05-29 03:04:10] [INFO ] Computed 898 invariants in 7 ms
[2024-05-29 03:04:11] [INFO ] Implicit Places using invariants in 1208 ms returned []
[2024-05-29 03:04:11] [INFO ] Invariant cache hit.
[2024-05-29 03:04:13] [INFO ] State equation strengthened by 256 read => feed constraints.
[2024-05-29 03:04:20] [INFO ] Implicit Places using invariants and state equation in 8066 ms returned []
Implicit Place search using SMT with State Equation took 9276 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2004/2006 places, 1963/1964 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 10703 ms. Remains : 2004/2006 places, 1963/1964 transitions.
RANDOM walk for 40000 steps (8 resets) in 998 ms. (40 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 734 ms. (54 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 747 ms. (53 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 775 ms. (51 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 750 ms. (53 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 804 ms. (49 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40002 steps (8 resets) in 806 ms. (49 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 735 ms. (54 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 866 ms. (46 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 811 ms. (49 steps per ms) remains 9/9 properties
Interrupted probabilistic random walk after 131344 steps, run timeout after 6001 ms. (steps per millisecond=21 ) properties seen :0 out of 9
Probabilistic random walk after 131344 steps, saw 121127 distinct states, run finished after 6001 ms. (steps per millisecond=21 ) properties seen :0
[2024-05-29 03:04:28] [INFO ] Invariant cache hit.
[2024-05-29 03:04:28] [INFO ] State equation strengthened by 256 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/80 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 686/766 variables, 310/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/766 variables, 0/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 60/826 variables, 29/339 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/826 variables, 0/339 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (OVERLAPS) 937/1763 variables, 826/1165 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1763 variables, 252/1417 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1763 variables, 0/1417 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 698/2461 variables, 343/1760 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2461 variables, 156/1916 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2461 variables, 3/1919 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/2461 variables, 0/1919 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (OVERLAPS) 11/2472 variables, 12/1931 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2472 variables, 11/1942 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/2472 variables, 0/1942 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 15 (OVERLAPS) 20/2492 variables, 10/1952 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/2492 variables, 0/1952 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 17 (OVERLAPS) 653/3145 variables, 358/2310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/3145 variables, 146/2456 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/3145 variables, 1/2457 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/3145 variables, 0/2457 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 21 (OVERLAPS) 15/3160 variables, 22/2479 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/3160 variables, 15/2494 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/3160 variables, 0/2494 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 24 (OVERLAPS) 16/3176 variables, 8/2502 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/3176 variables, 0/2502 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 26 (OVERLAPS) 373/3549 variables, 204/2706 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/3549 variables, 73/2779 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/3549 variables, 0/2779 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 29 (OVERLAPS) 16/3565 variables, 21/2800 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/3565 variables, 16/2816 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/3565 variables, 0/2816 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 32 (OVERLAPS) 22/3587 variables, 11/2827 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/3587 variables, 0/2827 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 34 (OVERLAPS) 132/3719 variables, 98/2925 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/3719 variables, 34/2959 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/3719 variables, 0/2959 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 37 (OVERLAPS) 3/3722 variables, 4/2963 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/3722 variables, 3/2966 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/3722 variables, 0/2966 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 40 (OVERLAPS) 4/3726 variables, 2/2968 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/3726 variables, 0/2968 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 42 (OVERLAPS) 68/3794 variables, 36/3004 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/3794 variables, 13/3017 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/3794 variables, 0/3017 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 45 (OVERLAPS) 2/3796 variables, 3/3020 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/3796 variables, 2/3022 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/3796 variables, 0/3022 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 48 (OVERLAPS) 2/3798 variables, 1/3023 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/3798 variables, 0/3023 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 50 (OVERLAPS) 42/3840 variables, 24/3047 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/3840 variables, 10/3057 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/3840 variables, 0/3057 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 53 (OVERLAPS) 1/3841 variables, 1/3058 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/3841 variables, 1/3059 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/3841 variables, 0/3059 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 56 (OVERLAPS) 2/3843 variables, 1/3060 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/3843 variables, 0/3060 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 58 (OVERLAPS) 33/3876 variables, 18/3078 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 59 (INCLUDED_ONLY) 0/3876 variables, 6/3084 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/3876 variables, 0/3084 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 61 (OVERLAPS) 1/3877 variables, 2/3086 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/3877 variables, 1/3087 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/3877 variables, 0/3087 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 64 (OVERLAPS) 19/3896 variables, 10/3097 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/3896 variables, 4/3101 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/3896 variables, 0/3101 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 67 (OVERLAPS) 1/3897 variables, 1/3102 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/3897 variables, 1/3103 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 69 (INCLUDED_ONLY) 0/3897 variables, 0/3103 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 70 (OVERLAPS) 2/3899 variables, 1/3104 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/3899 variables, 0/3104 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 72 (OVERLAPS) 18/3917 variables, 10/3114 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/3917 variables, 4/3118 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/3917 variables, 0/3118 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 75 (OVERLAPS) 17/3934 variables, 8/3126 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/3934 variables, 3/3129 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/3934 variables, 0/3129 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 78 (OVERLAPS) 1/3935 variables, 1/3130 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/3935 variables, 1/3131 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/3935 variables, 0/3131 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 81 (OVERLAPS) 2/3937 variables, 1/3132 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/3937 variables, 0/3132 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 83 (OVERLAPS) 16/3953 variables, 10/3142 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/3953 variables, 4/3146 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/3953 variables, 0/3146 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 86 (OVERLAPS) 8/3961 variables, 4/3150 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/3961 variables, 2/3152 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/3961 variables, 0/3152 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 89 (OVERLAPS) 6/3967 variables, 4/3156 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/3967 variables, 2/3158 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/3967 variables, 0/3158 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 92 (OVERLAPS) 0/3967 variables, 0/3158 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 3967/3967 variables, and 3158 constraints, problems are : Problem set: 0 solved, 9 unsolved in 21747 ms.
Refiners :[Positive P Invariants (semi-flows): 898/898 constraints, State Equation: 2004/2004 constraints, ReadFeed: 256/256 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/80 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 686/766 variables, 310/310 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:04:50] [INFO ] Deduced a trap composed of 3 places in 68 ms of which 1 ms to minimize.
[2024-05-29 03:04:50] [INFO ] Deduced a trap composed of 4 places in 56 ms of which 2 ms to minimize.
[2024-05-29 03:04:50] [INFO ] Deduced a trap composed of 6 places in 56 ms of which 1 ms to minimize.
[2024-05-29 03:04:50] [INFO ] Deduced a trap composed of 8 places in 65 ms of which 1 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/766 variables, 4/314 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/766 variables, 0/314 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (OVERLAPS) 60/826 variables, 29/343 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:04:51] [INFO ] Deduced a trap composed of 4 places in 67 ms of which 3 ms to minimize.
[2024-05-29 03:04:51] [INFO ] Deduced a trap composed of 6 places in 67 ms of which 1 ms to minimize.
[2024-05-29 03:04:51] [INFO ] Deduced a trap composed of 8 places in 60 ms of which 1 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/826 variables, 3/346 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:04:51] [INFO ] Deduced a trap composed of 8 places in 58 ms of which 2 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/826 variables, 1/347 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/826 variables, 0/347 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 937/1763 variables, 826/1173 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1763 variables, 252/1425 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1763 variables, 1/1426 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:04:52] [INFO ] Deduced a trap composed of 7 places in 106 ms of which 2 ms to minimize.
At refinement iteration 11 (INCLUDED_ONLY) 0/1763 variables, 1/1427 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1763 variables, 0/1427 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (OVERLAPS) 698/2461 variables, 343/1770 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/2461 variables, 156/1926 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/2461 variables, 3/1929 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/2461 variables, 8/1937 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:04:53] [INFO ] Deduced a trap composed of 6 places in 119 ms of which 2 ms to minimize.
[2024-05-29 03:04:53] [INFO ] Deduced a trap composed of 5 places in 117 ms of which 2 ms to minimize.
[2024-05-29 03:04:54] [INFO ] Deduced a trap composed of 6 places in 118 ms of which 2 ms to minimize.
[2024-05-29 03:04:54] [INFO ] Deduced a trap composed of 6 places in 118 ms of which 2 ms to minimize.
[2024-05-29 03:04:54] [INFO ] Deduced a trap composed of 6 places in 118 ms of which 2 ms to minimize.
[2024-05-29 03:04:54] [INFO ] Deduced a trap composed of 4 places in 111 ms of which 2 ms to minimize.
[2024-05-29 03:04:54] [INFO ] Deduced a trap composed of 7 places in 107 ms of which 2 ms to minimize.
[2024-05-29 03:04:55] [INFO ] Deduced a trap composed of 5 places in 117 ms of which 2 ms to minimize.
[2024-05-29 03:04:55] [INFO ] Deduced a trap composed of 6 places in 119 ms of which 3 ms to minimize.
[2024-05-29 03:04:55] [INFO ] Deduced a trap composed of 6 places in 112 ms of which 2 ms to minimize.
[2024-05-29 03:04:55] [INFO ] Deduced a trap composed of 7 places in 104 ms of which 2 ms to minimize.
At refinement iteration 17 (INCLUDED_ONLY) 0/2461 variables, 11/1948 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:04:56] [INFO ] Deduced a trap composed of 5 places in 102 ms of which 2 ms to minimize.
At refinement iteration 18 (INCLUDED_ONLY) 0/2461 variables, 1/1949 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/2461 variables, 0/1949 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 20 (OVERLAPS) 11/2472 variables, 12/1961 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/2472 variables, 11/1972 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:04:58] [INFO ] Deduced a trap composed of 5 places in 102 ms of which 2 ms to minimize.
At refinement iteration 22 (INCLUDED_ONLY) 0/2472 variables, 1/1973 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/2472 variables, 0/1973 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 24 (OVERLAPS) 20/2492 variables, 10/1983 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2492 variables, 0/1983 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 26 (OVERLAPS) 653/3145 variables, 358/2341 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/3145 variables, 146/2487 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/3145 variables, 1/2488 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:05:01] [INFO ] Deduced a trap composed of 5 places in 122 ms of which 3 ms to minimize.
At refinement iteration 29 (INCLUDED_ONLY) 0/3145 variables, 1/2489 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/3145 variables, 0/2489 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 31 (OVERLAPS) 15/3160 variables, 22/2511 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/3160 variables, 15/2526 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/3160 variables, 0/2526 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 34 (OVERLAPS) 16/3176 variables, 8/2534 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/3176 variables, 0/2534 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 36 (OVERLAPS) 373/3549 variables, 204/2738 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/3549 variables, 73/2811 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/3549 variables, 0/2811 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 39 (OVERLAPS) 16/3565 variables, 21/2832 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/3565 variables, 16/2848 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/3565 variables, 0/2848 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 42 (OVERLAPS) 22/3587 variables, 11/2859 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/3587 variables, 0/2859 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 44 (OVERLAPS) 132/3719 variables, 98/2957 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/3719 variables, 34/2991 constraints. Problems are: Problem set: 0 solved, 9 unsolved
[2024-05-29 03:05:08] [INFO ] Deduced a trap composed of 5 places in 128 ms of which 3 ms to minimize.
At refinement iteration 46 (INCLUDED_ONLY) 0/3719 variables, 1/2992 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/3719 variables, 0/2992 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 48 (OVERLAPS) 3/3722 variables, 4/2996 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 49 (INCLUDED_ONLY) 0/3722 variables, 3/2999 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/3722 variables, 0/2999 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 51 (OVERLAPS) 4/3726 variables, 2/3001 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/3726 variables, 0/3001 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 53 (OVERLAPS) 68/3794 variables, 36/3037 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/3794 variables, 13/3050 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 55 (INCLUDED_ONLY) 0/3794 variables, 0/3050 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 56 (OVERLAPS) 2/3796 variables, 3/3053 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 57 (INCLUDED_ONLY) 0/3796 variables, 2/3055 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 58 (INCLUDED_ONLY) 0/3796 variables, 0/3055 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 59 (OVERLAPS) 2/3798 variables, 1/3056 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 60 (INCLUDED_ONLY) 0/3798 variables, 0/3056 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 61 (OVERLAPS) 42/3840 variables, 24/3080 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 62 (INCLUDED_ONLY) 0/3840 variables, 10/3090 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 63 (INCLUDED_ONLY) 0/3840 variables, 0/3090 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 64 (OVERLAPS) 1/3841 variables, 1/3091 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 65 (INCLUDED_ONLY) 0/3841 variables, 1/3092 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 66 (INCLUDED_ONLY) 0/3841 variables, 0/3092 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 67 (OVERLAPS) 2/3843 variables, 1/3093 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 68 (INCLUDED_ONLY) 0/3843 variables, 0/3093 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 69 (OVERLAPS) 33/3876 variables, 18/3111 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 70 (INCLUDED_ONLY) 0/3876 variables, 6/3117 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 71 (INCLUDED_ONLY) 0/3876 variables, 0/3117 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 72 (OVERLAPS) 1/3877 variables, 2/3119 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 73 (INCLUDED_ONLY) 0/3877 variables, 1/3120 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 74 (INCLUDED_ONLY) 0/3877 variables, 0/3120 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 75 (OVERLAPS) 19/3896 variables, 10/3130 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 76 (INCLUDED_ONLY) 0/3896 variables, 4/3134 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 77 (INCLUDED_ONLY) 0/3896 variables, 0/3134 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 78 (OVERLAPS) 1/3897 variables, 1/3135 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 79 (INCLUDED_ONLY) 0/3897 variables, 1/3136 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 80 (INCLUDED_ONLY) 0/3897 variables, 0/3136 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 81 (OVERLAPS) 2/3899 variables, 1/3137 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 82 (INCLUDED_ONLY) 0/3899 variables, 0/3137 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 83 (OVERLAPS) 18/3917 variables, 10/3147 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 84 (INCLUDED_ONLY) 0/3917 variables, 4/3151 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 85 (INCLUDED_ONLY) 0/3917 variables, 0/3151 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 86 (OVERLAPS) 17/3934 variables, 8/3159 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 87 (INCLUDED_ONLY) 0/3934 variables, 3/3162 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 88 (INCLUDED_ONLY) 0/3934 variables, 0/3162 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 89 (OVERLAPS) 1/3935 variables, 1/3163 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 90 (INCLUDED_ONLY) 0/3935 variables, 1/3164 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 91 (INCLUDED_ONLY) 0/3935 variables, 0/3164 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 92 (OVERLAPS) 2/3937 variables, 1/3165 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 93 (INCLUDED_ONLY) 0/3937 variables, 0/3165 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 94 (OVERLAPS) 16/3953 variables, 10/3175 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 95 (INCLUDED_ONLY) 0/3953 variables, 4/3179 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 96 (INCLUDED_ONLY) 0/3953 variables, 0/3179 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 97 (OVERLAPS) 8/3961 variables, 4/3183 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 98 (INCLUDED_ONLY) 0/3961 variables, 2/3185 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 99 (INCLUDED_ONLY) 0/3961 variables, 0/3185 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 100 (OVERLAPS) 6/3967 variables, 4/3189 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 101 (INCLUDED_ONLY) 0/3967 variables, 2/3191 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 102 (INCLUDED_ONLY) 0/3967 variables, 0/3191 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 103 (OVERLAPS) 0/3967 variables, 0/3191 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Int declared 3967/3967 variables, and 3191 constraints, problems are : Problem set: 0 solved, 9 unsolved in 44770 ms.
Refiners :[Positive P Invariants (semi-flows): 898/898 constraints, State Equation: 2004/2004 constraints, ReadFeed: 256/256 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 24/24 constraints]
After SMT, in 66545ms problems are : Problem set: 0 solved, 9 unsolved
Fused 9 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 13039 ms.
Support contains 80 out of 2004 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2004/2004 places, 1963/1963 transitions.
Applied a total of 0 rules in 57 ms. Remains 2004 /2004 variables (removed 0) and now considering 1963/1963 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 59 ms. Remains : 2004/2004 places, 1963/1963 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2004/2004 places, 1963/1963 transitions.
Applied a total of 0 rules in 56 ms. Remains 2004 /2004 variables (removed 0) and now considering 1963/1963 (removed 0) transitions.
[2024-05-29 03:05:48] [INFO ] Invariant cache hit.
[2024-05-29 03:05:49] [INFO ] Implicit Places using invariants in 1133 ms returned []
[2024-05-29 03:05:49] [INFO ] Invariant cache hit.
[2024-05-29 03:05:50] [INFO ] State equation strengthened by 256 read => feed constraints.
[2024-05-29 03:05:57] [INFO ] Implicit Places using invariants and state equation in 7861 ms returned []
Implicit Place search using SMT with State Equation took 8996 ms to find 0 implicit places.
[2024-05-29 03:05:57] [INFO ] Redundant transitions in 118 ms returned []
Running 1937 sub problems to find dead transitions.
[2024-05-29 03:05:57] [INFO ] Invariant cache hit.
[2024-05-29 03:05:57] [INFO ] State equation strengthened by 256 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/1981 variables, 599/599 constraints. Problems are: Problem set: 0 solved, 1937 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1981/3967 variables, and 599 constraints, problems are : Problem set: 0 solved, 1937 unsolved in 30038 ms.
Refiners :[Positive P Invariants (semi-flows): 599/898 constraints, State Equation: 0/2004 constraints, ReadFeed: 0/256 constraints, PredecessorRefiner: 1937/1937 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1937 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1981 variables, 599/599 constraints. Problems are: Problem set: 0 solved, 1937 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1981/3967 variables, and 599 constraints, problems are : Problem set: 0 solved, 1937 unsolved in 30035 ms.
Refiners :[Positive P Invariants (semi-flows): 599/898 constraints, State Equation: 0/2004 constraints, ReadFeed: 0/256 constraints, PredecessorRefiner: 0/1937 constraints, Known Traps: 0/0 constraints]
After SMT, in 60827ms problems are : Problem set: 0 solved, 1937 unsolved
Search for dead transitions found 0 dead transitions in 60853ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 70043 ms. Remains : 2004/2004 places, 1963/1963 transitions.
[2024-05-29 03:06:58] [INFO ] Export to MCC of 9 properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 9 ms.
[2024-05-29 03:06:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2004 places, 1963 transitions and 9588 arcs took 18 ms.
[2024-05-29 03:06:58] [INFO ] Flatten gal took : 222 ms
Total runtime 370334 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running ShieldIIPt-PT-100B
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/412/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 2004
TRANSITIONS: 1963
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.055s, Sys 0.001s]
SAVING FILE /home/mcc/execution/412/model (.net / .def) ...
EXPORT TIME: [User 0.004s, Sys 0.003s]
----------------------------------------------------------------------
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: 907
MODEL NAME: /home/mcc/execution/412/model
2004 places, 1963 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
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="ShieldIIPt-PT-100B"
export BK_EXAMINATION="ReachabilityCardinality"
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 ShieldIIPt-PT-100B, examination is ReachabilityCardinality"
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-171683758600350"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-100B.tgz
mv ShieldIIPt-PT-100B execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;