About the Execution of GreatSPN+red for ShieldPPPt-PT-050B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11040.348 | 3600000.00 | 13232568.00 | 1089.40 | F???TTF??T???F?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r355-tall-171683759300687.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 ShieldPPPt-PT-050B, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r355-tall-171683759300687
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 9.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 114K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K 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 Apr 23 07:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 23 07:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 19 19:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Apr 11 14:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 170K Apr 11 14:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Apr 11 14:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Apr 11 14:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 23 07:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:54 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 955K 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 ShieldPPPt-PT-050B-ReachabilityFireability-2024-00
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-01
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-02
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-03
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-04
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-05
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-06
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-07
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-08
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-09
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-10
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-11
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-12
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-13
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-14
FORMULA_NAME ShieldPPPt-PT-050B-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717029626015
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPt-PT-050B
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-30 00:40:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-30 00:40:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-30 00:40:27] [INFO ] Load time of PNML (sax parser for PT used): 226 ms
[2024-05-30 00:40:27] [INFO ] Transformed 3903 places.
[2024-05-30 00:40:27] [INFO ] Transformed 3553 transitions.
[2024-05-30 00:40:27] [INFO ] Found NUPN structural information;
[2024-05-30 00:40:27] [INFO ] Parsed PT model containing 3903 places and 3553 transitions and 8906 arcs in 526 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 18 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (8 resets) in 1879 ms. (21 steps per ms) remains 12/16 properties
FORMULA ShieldPPPt-PT-050B-ReachabilityFireability-2024-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPt-PT-050B-ReachabilityFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPt-PT-050B-ReachabilityFireability-2024-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPt-PT-050B-ReachabilityFireability-2024-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40003 steps (8 resets) in 273 ms. (145 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 577 ms. (69 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 148 ms. (268 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 88 ms. (449 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 85 ms. (465 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 98 ms. (404 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 145 ms. (274 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 165 ms. (240 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 139 ms. (285 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 107 ms. (370 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 119 ms. (333 steps per ms) remains 12/12 properties
// Phase 1: matrix 3553 rows 3903 cols
[2024-05-30 00:40:29] [INFO ] Computed 551 invariants in 50 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/161 variables, 161/161 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/161 variables, 0/161 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (OVERLAPS) 3609/3770 variables, 530/691 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3770 variables, 3609/4300 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3770 variables, 0/4300 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 5 (OVERLAPS) 133/3903 variables, 21/4321 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3903 variables, 133/4454 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3903 variables, 0/4454 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 8 (OVERLAPS) 3553/7456 variables, 3903/8357 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7456/7456 variables, and 8357 constraints, problems are : Problem set: 0 solved, 12 unsolved in 5148 ms.
Refiners :[Domain max(s): 3903/3903 constraints, Positive P Invariants (semi-flows): 551/551 constraints, State Equation: 3903/3903 constraints, PredecessorRefiner: 12/12 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/161 variables, 161/161 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/161 variables, 0/161 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (OVERLAPS) 3609/3770 variables, 530/691 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3770 variables, 3609/4300 constraints. Problems are: Problem set: 0 solved, 12 unsolved
[2024-05-30 00:40:36] [INFO ] Deduced a trap composed of 23 places in 1137 ms of which 114 ms to minimize.
[2024-05-30 00:40:38] [INFO ] Deduced a trap composed of 28 places in 1480 ms of which 19 ms to minimize.
[2024-05-30 00:40:39] [INFO ] Deduced a trap composed of 20 places in 995 ms of which 15 ms to minimize.
[2024-05-30 00:40:40] [INFO ] Deduced a trap composed of 28 places in 962 ms of which 14 ms to minimize.
SMT process timed out in 11275ms, After SMT, problems are : Problem set: 0 solved, 12 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 161 out of 3903 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3903/3903 places, 3553/3553 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 821 transitions
Trivial Post-agglo rules discarded 821 transitions
Performed 821 trivial Post agglomeration. Transition count delta: 821
Iterating post reduction 0 with 821 rules applied. Total rules applied 821 place count 3903 transition count 2732
Reduce places removed 821 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 823 rules applied. Total rules applied 1644 place count 3082 transition count 2730
Reduce places removed 1 places and 0 transitions.
Performed 57 Post agglomeration using F-continuation condition.Transition count delta: 57
Iterating post reduction 2 with 58 rules applied. Total rules applied 1702 place count 3081 transition count 2673
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 3 with 57 rules applied. Total rules applied 1759 place count 3024 transition count 2673
Performed 206 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 206 Pre rules applied. Total rules applied 1759 place count 3024 transition count 2467
Deduced a syphon composed of 206 places in 7 ms
Reduce places removed 206 places and 0 transitions.
Iterating global reduction 4 with 412 rules applied. Total rules applied 2171 place count 2818 transition count 2467
Discarding 326 places :
Symmetric choice reduction at 4 with 326 rule applications. Total rules 2497 place count 2492 transition count 2141
Iterating global reduction 4 with 326 rules applied. Total rules applied 2823 place count 2492 transition count 2141
Performed 121 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 121 Pre rules applied. Total rules applied 2823 place count 2492 transition count 2020
Deduced a syphon composed of 121 places in 17 ms
Reduce places removed 121 places and 0 transitions.
Iterating global reduction 4 with 242 rules applied. Total rules applied 3065 place count 2371 transition count 2020
Performed 779 Post agglomeration using F-continuation condition.Transition count delta: 779
Deduced a syphon composed of 779 places in 4 ms
Reduce places removed 779 places and 0 transitions.
Iterating global reduction 4 with 1558 rules applied. Total rules applied 4623 place count 1592 transition count 1241
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 4825 place count 1491 transition count 1241
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 15 places in 3 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 4855 place count 1476 transition count 1241
Free-agglomeration rule applied 5 times.
Iterating global reduction 4 with 5 rules applied. Total rules applied 4860 place count 1476 transition count 1236
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 4865 place count 1471 transition count 1236
Partial Free-agglomeration rule applied 137 times.
Drop transitions (Partial Free agglomeration) removed 137 transitions
Iterating global reduction 5 with 137 rules applied. Total rules applied 5002 place count 1471 transition count 1236
Partial Post-agglomeration rule applied 1 times.
Drop transitions (Partial Post agglomeration) removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 5003 place count 1471 transition count 1236
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 5004 place count 1470 transition count 1235
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 5005 place count 1469 transition count 1235
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 2 Pre rules applied. Total rules applied 5005 place count 1469 transition count 1233
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 5009 place count 1467 transition count 1233
Applied a total of 5009 rules in 1794 ms. Remains 1467 /3903 variables (removed 2436) and now considering 1233/3553 (removed 2320) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1807 ms. Remains : 1467/3903 places, 1233/3553 transitions.
RANDOM walk for 40000 steps (8 resets) in 819 ms. (48 steps per ms) remains 11/12 properties
FORMULA ShieldPPPt-PT-050B-ReachabilityFireability-2024-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40003 steps (8 resets) in 423 ms. (94 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 305 ms. (130 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 331 ms. (120 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 217 ms. (183 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 221 ms. (180 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 218 ms. (182 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 286 ms. (139 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 249 ms. (160 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 10/11 properties
FORMULA ShieldPPPt-PT-050B-ReachabilityFireability-2024-13 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 239 ms. (166 steps per ms) remains 10/10 properties
// Phase 1: matrix 1233 rows 1467 cols
[2024-05-30 00:40:43] [INFO ] Computed 550 invariants in 9 ms
[2024-05-30 00:40:43] [INFO ] State equation strengthened by 245 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/139 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1280/1419 variables, 528/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1419 variables, 0/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 21/1440 variables, 9/537 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1440 variables, 0/537 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 1220/2660 variables, 1440/1977 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2660 variables, 243/2220 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2660 variables, 0/2220 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (OVERLAPS) 26/2686 variables, 17/2237 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2686 variables, 7/2244 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2686 variables, 1/2245 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/2686 variables, 0/2245 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (OVERLAPS) 1/2687 variables, 1/2246 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2687 variables, 1/2247 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/2687 variables, 0/2247 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 15 (OVERLAPS) 1/2688 variables, 1/2248 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/2688 variables, 1/2249 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/2688 variables, 0/2249 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 18 (OVERLAPS) 10/2698 variables, 6/2255 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/2698 variables, 2/2257 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/2698 variables, 1/2258 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/2698 variables, 0/2258 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 22 (OVERLAPS) 1/2699 variables, 1/2259 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/2699 variables, 1/2260 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2699 variables, 0/2260 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 25 (OVERLAPS) 1/2700 variables, 1/2261 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/2700 variables, 1/2262 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/2700 variables, 0/2262 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 28 (OVERLAPS) 0/2700 variables, 0/2262 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Real declared 2700/2700 variables, and 2262 constraints, problems are : Problem set: 0 solved, 10 unsolved in 7745 ms.
Refiners :[Positive P Invariants (semi-flows): 550/550 constraints, State Equation: 1467/1467 constraints, ReadFeed: 245/245 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/139 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1280/1419 variables, 528/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:40:51] [INFO ] Deduced a trap composed of 9 places in 88 ms of which 2 ms to minimize.
[2024-05-30 00:40:51] [INFO ] Deduced a trap composed of 9 places in 97 ms of which 2 ms to minimize.
[2024-05-30 00:40:51] [INFO ] Deduced a trap composed of 8 places in 95 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 10 places in 82 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 11 places in 98 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 12 places in 83 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 10 places in 84 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 13 places in 80 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 10 places in 79 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 9 places in 78 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 9 places in 78 ms of which 2 ms to minimize.
[2024-05-30 00:40:52] [INFO ] Deduced a trap composed of 9 places in 75 ms of which 1 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 12 places in 72 ms of which 2 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 10 places in 76 ms of which 1 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 11 places in 77 ms of which 2 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 9 places in 77 ms of which 2 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 12 places in 73 ms of which 1 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 10 places in 73 ms of which 1 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 16 places in 69 ms of which 2 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 10 places in 68 ms of which 2 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1419 variables, 20/548 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 7 places in 79 ms of which 2 ms to minimize.
[2024-05-30 00:40:53] [INFO ] Deduced a trap composed of 9 places in 73 ms of which 1 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 8 places in 68 ms of which 2 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 12 places in 107 ms of which 1 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 13 places in 70 ms of which 1 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 11 places in 81 ms of which 1 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 11 places in 69 ms of which 2 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 10 places in 65 ms of which 1 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 5 places in 78 ms of which 2 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 7 places in 75 ms of which 2 ms to minimize.
[2024-05-30 00:40:54] [INFO ] Deduced a trap composed of 9 places in 98 ms of which 2 ms to minimize.
[2024-05-30 00:40:55] [INFO ] Deduced a trap composed of 8 places in 95 ms of which 2 ms to minimize.
[2024-05-30 00:40:55] [INFO ] Deduced a trap composed of 5 places in 104 ms of which 2 ms to minimize.
[2024-05-30 00:40:55] [INFO ] Deduced a trap composed of 8 places in 104 ms of which 2 ms to minimize.
[2024-05-30 00:40:55] [INFO ] Deduced a trap composed of 9 places in 105 ms of which 3 ms to minimize.
[2024-05-30 00:40:55] [INFO ] Deduced a trap composed of 11 places in 104 ms of which 3 ms to minimize.
[2024-05-30 00:40:55] [INFO ] Deduced a trap composed of 10 places in 106 ms of which 2 ms to minimize.
[2024-05-30 00:40:55] [INFO ] Deduced a trap composed of 13 places in 91 ms of which 2 ms to minimize.
[2024-05-30 00:40:55] [INFO ] Deduced a trap composed of 10 places in 98 ms of which 2 ms to minimize.
[2024-05-30 00:40:56] [INFO ] Deduced a trap composed of 16 places in 93 ms of which 2 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1419 variables, 20/568 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:40:56] [INFO ] Deduced a trap composed of 4 places in 101 ms of which 2 ms to minimize.
[2024-05-30 00:40:56] [INFO ] Deduced a trap composed of 12 places in 99 ms of which 3 ms to minimize.
[2024-05-30 00:40:56] [INFO ] Deduced a trap composed of 5 places in 94 ms of which 2 ms to minimize.
[2024-05-30 00:40:56] [INFO ] Deduced a trap composed of 11 places in 107 ms of which 2 ms to minimize.
[2024-05-30 00:40:56] [INFO ] Deduced a trap composed of 9 places in 104 ms of which 3 ms to minimize.
[2024-05-30 00:40:57] [INFO ] Deduced a trap composed of 5 places in 97 ms of which 2 ms to minimize.
[2024-05-30 00:40:57] [INFO ] Deduced a trap composed of 6 places in 90 ms of which 3 ms to minimize.
[2024-05-30 00:40:57] [INFO ] Deduced a trap composed of 12 places in 68 ms of which 2 ms to minimize.
[2024-05-30 00:40:57] [INFO ] Deduced a trap composed of 5 places in 68 ms of which 1 ms to minimize.
[2024-05-30 00:40:57] [INFO ] Deduced a trap composed of 11 places in 70 ms of which 2 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1419 variables, 10/578 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:40:57] [INFO ] Deduced a trap composed of 5 places in 77 ms of which 2 ms to minimize.
[2024-05-30 00:40:57] [INFO ] Deduced a trap composed of 9 places in 81 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1419 variables, 2/580 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:40:58] [INFO ] Deduced a trap composed of 9 places in 91 ms of which 3 ms to minimize.
[2024-05-30 00:40:58] [INFO ] Deduced a trap composed of 12 places in 88 ms of which 2 ms to minimize.
[2024-05-30 00:40:58] [INFO ] Deduced a trap composed of 11 places in 86 ms of which 2 ms to minimize.
[2024-05-30 00:40:58] [INFO ] Deduced a trap composed of 10 places in 85 ms of which 2 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/1419 variables, 4/584 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1419 variables, 0/584 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (OVERLAPS) 21/1440 variables, 9/593 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:40:59] [INFO ] Deduced a trap composed of 4 places in 85 ms of which 1 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/1440 variables, 1/594 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:40:59] [INFO ] Deduced a trap composed of 5 places in 85 ms of which 2 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/1440 variables, 1/595 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1440 variables, 0/595 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (OVERLAPS) 1220/2660 variables, 1440/2035 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2660 variables, 243/2278 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/2660 variables, 8/2286 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:41:03] [INFO ] Deduced a trap composed of 13 places in 222 ms of which 5 ms to minimize.
[2024-05-30 00:41:03] [INFO ] Deduced a trap composed of 7 places in 212 ms of which 5 ms to minimize.
[2024-05-30 00:41:03] [INFO ] Deduced a trap composed of 10 places in 218 ms of which 4 ms to minimize.
[2024-05-30 00:41:04] [INFO ] Deduced a trap composed of 11 places in 210 ms of which 5 ms to minimize.
[2024-05-30 00:41:04] [INFO ] Deduced a trap composed of 8 places in 210 ms of which 4 ms to minimize.
[2024-05-30 00:41:04] [INFO ] Deduced a trap composed of 12 places in 209 ms of which 4 ms to minimize.
[2024-05-30 00:41:05] [INFO ] Deduced a trap composed of 16 places in 201 ms of which 4 ms to minimize.
[2024-05-30 00:41:05] [INFO ] Deduced a trap composed of 11 places in 199 ms of which 4 ms to minimize.
[2024-05-30 00:41:06] [INFO ] Deduced a trap composed of 10 places in 183 ms of which 4 ms to minimize.
[2024-05-30 00:41:07] [INFO ] Deduced a trap composed of 12 places in 187 ms of which 4 ms to minimize.
At refinement iteration 15 (INCLUDED_ONLY) 0/2660 variables, 10/2296 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:41:08] [INFO ] Deduced a trap composed of 11 places in 183 ms of which 4 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/2660 variables, 1/2297 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/2660 variables, 0/2297 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 18 (OVERLAPS) 26/2686 variables, 17/2314 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/2686 variables, 7/2321 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/2686 variables, 1/2322 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/2686 variables, 2/2324 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:41:13] [INFO ] Deduced a trap composed of 7 places in 188 ms of which 4 ms to minimize.
[2024-05-30 00:41:13] [INFO ] Deduced a trap composed of 10 places in 189 ms of which 3 ms to minimize.
At refinement iteration 22 (INCLUDED_ONLY) 0/2686 variables, 2/2326 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:41:14] [INFO ] Deduced a trap composed of 8 places in 186 ms of which 3 ms to minimize.
[2024-05-30 00:41:15] [INFO ] Deduced a trap composed of 7 places in 179 ms of which 4 ms to minimize.
[2024-05-30 00:41:16] [INFO ] Deduced a trap composed of 11 places in 176 ms of which 3 ms to minimize.
At refinement iteration 23 (INCLUDED_ONLY) 0/2686 variables, 3/2329 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2686 variables, 0/2329 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 25 (OVERLAPS) 1/2687 variables, 1/2330 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/2687 variables, 1/2331 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/2687 variables, 0/2331 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 28 (OVERLAPS) 1/2688 variables, 1/2332 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/2688 variables, 1/2333 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/2688 variables, 0/2333 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 31 (OVERLAPS) 10/2698 variables, 6/2339 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/2698 variables, 2/2341 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/2698 variables, 1/2342 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/2698 variables, 0/2342 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 35 (OVERLAPS) 1/2699 variables, 1/2343 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/2699 variables, 1/2344 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:41:25] [INFO ] Deduced a trap composed of 8 places in 171 ms of which 3 ms to minimize.
At refinement iteration 37 (INCLUDED_ONLY) 0/2699 variables, 1/2345 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/2699 variables, 0/2345 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 39 (OVERLAPS) 1/2700 variables, 1/2346 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/2700 variables, 1/2347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/2700 variables, 0/2347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 42 (OVERLAPS) 0/2700 variables, 0/2347 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2700/2700 variables, and 2347 constraints, problems are : Problem set: 0 solved, 10 unsolved in 42286 ms.
Refiners :[Positive P Invariants (semi-flows): 550/550 constraints, State Equation: 1467/1467 constraints, ReadFeed: 245/245 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 75/75 constraints]
After SMT, in 50097ms problems are : Problem set: 0 solved, 10 unsolved
Fused 10 Parikh solutions to 5 different solutions.
Parikh walk visited 0 properties in 12808 ms.
Support contains 139 out of 1467 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1467/1467 places, 1233/1233 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1467 transition count 1231
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 1465 transition count 1231
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 7 Pre rules applied. Total rules applied 4 place count 1465 transition count 1224
Deduced a syphon composed of 7 places in 2 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 2 with 14 rules applied. Total rules applied 18 place count 1458 transition count 1224
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 19 place count 1457 transition count 1223
Iterating global reduction 2 with 1 rules applied. Total rules applied 20 place count 1457 transition count 1223
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 2 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 54 place count 1440 transition count 1206
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 60 place count 1437 transition count 1206
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 61 place count 1437 transition count 1206
Applied a total of 61 rules in 208 ms. Remains 1437 /1467 variables (removed 30) and now considering 1206/1233 (removed 27) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 208 ms. Remains : 1437/1467 places, 1206/1233 transitions.
RANDOM walk for 40000 steps (8 resets) in 849 ms. (47 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 386 ms. (103 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 279 ms. (142 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 280 ms. (142 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (8 resets) in 274 ms. (145 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 254 ms. (156 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 333 ms. (119 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (8 resets) in 299 ms. (133 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 304 ms. (131 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 289 ms. (137 steps per ms) remains 10/10 properties
Interrupted probabilistic random walk after 89000 steps, run timeout after 3001 ms. (steps per millisecond=29 ) properties seen :0 out of 10
Probabilistic random walk after 89000 steps, saw 55338 distinct states, run finished after 3004 ms. (steps per millisecond=29 ) properties seen :0
// Phase 1: matrix 1206 rows 1437 cols
[2024-05-30 00:41:51] [INFO ] Computed 550 invariants in 5 ms
[2024-05-30 00:41:51] [INFO ] State equation strengthened by 251 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/139 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1251/1390 variables, 528/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1390 variables, 0/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 20/1410 variables, 9/537 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1410 variables, 0/537 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 1193/2603 variables, 1410/1947 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2603 variables, 249/2196 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2603 variables, 0/2196 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (OVERLAPS) 26/2629 variables, 17/2213 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2629 variables, 7/2220 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2629 variables, 1/2221 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/2629 variables, 0/2221 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (OVERLAPS) 1/2630 variables, 1/2222 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2630 variables, 1/2223 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/2630 variables, 0/2223 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 15 (OVERLAPS) 1/2631 variables, 1/2224 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/2631 variables, 1/2225 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/2631 variables, 0/2225 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 18 (OVERLAPS) 10/2641 variables, 6/2231 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/2641 variables, 2/2233 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/2641 variables, 1/2234 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/2641 variables, 0/2234 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 22 (OVERLAPS) 1/2642 variables, 1/2235 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/2642 variables, 1/2236 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2642 variables, 0/2236 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 25 (OVERLAPS) 1/2643 variables, 1/2237 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/2643 variables, 1/2238 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/2643 variables, 0/2238 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 28 (OVERLAPS) 0/2643 variables, 0/2238 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Real declared 2643/2643 variables, and 2238 constraints, problems are : Problem set: 0 solved, 10 unsolved in 7275 ms.
Refiners :[Positive P Invariants (semi-flows): 550/550 constraints, State Equation: 1437/1437 constraints, ReadFeed: 251/251 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/139 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1251/1390 variables, 528/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:41:58] [INFO ] Deduced a trap composed of 7 places in 85 ms of which 2 ms to minimize.
[2024-05-30 00:41:58] [INFO ] Deduced a trap composed of 8 places in 75 ms of which 1 ms to minimize.
[2024-05-30 00:41:58] [INFO ] Deduced a trap composed of 8 places in 74 ms of which 2 ms to minimize.
[2024-05-30 00:41:58] [INFO ] Deduced a trap composed of 7 places in 75 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 13 places in 73 ms of which 1 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 9 places in 80 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 9 places in 73 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 8 places in 74 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 5 places in 78 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 4 places in 68 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 8 places in 72 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 7 places in 65 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 11 places in 67 ms of which 1 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 2 ms to minimize.
[2024-05-30 00:41:59] [INFO ] Deduced a trap composed of 9 places in 66 ms of which 1 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 8 places in 60 ms of which 1 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 9 places in 58 ms of which 2 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 1 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 13 places in 59 ms of which 1 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 11 places in 67 ms of which 2 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1390 variables, 20/548 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 12 places in 71 ms of which 2 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 8 places in 82 ms of which 2 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 11 places in 67 ms of which 2 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 9 places in 76 ms of which 2 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 9 places in 69 ms of which 1 ms to minimize.
[2024-05-30 00:42:00] [INFO ] Deduced a trap composed of 10 places in 67 ms of which 2 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 14 places in 61 ms of which 1 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 10 places in 67 ms of which 1 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 2 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 8 places in 63 ms of which 2 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 9 places in 60 ms of which 1 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 9 places in 57 ms of which 2 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 9 places in 54 ms of which 2 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 10 places in 78 ms of which 1 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 8 places in 67 ms of which 2 ms to minimize.
[2024-05-30 00:42:01] [INFO ] Deduced a trap composed of 10 places in 71 ms of which 2 ms to minimize.
[2024-05-30 00:42:02] [INFO ] Deduced a trap composed of 6 places in 68 ms of which 1 ms to minimize.
[2024-05-30 00:42:02] [INFO ] Deduced a trap composed of 10 places in 80 ms of which 2 ms to minimize.
[2024-05-30 00:42:02] [INFO ] Deduced a trap composed of 12 places in 75 ms of which 2 ms to minimize.
[2024-05-30 00:42:02] [INFO ] Deduced a trap composed of 9 places in 100 ms of which 2 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1390 variables, 20/568 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:02] [INFO ] Deduced a trap composed of 6 places in 80 ms of which 2 ms to minimize.
[2024-05-30 00:42:02] [INFO ] Deduced a trap composed of 10 places in 79 ms of which 1 ms to minimize.
[2024-05-30 00:42:02] [INFO ] Deduced a trap composed of 5 places in 79 ms of which 3 ms to minimize.
[2024-05-30 00:42:02] [INFO ] Deduced a trap composed of 9 places in 86 ms of which 2 ms to minimize.
[2024-05-30 00:42:03] [INFO ] Deduced a trap composed of 5 places in 104 ms of which 2 ms to minimize.
[2024-05-30 00:42:03] [INFO ] Deduced a trap composed of 6 places in 84 ms of which 2 ms to minimize.
[2024-05-30 00:42:03] [INFO ] Deduced a trap composed of 8 places in 74 ms of which 2 ms to minimize.
[2024-05-30 00:42:03] [INFO ] Deduced a trap composed of 15 places in 85 ms of which 2 ms to minimize.
[2024-05-30 00:42:03] [INFO ] Deduced a trap composed of 9 places in 85 ms of which 2 ms to minimize.
[2024-05-30 00:42:03] [INFO ] Deduced a trap composed of 9 places in 91 ms of which 2 ms to minimize.
[2024-05-30 00:42:03] [INFO ] Deduced a trap composed of 9 places in 72 ms of which 2 ms to minimize.
[2024-05-30 00:42:03] [INFO ] Deduced a trap composed of 13 places in 85 ms of which 3 ms to minimize.
[2024-05-30 00:42:04] [INFO ] Deduced a trap composed of 11 places in 73 ms of which 2 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1390 variables, 13/581 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:04] [INFO ] Deduced a trap composed of 10 places in 91 ms of which 2 ms to minimize.
[2024-05-30 00:42:04] [INFO ] Deduced a trap composed of 8 places in 97 ms of which 3 ms to minimize.
[2024-05-30 00:42:04] [INFO ] Deduced a trap composed of 9 places in 89 ms of which 2 ms to minimize.
[2024-05-30 00:42:04] [INFO ] Deduced a trap composed of 7 places in 84 ms of which 2 ms to minimize.
[2024-05-30 00:42:04] [INFO ] Deduced a trap composed of 10 places in 80 ms of which 2 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1390 variables, 5/586 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:05] [INFO ] Deduced a trap composed of 8 places in 75 ms of which 2 ms to minimize.
[2024-05-30 00:42:05] [INFO ] Deduced a trap composed of 9 places in 75 ms of which 2 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/1390 variables, 2/588 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:05] [INFO ] Deduced a trap composed of 9 places in 80 ms of which 2 ms to minimize.
[2024-05-30 00:42:05] [INFO ] Deduced a trap composed of 9 places in 83 ms of which 2 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/1390 variables, 2/590 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1390 variables, 0/590 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (OVERLAPS) 20/1410 variables, 9/599 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:06] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 3 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/1410 variables, 1/600 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1410 variables, 0/600 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (OVERLAPS) 1193/2603 variables, 1410/2010 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2603 variables, 249/2259 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/2603 variables, 8/2267 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:09] [INFO ] Deduced a trap composed of 5 places in 135 ms of which 3 ms to minimize.
[2024-05-30 00:42:09] [INFO ] Deduced a trap composed of 6 places in 138 ms of which 3 ms to minimize.
[2024-05-30 00:42:10] [INFO ] Deduced a trap composed of 7 places in 142 ms of which 3 ms to minimize.
[2024-05-30 00:42:10] [INFO ] Deduced a trap composed of 10 places in 138 ms of which 3 ms to minimize.
[2024-05-30 00:42:10] [INFO ] Deduced a trap composed of 10 places in 132 ms of which 2 ms to minimize.
[2024-05-30 00:42:10] [INFO ] Deduced a trap composed of 12 places in 139 ms of which 4 ms to minimize.
[2024-05-30 00:42:11] [INFO ] Deduced a trap composed of 11 places in 127 ms of which 3 ms to minimize.
[2024-05-30 00:42:11] [INFO ] Deduced a trap composed of 7 places in 126 ms of which 3 ms to minimize.
At refinement iteration 15 (INCLUDED_ONLY) 0/2603 variables, 8/2275 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/2603 variables, 0/2275 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 17 (OVERLAPS) 26/2629 variables, 17/2292 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/2629 variables, 7/2299 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/2629 variables, 1/2300 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/2629 variables, 2/2302 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:17] [INFO ] Deduced a trap composed of 7 places in 120 ms of which 2 ms to minimize.
[2024-05-30 00:42:17] [INFO ] Deduced a trap composed of 8 places in 116 ms of which 3 ms to minimize.
[2024-05-30 00:42:18] [INFO ] Deduced a trap composed of 6 places in 122 ms of which 2 ms to minimize.
[2024-05-30 00:42:18] [INFO ] Deduced a trap composed of 11 places in 122 ms of which 2 ms to minimize.
[2024-05-30 00:42:18] [INFO ] Deduced a trap composed of 12 places in 118 ms of which 2 ms to minimize.
At refinement iteration 21 (INCLUDED_ONLY) 0/2629 variables, 5/2307 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/2629 variables, 0/2307 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 23 (OVERLAPS) 1/2630 variables, 1/2308 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2630 variables, 1/2309 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2630 variables, 0/2309 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 26 (OVERLAPS) 1/2631 variables, 1/2310 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/2631 variables, 1/2311 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/2631 variables, 0/2311 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 29 (OVERLAPS) 10/2641 variables, 6/2317 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/2641 variables, 2/2319 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/2641 variables, 1/2320 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:42:28] [INFO ] Deduced a trap composed of 8 places in 92 ms of which 2 ms to minimize.
At refinement iteration 32 (INCLUDED_ONLY) 0/2641 variables, 1/2321 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/2641 variables, 0/2321 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 34 (OVERLAPS) 1/2642 variables, 1/2322 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/2642 variables, 1/2323 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/2642 variables, 0/2323 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 37 (OVERLAPS) 1/2643 variables, 1/2324 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/2643 variables, 1/2325 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/2643 variables, 0/2325 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 40 (OVERLAPS) 0/2643 variables, 0/2325 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2643/2643 variables, and 2325 constraints, problems are : Problem set: 0 solved, 10 unsolved in 39441 ms.
Refiners :[Positive P Invariants (semi-flows): 550/550 constraints, State Equation: 1437/1437 constraints, ReadFeed: 251/251 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 77/77 constraints]
After SMT, in 46754ms problems are : Problem set: 0 solved, 10 unsolved
Fused 10 Parikh solutions to 5 different solutions.
Parikh walk visited 0 properties in 12187 ms.
Support contains 139 out of 1437 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1437/1437 places, 1206/1206 transitions.
Applied a total of 0 rules in 58 ms. Remains 1437 /1437 variables (removed 0) and now considering 1206/1206 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 58 ms. Remains : 1437/1437 places, 1206/1206 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1437/1437 places, 1206/1206 transitions.
Applied a total of 0 rules in 32 ms. Remains 1437 /1437 variables (removed 0) and now considering 1206/1206 (removed 0) transitions.
[2024-05-30 00:42:50] [INFO ] Invariant cache hit.
[2024-05-30 00:42:50] [INFO ] Implicit Places using invariants in 770 ms returned [1417, 1421]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 786 ms to find 2 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 1435/1437 places, 1206/1206 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 1433 transition count 1204
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 1433 transition count 1204
Applied a total of 4 rules in 59 ms. Remains 1433 /1435 variables (removed 2) and now considering 1204/1206 (removed 2) transitions.
// Phase 1: matrix 1204 rows 1433 cols
[2024-05-30 00:42:50] [INFO ] Computed 548 invariants in 8 ms
[2024-05-30 00:42:51] [INFO ] Implicit Places using invariants in 685 ms returned []
[2024-05-30 00:42:51] [INFO ] Invariant cache hit.
[2024-05-30 00:42:52] [INFO ] State equation strengthened by 249 read => feed constraints.
[2024-05-30 00:42:57] [INFO ] Implicit Places using invariants and state equation in 5507 ms returned []
Implicit Place search using SMT with State Equation took 6194 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 1433/1437 places, 1204/1206 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 7072 ms. Remains : 1433/1437 places, 1204/1206 transitions.
RANDOM walk for 40000 steps (8 resets) in 554 ms. (72 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 281 ms. (141 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 257 ms. (155 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 341 ms. (116 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40001 steps (8 resets) in 306 ms. (130 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 330 ms. (120 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 303 ms. (131 steps per ms) remains 10/10 properties
Interrupted probabilistic random walk after 89013 steps, run timeout after 3001 ms. (steps per millisecond=29 ) properties seen :0 out of 10
Probabilistic random walk after 89013 steps, saw 54692 distinct states, run finished after 3001 ms. (steps per millisecond=29 ) properties seen :0
[2024-05-30 00:43:01] [INFO ] Invariant cache hit.
[2024-05-30 00:43:01] [INFO ] State equation strengthened by 249 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/139 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1251/1390 variables, 528/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1390 variables, 0/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 20/1410 variables, 9/537 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1410 variables, 0/537 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 1193/2603 variables, 1410/1947 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2603 variables, 249/2196 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2603 variables, 0/2196 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 8 (OVERLAPS) 25/2628 variables, 17/2213 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2628 variables, 8/2221 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2628 variables, 0/2221 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (OVERLAPS) 9/2637 variables, 6/2227 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/2637 variables, 3/2230 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2637 variables, 0/2230 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 14 (OVERLAPS) 0/2637 variables, 0/2230 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Real declared 2637/2637 variables, and 2230 constraints, problems are : Problem set: 0 solved, 10 unsolved in 4168 ms.
Refiners :[Positive P Invariants (semi-flows): 548/548 constraints, State Equation: 1433/1433 constraints, ReadFeed: 249/249 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/139 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1251/1390 variables, 528/528 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:05] [INFO ] Deduced a trap composed of 8 places in 73 ms of which 2 ms to minimize.
[2024-05-30 00:43:05] [INFO ] Deduced a trap composed of 8 places in 70 ms of which 2 ms to minimize.
[2024-05-30 00:43:05] [INFO ] Deduced a trap composed of 7 places in 69 ms of which 1 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 8 places in 68 ms of which 2 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 7 places in 70 ms of which 1 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 8 places in 65 ms of which 2 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 4 places in 68 ms of which 1 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 2 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 7 places in 63 ms of which 2 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 11 places in 61 ms of which 2 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 9 places in 62 ms of which 1 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 9 places in 59 ms of which 1 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 8 places in 61 ms of which 2 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 11 places in 63 ms of which 1 ms to minimize.
[2024-05-30 00:43:06] [INFO ] Deduced a trap composed of 9 places in 60 ms of which 1 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 9 places in 61 ms of which 1 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 9 places in 56 ms of which 1 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 11 places in 56 ms of which 1 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 10 places in 51 ms of which 1 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 16 places in 50 ms of which 1 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1390 variables, 20/548 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 2 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 11 places in 67 ms of which 1 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 10 places in 58 ms of which 2 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 7 places in 56 ms of which 1 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 9 places in 58 ms of which 1 ms to minimize.
[2024-05-30 00:43:07] [INFO ] Deduced a trap composed of 10 places in 59 ms of which 1 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 8 places in 66 ms of which 1 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 10 places in 63 ms of which 1 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 8 places in 61 ms of which 1 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 10 places in 63 ms of which 1 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 10 places in 80 ms of which 1 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 13 places in 78 ms of which 2 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 11 places in 78 ms of which 1 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 8 places in 72 ms of which 2 ms to minimize.
[2024-05-30 00:43:08] [INFO ] Deduced a trap composed of 6 places in 91 ms of which 2 ms to minimize.
[2024-05-30 00:43:09] [INFO ] Deduced a trap composed of 5 places in 83 ms of which 2 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1390 variables, 16/564 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:09] [INFO ] Deduced a trap composed of 14 places in 83 ms of which 2 ms to minimize.
[2024-05-30 00:43:09] [INFO ] Deduced a trap composed of 9 places in 81 ms of which 1 ms to minimize.
[2024-05-30 00:43:09] [INFO ] Deduced a trap composed of 8 places in 81 ms of which 2 ms to minimize.
[2024-05-30 00:43:09] [INFO ] Deduced a trap composed of 10 places in 81 ms of which 2 ms to minimize.
[2024-05-30 00:43:09] [INFO ] Deduced a trap composed of 14 places in 63 ms of which 1 ms to minimize.
[2024-05-30 00:43:09] [INFO ] Deduced a trap composed of 5 places in 75 ms of which 1 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1390 variables, 6/570 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:10] [INFO ] Deduced a trap composed of 9 places in 84 ms of which 1 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1390 variables, 1/571 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1390 variables, 0/571 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 7 (OVERLAPS) 20/1410 variables, 9/580 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:10] [INFO ] Deduced a trap composed of 4 places in 76 ms of which 1 ms to minimize.
[2024-05-30 00:43:10] [INFO ] Deduced a trap composed of 8 places in 72 ms of which 2 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/1410 variables, 2/582 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:11] [INFO ] Deduced a trap composed of 6 places in 69 ms of which 1 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/1410 variables, 1/583 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1410 variables, 0/583 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 11 (OVERLAPS) 1193/2603 variables, 1410/1993 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/2603 variables, 249/2242 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2603 variables, 8/2250 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:14] [INFO ] Deduced a trap composed of 8 places in 159 ms of which 4 ms to minimize.
[2024-05-30 00:43:14] [INFO ] Deduced a trap composed of 5 places in 157 ms of which 3 ms to minimize.
[2024-05-30 00:43:14] [INFO ] Deduced a trap composed of 12 places in 146 ms of which 3 ms to minimize.
[2024-05-30 00:43:14] [INFO ] Deduced a trap composed of 12 places in 156 ms of which 3 ms to minimize.
[2024-05-30 00:43:15] [INFO ] Deduced a trap composed of 8 places in 141 ms of which 3 ms to minimize.
[2024-05-30 00:43:15] [INFO ] Deduced a trap composed of 12 places in 145 ms of which 3 ms to minimize.
[2024-05-30 00:43:15] [INFO ] Deduced a trap composed of 8 places in 139 ms of which 3 ms to minimize.
[2024-05-30 00:43:17] [INFO ] Deduced a trap composed of 5 places in 193 ms of which 4 ms to minimize.
[2024-05-30 00:43:17] [INFO ] Deduced a trap composed of 9 places in 173 ms of which 3 ms to minimize.
[2024-05-30 00:43:17] [INFO ] Deduced a trap composed of 11 places in 171 ms of which 3 ms to minimize.
[2024-05-30 00:43:17] [INFO ] Deduced a trap composed of 13 places in 164 ms of which 3 ms to minimize.
[2024-05-30 00:43:18] [INFO ] Deduced a trap composed of 9 places in 155 ms of which 4 ms to minimize.
[2024-05-30 00:43:18] [INFO ] Deduced a trap composed of 13 places in 158 ms of which 3 ms to minimize.
[2024-05-30 00:43:18] [INFO ] Deduced a trap composed of 11 places in 150 ms of which 3 ms to minimize.
[2024-05-30 00:43:18] [INFO ] Deduced a trap composed of 8 places in 155 ms of which 3 ms to minimize.
[2024-05-30 00:43:19] [INFO ] Deduced a trap composed of 8 places in 162 ms of which 3 ms to minimize.
[2024-05-30 00:43:19] [INFO ] Deduced a trap composed of 12 places in 166 ms of which 4 ms to minimize.
[2024-05-30 00:43:19] [INFO ] Deduced a trap composed of 8 places in 158 ms of which 4 ms to minimize.
At refinement iteration 14 (INCLUDED_ONLY) 0/2603 variables, 18/2268 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:21] [INFO ] Deduced a trap composed of 10 places in 152 ms of which 3 ms to minimize.
[2024-05-30 00:43:21] [INFO ] Deduced a trap composed of 9 places in 144 ms of which 3 ms to minimize.
At refinement iteration 15 (INCLUDED_ONLY) 0/2603 variables, 2/2270 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:23] [INFO ] Deduced a trap composed of 11 places in 144 ms of which 4 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/2603 variables, 1/2271 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/2603 variables, 0/2271 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 18 (OVERLAPS) 25/2628 variables, 17/2288 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/2628 variables, 8/2296 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/2628 variables, 2/2298 constraints. Problems are: Problem set: 0 solved, 10 unsolved
[2024-05-30 00:43:29] [INFO ] Deduced a trap composed of 3 places in 137 ms of which 3 ms to minimize.
[2024-05-30 00:43:29] [INFO ] Deduced a trap composed of 11 places in 128 ms of which 3 ms to minimize.
[2024-05-30 00:43:29] [INFO ] Deduced a trap composed of 14 places in 118 ms of which 3 ms to minimize.
[2024-05-30 00:43:30] [INFO ] Deduced a trap composed of 10 places in 116 ms of which 2 ms to minimize.
At refinement iteration 21 (INCLUDED_ONLY) 0/2628 variables, 4/2302 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/2628 variables, 0/2302 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 23 (OVERLAPS) 9/2637 variables, 6/2308 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/2637 variables, 3/2311 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/2637 variables, 0/2311 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 26 (OVERLAPS) 0/2637 variables, 0/2311 constraints. Problems are: Problem set: 0 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2637/2637 variables, and 2311 constraints, problems are : Problem set: 0 solved, 10 unsolved in 32308 ms.
Refiners :[Positive P Invariants (semi-flows): 548/548 constraints, State Equation: 1433/1433 constraints, ReadFeed: 249/249 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 71/71 constraints]
After SMT, in 36528ms problems are : Problem set: 0 solved, 10 unsolved
Fused 10 Parikh solutions to 5 different solutions.
Parikh walk visited 0 properties in 11782 ms.
Support contains 139 out of 1433 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1433/1433 places, 1204/1204 transitions.
Applied a total of 0 rules in 33 ms. Remains 1433 /1433 variables (removed 0) and now considering 1204/1204 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 33 ms. Remains : 1433/1433 places, 1204/1204 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1433/1433 places, 1204/1204 transitions.
Applied a total of 0 rules in 31 ms. Remains 1433 /1433 variables (removed 0) and now considering 1204/1204 (removed 0) transitions.
[2024-05-30 00:43:49] [INFO ] Invariant cache hit.
[2024-05-30 00:43:50] [INFO ] Implicit Places using invariants in 663 ms returned []
[2024-05-30 00:43:50] [INFO ] Invariant cache hit.
[2024-05-30 00:43:50] [INFO ] State equation strengthened by 249 read => feed constraints.
[2024-05-30 00:43:55] [INFO ] Implicit Places using invariants and state equation in 5259 ms returned []
Implicit Place search using SMT with State Equation took 5924 ms to find 0 implicit places.
[2024-05-30 00:43:55] [INFO ] Redundant transitions in 64 ms returned []
Running 1197 sub problems to find dead transitions.
[2024-05-30 00:43:55] [INFO ] Invariant cache hit.
[2024-05-30 00:43:55] [INFO ] State equation strengthened by 249 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1427 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 1197 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1427/2637 variables, and 13 constraints, problems are : Problem set: 0 solved, 1197 unsolved in 30038 ms.
Refiners :[Positive P Invariants (semi-flows): 13/548 constraints, State Equation: 0/1433 constraints, ReadFeed: 0/249 constraints, PredecessorRefiner: 1197/1197 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1197 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1427 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 1197 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1427 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 1197 unsolved
At refinement iteration 2 (OVERLAPS) 6/1433 variables, 535/548 constraints. Problems are: Problem set: 0 solved, 1197 unsolved
[2024-05-30 00:44:51] [INFO ] Deduced a trap composed of 8 places in 36 ms of which 1 ms to minimize.
[2024-05-30 00:44:52] [INFO ] Deduced a trap composed of 9 places in 34 ms of which 0 ms to minimize.
[2024-05-30 00:44:52] [INFO ] Deduced a trap composed of 5 places in 38 ms of which 1 ms to minimize.
[2024-05-30 00:44:52] [INFO ] Deduced a trap composed of 10 places in 34 ms of which 1 ms to minimize.
[2024-05-30 00:44:52] [INFO ] Deduced a trap composed of 7 places in 32 ms of which 1 ms to minimize.
[2024-05-30 00:44:52] [INFO ] Deduced a trap composed of 6 places in 38 ms of which 0 ms to minimize.
[2024-05-30 00:44:52] [INFO ] Deduced a trap composed of 7 places in 51 ms of which 1 ms to minimize.
[2024-05-30 00:44:52] [INFO ] Deduced a trap composed of 5 places in 52 ms of which 1 ms to minimize.
[2024-05-30 00:44:52] [INFO ] Deduced a trap composed of 9 places in 50 ms of which 1 ms to minimize.
[2024-05-30 00:44:53] [INFO ] Deduced a trap composed of 5 places in 39 ms of which 1 ms to minimize.
[2024-05-30 00:44:53] [INFO ] Deduced a trap composed of 8 places in 40 ms of which 0 ms to minimize.
[2024-05-30 00:44:53] [INFO ] Deduced a trap composed of 8 places in 34 ms of which 1 ms to minimize.
[2024-05-30 00:44:53] [INFO ] Deduced a trap composed of 7 places in 32 ms of which 1 ms to minimize.
[2024-05-30 00:44:53] [INFO ] Deduced a trap composed of 6 places in 41 ms of which 1 ms to minimize.
[2024-05-30 00:44:53] [INFO ] Deduced a trap composed of 6 places in 36 ms of which 1 ms to minimize.
[2024-05-30 00:44:54] [INFO ] Deduced a trap composed of 8 places in 35 ms of which 1 ms to minimize.
[2024-05-30 00:44:54] [INFO ] Deduced a trap composed of 8 places in 30 ms of which 0 ms to minimize.
[2024-05-30 00:44:54] [INFO ] Deduced a trap composed of 7 places in 33 ms of which 1 ms to minimize.
[2024-05-30 00:44:54] [INFO ] Deduced a trap composed of 9 places in 31 ms of which 1 ms to minimize.
[2024-05-30 00:44:54] [INFO ] Deduced a trap composed of 9 places in 32 ms of which 1 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1433 variables, 20/568 constraints. Problems are: Problem set: 0 solved, 1197 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1433/2637 variables, and 568 constraints, problems are : Problem set: 0 solved, 1197 unsolved in 30029 ms.
Refiners :[Positive P Invariants (semi-flows): 548/548 constraints, State Equation: 0/1433 constraints, ReadFeed: 0/249 constraints, PredecessorRefiner: 0/1197 constraints, Known Traps: 20/20 constraints]
After SMT, in 60406ms problems are : Problem set: 0 solved, 1197 unsolved
Search for dead transitions found 0 dead transitions in 60424ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 66462 ms. Remains : 1433/1433 places, 1204/1204 transitions.
Attempting over-approximation, by ignoring read arcs.
Partial Free-agglomeration rule applied 245 times.
Drop transitions (Partial Free agglomeration) removed 245 transitions
Iterating global reduction 0 with 245 rules applied. Total rules applied 245 place count 1433 transition count 1204
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 246 place count 1433 transition count 1203
Applied a total of 246 rules in 92 ms. Remains 1433 /1433 variables (removed 0) and now considering 1203/1204 (removed 1) transitions.
Running SMT prover for 10 properties.
// Phase 1: matrix 1203 rows 1433 cols
[2024-05-30 00:44:56] [INFO ] Computed 548 invariants in 13 ms
[2024-05-30 00:44:56] [INFO ] After 432ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:10
[2024-05-30 00:44:57] [INFO ] [Nat]Absence check using 548 positive place invariants in 91 ms returned sat
[2024-05-30 00:44:58] [INFO ] After 1240ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :10
[2024-05-30 00:44:58] [INFO ] State equation strengthened by 217 read => feed constraints.
[2024-05-30 00:45:00] [INFO ] After 2041ms SMT Verify possible using 217 Read/Feed constraints in natural domain returned unsat :0 sat :10
TRAPS : Iteration 0
[2024-05-30 00:45:00] [INFO ] Deduced a trap composed of 8 places in 204 ms of which 4 ms to minimize.
[2024-05-30 00:45:01] [INFO ] Deduced a trap composed of 5 places in 199 ms of which 6 ms to minimize.
[2024-05-30 00:45:01] [INFO ] Deduced a trap composed of 9 places in 199 ms of which 4 ms to minimize.
[2024-05-30 00:45:01] [INFO ] Deduced a trap composed of 7 places in 201 ms of which 4 ms to minimize.
[2024-05-30 00:45:01] [INFO ] Deduced a trap composed of 5 places in 199 ms of which 4 ms to minimize.
[2024-05-30 00:45:02] [INFO ] Deduced a trap composed of 5 places in 206 ms of which 4 ms to minimize.
[2024-05-30 00:45:02] [INFO ] Deduced a trap composed of 7 places in 176 ms of which 4 ms to minimize.
[2024-05-30 00:45:02] [INFO ] Deduced a trap composed of 10 places in 175 ms of which 4 ms to minimize.
[2024-05-30 00:45:02] [INFO ] Deduced a trap composed of 10 places in 175 ms of which 5 ms to minimize.
[2024-05-30 00:45:03] [INFO ] Deduced a trap composed of 12 places in 172 ms of which 4 ms to minimize.
[2024-05-30 00:45:03] [INFO ] Deduced a trap composed of 13 places in 164 ms of which 4 ms to minimize.
[2024-05-30 00:45:03] [INFO ] Deduced a trap composed of 11 places in 155 ms of which 4 ms to minimize.
[2024-05-30 00:45:03] [INFO ] Deduced a trap composed of 10 places in 156 ms of which 3 ms to minimize.
[2024-05-30 00:45:03] [INFO ] Deduced a trap composed of 9 places in 158 ms of which 3 ms to minimize.
[2024-05-30 00:45:04] [INFO ] Deduced a trap composed of 12 places in 177 ms of which 4 ms to minimize.
[2024-05-30 00:45:04] [INFO ] Deduced a trap composed of 11 places in 167 ms of which 3 ms to minimize.
[2024-05-30 00:45:04] [INFO ] Deduced a trap composed of 12 places in 159 ms of which 3 ms to minimize.
[2024-05-30 00:45:04] [INFO ] Trap strengthening (SAT) tested/added 18/17 trap constraints in 4041 ms
[2024-05-30 00:45:05] [INFO ] Deduced a trap composed of 11 places in 140 ms of which 3 ms to minimize.
[2024-05-30 00:45:05] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 244 ms
[2024-05-30 00:45:06] [INFO ] Deduced a trap composed of 7 places in 270 ms of which 5 ms to minimize.
[2024-05-30 00:45:07] [INFO ] Deduced a trap composed of 11 places in 275 ms of which 4 ms to minimize.
[2024-05-30 00:45:07] [INFO ] Deduced a trap composed of 8 places in 271 ms of which 5 ms to minimize.
[2024-05-30 00:45:08] [INFO ] Deduced a trap composed of 8 places in 290 ms of which 5 ms to minimize.
[2024-05-30 00:45:08] [INFO ] Deduced a trap composed of 12 places in 281 ms of which 5 ms to minimize.
[2024-05-30 00:45:08] [INFO ] Deduced a trap composed of 6 places in 260 ms of which 5 ms to minimize.
[2024-05-30 00:45:09] [INFO ] Deduced a trap composed of 10 places in 257 ms of which 5 ms to minimize.
[2024-05-30 00:45:09] [INFO ] Deduced a trap composed of 9 places in 251 ms of which 5 ms to minimize.
[2024-05-30 00:45:09] [INFO ] Deduced a trap composed of 10 places in 238 ms of which 4 ms to minimize.
[2024-05-30 00:45:10] [INFO ] Deduced a trap composed of 9 places in 258 ms of which 5 ms to minimize.
[2024-05-30 00:45:10] [INFO ] Deduced a trap composed of 11 places in 240 ms of which 4 ms to minimize.
[2024-05-30 00:45:10] [INFO ] Deduced a trap composed of 10 places in 231 ms of which 4 ms to minimize.
[2024-05-30 00:45:10] [INFO ] Trap strengthening (SAT) tested/added 13/12 trap constraints in 4342 ms
[2024-05-30 00:45:12] [INFO ] Deduced a trap composed of 10 places in 221 ms of which 4 ms to minimize.
[2024-05-30 00:45:12] [INFO ] Deduced a trap composed of 4 places in 219 ms of which 4 ms to minimize.
[2024-05-30 00:45:12] [INFO ] Deduced a trap composed of 6 places in 210 ms of which 4 ms to minimize.
[2024-05-30 00:45:13] [INFO ] Deduced a trap composed of 10 places in 217 ms of which 4 ms to minimize.
[2024-05-30 00:45:13] [INFO ] Deduced a trap composed of 11 places in 192 ms of which 4 ms to minimize.
[2024-05-30 00:45:13] [INFO ] Deduced a trap composed of 13 places in 189 ms of which 4 ms to minimize.
[2024-05-30 00:45:13] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 1664 ms
[2024-05-30 00:45:14] [INFO ] Deduced a trap composed of 6 places in 196 ms of which 4 ms to minimize.
[2024-05-30 00:45:14] [INFO ] Deduced a trap composed of 9 places in 181 ms of which 3 ms to minimize.
[2024-05-30 00:45:14] [INFO ] Deduced a trap composed of 9 places in 184 ms of which 3 ms to minimize.
[2024-05-30 00:45:14] [INFO ] Deduced a trap composed of 8 places in 179 ms of which 3 ms to minimize.
[2024-05-30 00:45:15] [INFO ] Deduced a trap composed of 7 places in 185 ms of which 4 ms to minimize.
[2024-05-30 00:45:15] [INFO ] Deduced a trap composed of 10 places in 204 ms of which 4 ms to minimize.
[2024-05-30 00:45:15] [INFO ] Deduced a trap composed of 10 places in 190 ms of which 4 ms to minimize.
[2024-05-30 00:45:15] [INFO ] Deduced a trap composed of 14 places in 181 ms of which 3 ms to minimize.
[2024-05-30 00:45:16] [INFO ] Deduced a trap composed of 15 places in 185 ms of which 3 ms to minimize.
[2024-05-30 00:45:16] [INFO ] Deduced a trap composed of 9 places in 175 ms of which 4 ms to minimize.
[2024-05-30 00:45:16] [INFO ] Deduced a trap composed of 4 places in 157 ms of which 4 ms to minimize.
[2024-05-30 00:45:16] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 2744 ms
[2024-05-30 00:45:17] [INFO ] Deduced a trap composed of 7 places in 184 ms of which 4 ms to minimize.
[2024-05-30 00:45:17] [INFO ] Deduced a trap composed of 8 places in 176 ms of which 4 ms to minimize.
[2024-05-30 00:45:17] [INFO ] Deduced a trap composed of 6 places in 161 ms of which 3 ms to minimize.
[2024-05-30 00:45:18] [INFO ] Deduced a trap composed of 11 places in 179 ms of which 3 ms to minimize.
[2024-05-30 00:45:18] [INFO ] Deduced a trap composed of 17 places in 160 ms of which 3 ms to minimize.
[2024-05-30 00:45:18] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1224 ms
TRAPS : Iteration 1
[2024-05-30 00:45:18] [INFO ] Deduced a trap composed of 11 places in 162 ms of which 3 ms to minimize.
[2024-05-30 00:45:18] [INFO ] Deduced a trap composed of 10 places in 163 ms of which 3 ms to minimize.
[2024-05-30 00:45:19] [INFO ] Deduced a trap composed of 8 places in 152 ms of which 3 ms to minimize.
[2024-05-30 00:45:19] [INFO ] Deduced a trap composed of 7 places in 143 ms of which 2 ms to minimize.
[2024-05-30 00:45:19] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 908 ms
[2024-05-30 00:45:19] [INFO ] Deduced a trap composed of 11 places in 142 ms of which 3 ms to minimize.
[2024-05-30 00:45:19] [INFO ] Deduced a trap composed of 9 places in 141 ms of which 3 ms to minimize.
[2024-05-30 00:45:20] [INFO ] Deduced a trap composed of 13 places in 145 ms of which 3 ms to minimize.
[2024-05-30 00:45:20] [INFO ] Deduced a trap composed of 13 places in 142 ms of which 3 ms to minimize.
[2024-05-30 00:45:20] [INFO ] Deduced a trap composed of 12 places in 145 ms of which 3 ms to minimize.
[2024-05-30 00:45:20] [INFO ] Deduced a trap composed of 11 places in 145 ms of which 2 ms to minimize.
[2024-05-30 00:45:20] [INFO ] Deduced a trap composed of 15 places in 154 ms of which 3 ms to minimize.
[2024-05-30 00:45:21] [INFO ] Deduced a trap composed of 11 places in 158 ms of which 3 ms to minimize.
[2024-05-30 00:45:21] [INFO ] Deduced a trap composed of 11 places in 157 ms of which 3 ms to minimize.
[2024-05-30 00:45:21] [INFO ] Deduced a trap composed of 8 places in 158 ms of which 3 ms to minimize.
[2024-05-30 00:45:21] [INFO ] Deduced a trap composed of 7 places in 167 ms of which 4 ms to minimize.
[2024-05-30 00:45:22] [INFO ] Deduced a trap composed of 3 places in 161 ms of which 3 ms to minimize.
[2024-05-30 00:45:22] [INFO ] Deduced a trap composed of 8 places in 158 ms of which 3 ms to minimize.
[2024-05-30 00:45:22] [INFO ] Deduced a trap composed of 17 places in 164 ms of which 3 ms to minimize.
[2024-05-30 00:45:22] [INFO ] Deduced a trap composed of 11 places in 155 ms of which 3 ms to minimize.
[2024-05-30 00:45:23] [INFO ] Deduced a trap composed of 7 places in 156 ms of which 3 ms to minimize.
[2024-05-30 00:45:23] [INFO ] Deduced a trap composed of 12 places in 155 ms of which 3 ms to minimize.
[2024-05-30 00:45:23] [INFO ] Deduced a trap composed of 7 places in 147 ms of which 3 ms to minimize.
[2024-05-30 00:45:23] [INFO ] Deduced a trap composed of 14 places in 151 ms of which 3 ms to minimize.
[2024-05-30 00:45:23] [INFO ] Trap strengthening (SAT) tested/added 20/19 trap constraints in 4150 ms
[2024-05-30 00:45:25] [INFO ] Deduced a trap composed of 10 places in 256 ms of which 5 ms to minimize.
[2024-05-30 00:45:25] [INFO ] Deduced a trap composed of 12 places in 249 ms of which 4 ms to minimize.
[2024-05-30 00:45:25] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 698 ms
[2024-05-30 00:45:27] [INFO ] Deduced a trap composed of 10 places in 265 ms of which 4 ms to minimize.
[2024-05-30 00:45:27] [INFO ] Deduced a trap composed of 9 places in 250 ms of which 5 ms to minimize.
[2024-05-30 00:45:27] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 706 ms
[2024-05-30 00:45:28] [INFO ] Deduced a trap composed of 7 places in 213 ms of which 5 ms to minimize.
[2024-05-30 00:45:28] [INFO ] Deduced a trap composed of 9 places in 212 ms of which 4 ms to minimize.
[2024-05-30 00:45:28] [INFO ] Deduced a trap composed of 7 places in 206 ms of which 4 ms to minimize.
[2024-05-30 00:45:29] [INFO ] Deduced a trap composed of 8 places in 218 ms of which 4 ms to minimize.
[2024-05-30 00:45:29] [INFO ] Deduced a trap composed of 7 places in 215 ms of which 4 ms to minimize.
[2024-05-30 00:45:29] [INFO ] Deduced a trap composed of 7 places in 218 ms of which 4 ms to minimize.
[2024-05-30 00:45:29] [INFO ] Deduced a trap composed of 7 places in 205 ms of which 4 ms to minimize.
[2024-05-30 00:45:30] [INFO ] Deduced a trap composed of 13 places in 200 ms of which 4 ms to minimize.
[2024-05-30 00:45:30] [INFO ] Deduced a trap composed of 7 places in 195 ms of which 4 ms to minimize.
[2024-05-30 00:45:30] [INFO ] Deduced a trap composed of 7 places in 195 ms of which 4 ms to minimize.
[2024-05-30 00:45:30] [INFO ] Trap strengthening (SAT) tested/added 11/10 trap constraints in 2753 ms
[2024-05-30 00:45:31] [INFO ] Deduced a trap composed of 11 places in 186 ms of which 4 ms to minimize.
[2024-05-30 00:45:31] [INFO ] Deduced a trap composed of 10 places in 177 ms of which 4 ms to minimize.
[2024-05-30 00:45:31] [INFO ] Deduced a trap composed of 12 places in 181 ms of which 3 ms to minimize.
[2024-05-30 00:45:31] [INFO ] Deduced a trap composed of 10 places in 186 ms of which 3 ms to minimize.
[2024-05-30 00:45:31] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1027 ms
TRAPS : Iteration 2
[2024-05-30 00:45:32] [INFO ] Deduced a trap composed of 7 places in 170 ms of which 3 ms to minimize.
[2024-05-30 00:45:32] [INFO ] Deduced a trap composed of 10 places in 170 ms of which 4 ms to minimize.
[2024-05-30 00:45:32] [INFO ] Deduced a trap composed of 8 places in 160 ms of which 3 ms to minimize.
[2024-05-30 00:45:32] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 721 ms
[2024-05-30 00:45:33] [INFO ] Deduced a trap composed of 10 places in 172 ms of which 3 ms to minimize.
[2024-05-30 00:45:33] [INFO ] Deduced a trap composed of 10 places in 167 ms of which 4 ms to minimize.
[2024-05-30 00:45:33] [INFO ] Deduced a trap composed of 8 places in 150 ms of which 3 ms to minimize.
[2024-05-30 00:45:33] [INFO ] Deduced a trap composed of 10 places in 152 ms of which 3 ms to minimize.
[2024-05-30 00:45:34] [INFO ] Deduced a trap composed of 9 places in 159 ms of which 3 ms to minimize.
[2024-05-30 00:45:34] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1155 ms
[2024-05-30 00:45:35] [INFO ] Deduced a trap composed of 9 places in 177 ms of which 4 ms to minimize.
[2024-05-30 00:45:35] [INFO ] Deduced a trap composed of 7 places in 174 ms of which 3 ms to minimize.
[2024-05-30 00:45:35] [INFO ] Deduced a trap composed of 7 places in 161 ms of which 3 ms to minimize.
[2024-05-30 00:45:36] [INFO ] Deduced a trap composed of 19 places in 152 ms of which 3 ms to minimize.
[2024-05-30 00:45:36] [INFO ] Deduced a trap composed of 14 places in 152 ms of which 3 ms to minimize.
[2024-05-30 00:45:36] [INFO ] Deduced a trap composed of 14 places in 157 ms of which 3 ms to minimize.
[2024-05-30 00:45:36] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 1591 ms
[2024-05-30 00:45:38] [INFO ] Deduced a trap composed of 10 places in 242 ms of which 5 ms to minimize.
[2024-05-30 00:45:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 345 ms
[2024-05-30 00:45:39] [INFO ] Deduced a trap composed of 9 places in 257 ms of which 5 ms to minimize.
[2024-05-30 00:45:39] [INFO ] Deduced a trap composed of 8 places in 249 ms of which 5 ms to minimize.
[2024-05-30 00:45:40] [INFO ] Deduced a trap composed of 11 places in 249 ms of which 5 ms to minimize.
[2024-05-30 00:45:40] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 994 ms
TRAPS : Iteration 3
[2024-05-30 00:45:40] [INFO ] Deduced a trap composed of 9 places in 247 ms of which 4 ms to minimize.
[2024-05-30 00:45:40] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 359 ms
[2024-05-30 00:45:41] [INFO ] Deduced a trap composed of 11 places in 244 ms of which 4 ms to minimize.
[2024-05-30 00:45:41] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 352 ms
[2024-05-30 00:45:41] [INFO ] Deduced a trap composed of 11 places in 225 ms of which 5 ms to minimize.
[2024-05-30 00:45:42] [INFO ] Deduced a trap composed of 13 places in 221 ms of which 5 ms to minimize.
[2024-05-30 00:45:42] [INFO ] Deduced a trap composed of 9 places in 226 ms of which 4 ms to minimize.
[2024-05-30 00:45:42] [INFO ] Deduced a trap composed of 11 places in 223 ms of which 4 ms to minimize.
[2024-05-30 00:45:42] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1156 ms
[2024-05-30 00:45:43] [INFO ] Deduced a trap composed of 9 places in 220 ms of which 4 ms to minimize.
[2024-05-30 00:45:43] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 324 ms
[2024-05-30 00:45:45] [INFO ] Deduced a trap composed of 8 places in 225 ms of which 4 ms to minimize.
[2024-05-30 00:45:45] [INFO ] Deduced a trap composed of 7 places in 212 ms of which 4 ms to minimize.
[2024-05-30 00:45:45] [INFO ] Deduced a trap composed of 10 places in 216 ms of which 4 ms to minimize.
[2024-05-30 00:45:45] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 916 ms
[2024-05-30 00:45:47] [INFO ] Deduced a trap composed of 10 places in 239 ms of which 4 ms to minimize.
[2024-05-30 00:45:47] [INFO ] Deduced a trap composed of 9 places in 232 ms of which 5 ms to minimize.
[2024-05-30 00:45:48] [INFO ] Deduced a trap composed of 12 places in 257 ms of which 5 ms to minimize.
[2024-05-30 00:45:48] [INFO ] Deduced a trap composed of 9 places in 230 ms of which 4 ms to minimize.
[2024-05-30 00:45:48] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1278 ms
[2024-05-30 00:45:49] [INFO ] Deduced a trap composed of 8 places in 259 ms of which 5 ms to minimize.
[2024-05-30 00:45:49] [INFO ] Deduced a trap composed of 11 places in 241 ms of which 4 ms to minimize.
[2024-05-30 00:45:49] [INFO ] Deduced a trap composed of 7 places in 249 ms of which 4 ms to minimize.
[2024-05-30 00:45:49] [INFO ] Deduced a trap composed of 12 places in 241 ms of which 5 ms to minimize.
[2024-05-30 00:45:50] [INFO ] Deduced a trap composed of 7 places in 244 ms of which 4 ms to minimize.
[2024-05-30 00:45:50] [INFO ] Deduced a trap composed of 9 places in 249 ms of which 4 ms to minimize.
[2024-05-30 00:45:50] [INFO ] Deduced a trap composed of 14 places in 236 ms of which 4 ms to minimize.
[2024-05-30 00:45:50] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 2230 ms
[2024-05-30 00:45:51] [INFO ] Deduced a trap composed of 12 places in 248 ms of which 5 ms to minimize.
[2024-05-30 00:45:51] [INFO ] Deduced a trap composed of 7 places in 231 ms of which 5 ms to minimize.
[2024-05-30 00:45:52] [INFO ] Deduced a trap composed of 6 places in 238 ms of which 5 ms to minimize.
[2024-05-30 00:45:52] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 957 ms
TRAPS : Iteration 4
[2024-05-30 00:45:52] [INFO ] Deduced a trap composed of 9 places in 247 ms of which 4 ms to minimize.
[2024-05-30 00:45:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 365 ms
[2024-05-30 00:45:52] [INFO ] Deduced a trap composed of 10 places in 240 ms of which 4 ms to minimize.
[2024-05-30 00:45:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 356 ms
[2024-05-30 00:45:53] [INFO ] Deduced a trap composed of 9 places in 229 ms of which 5 ms to minimize.
[2024-05-30 00:45:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 339 ms
[2024-05-30 00:45:55] [INFO ] Deduced a trap composed of 9 places in 195 ms of which 4 ms to minimize.
[2024-05-30 00:45:56] [INFO ] Deduced a trap composed of 10 places in 199 ms of which 4 ms to minimize.
[2024-05-30 00:45:56] [INFO ] Deduced a trap composed of 7 places in 188 ms of which 4 ms to minimize.
[2024-05-30 00:45:56] [INFO ] Deduced a trap composed of 10 places in 199 ms of which 4 ms to minimize.
[2024-05-30 00:45:56] [INFO ] Deduced a trap composed of 12 places in 196 ms of which 3 ms to minimize.
[2024-05-30 00:45:57] [INFO ] Deduced a trap composed of 14 places in 195 ms of which 4 ms to minimize.
[2024-05-30 00:45:57] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 1649 ms
[2024-05-30 00:45:58] [INFO ] Deduced a trap composed of 11 places in 191 ms of which 4 ms to minimize.
[2024-05-30 00:45:58] [INFO ] Deduced a trap composed of 8 places in 198 ms of which 4 ms to minimize.
[2024-05-30 00:45:58] [INFO ] Deduced a trap composed of 10 places in 189 ms of which 3 ms to minimize.
[2024-05-30 00:45:59] [INFO ] Deduced a trap composed of 11 places in 181 ms of which 4 ms to minimize.
[2024-05-30 00:45:59] [INFO ] Deduced a trap composed of 10 places in 166 ms of which 3 ms to minimize.
[2024-05-30 00:45:59] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1408 ms
[2024-05-30 00:46:00] [INFO ] Deduced a trap composed of 8 places in 197 ms of which 4 ms to minimize.
[2024-05-30 00:46:00] [INFO ] Deduced a trap composed of 11 places in 194 ms of which 4 ms to minimize.
[2024-05-30 00:46:00] [INFO ] Deduced a trap composed of 10 places in 184 ms of which 4 ms to minimize.
[2024-05-30 00:46:00] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 861 ms
TRAPS : Iteration 5
[2024-05-30 00:46:01] [INFO ] Deduced a trap composed of 16 places in 290 ms of which 6 ms to minimize.
[2024-05-30 00:46:02] [INFO ] Deduced a trap composed of 11 places in 291 ms of which 5 ms to minimize.
[2024-05-30 00:46:02] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 738 ms
[2024-05-30 00:46:03] [INFO ] Deduced a trap composed of 8 places in 307 ms of which 6 ms to minimize.
[2024-05-30 00:46:04] [INFO ] Deduced a trap composed of 8 places in 305 ms of which 5 ms to minimize.
[2024-05-30 00:46:04] [INFO ] Deduced a trap composed of 8 places in 308 ms of which 5 ms to minimize.
[2024-05-30 00:46:05] [INFO ] Deduced a trap composed of 11 places in 306 ms of which 6 ms to minimize.
[2024-05-30 00:46:05] [INFO ] Deduced a trap composed of 11 places in 306 ms of which 5 ms to minimize.
[2024-05-30 00:46:05] [INFO ] Deduced a trap composed of 16 places in 289 ms of which 6 ms to minimize.
[2024-05-30 00:46:06] [INFO ] Deduced a trap composed of 12 places in 305 ms of which 6 ms to minimize.
[2024-05-30 00:46:06] [INFO ] Deduced a trap composed of 16 places in 285 ms of which 5 ms to minimize.
[2024-05-30 00:46:06] [INFO ] Deduced a trap composed of 11 places in 293 ms of which 5 ms to minimize.
[2024-05-30 00:46:07] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 3417 ms
[2024-05-30 00:46:08] [INFO ] Deduced a trap composed of 14 places in 288 ms of which 6 ms to minimize.
[2024-05-30 00:46:08] [INFO ] Deduced a trap composed of 12 places in 282 ms of which 5 ms to minimize.
[2024-05-30 00:46:09] [INFO ] Deduced a trap composed of 15 places in 277 ms of which 5 ms to minimize.
[2024-05-30 00:46:09] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1107 ms
[2024-05-30 00:46:10] [INFO ] Deduced a trap composed of 10 places in 191 ms of which 4 ms to minimize.
[2024-05-30 00:46:10] [INFO ] Deduced a trap composed of 7 places in 194 ms of which 4 ms to minimize.
[2024-05-30 00:46:10] [INFO ] Deduced a trap composed of 10 places in 189 ms of which 3 ms to minimize.
[2024-05-30 00:46:11] [INFO ] Deduced a trap composed of 11 places in 193 ms of which 5 ms to minimize.
[2024-05-30 00:46:11] [INFO ] Deduced a trap composed of 15 places in 200 ms of which 4 ms to minimize.
[2024-05-30 00:46:11] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1367 ms
[2024-05-30 00:46:12] [INFO ] Deduced a trap composed of 13 places in 171 ms of which 3 ms to minimize.
[2024-05-30 00:46:12] [INFO ] Deduced a trap composed of 14 places in 165 ms of which 4 ms to minimize.
[2024-05-30 00:46:12] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 577 ms
TRAPS : Iteration 6
[2024-05-30 00:46:15] [INFO ] Deduced a trap composed of 7 places in 174 ms of which 3 ms to minimize.
[2024-05-30 00:46:16] [INFO ] Deduced a trap composed of 8 places in 165 ms of which 4 ms to minimize.
[2024-05-30 00:46:16] [INFO ] Deduced a trap composed of 9 places in 171 ms of which 3 ms to minimize.
[2024-05-30 00:46:16] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 810 ms
[2024-05-30 00:46:17] [INFO ] Deduced a trap composed of 10 places in 173 ms of which 4 ms to minimize.
[2024-05-30 00:46:17] [INFO ] Deduced a trap composed of 11 places in 167 ms of which 3 ms to minimize.
[2024-05-30 00:46:17] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 506 ms
[2024-05-30 00:46:18] [INFO ] Deduced a trap composed of 9 places in 174 ms of which 3 ms to minimize.
[2024-05-30 00:46:18] [INFO ] Deduced a trap composed of 12 places in 184 ms of which 4 ms to minimize.
[2024-05-30 00:46:19] [INFO ] Deduced a trap composed of 13 places in 172 ms of which 3 ms to minimize.
[2024-05-30 00:46:19] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 785 ms
TRAPS : Iteration 7
[2024-05-30 00:46:20] [INFO ] Deduced a trap composed of 7 places in 157 ms of which 3 ms to minimize.
[2024-05-30 00:46:20] [INFO ] Deduced a trap composed of 7 places in 156 ms of which 3 ms to minimize.
[2024-05-30 00:46:20] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 481 ms
[2024-05-30 00:46:22] [INFO ] Deduced a trap composed of 10 places in 172 ms of which 3 ms to minimize.
[2024-05-30 00:46:22] [INFO ] Deduced a trap composed of 9 places in 188 ms of which 3 ms to minimize.
[2024-05-30 00:46:22] [INFO ] Deduced a trap composed of 8 places in 169 ms of which 3 ms to minimize.
[2024-05-30 00:46:22] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 815 ms
[2024-05-30 00:46:24] [INFO ] Deduced a trap composed of 8 places in 231 ms of which 5 ms to minimize.
[2024-05-30 00:46:25] [INFO ] Deduced a trap composed of 17 places in 224 ms of which 4 ms to minimize.
[2024-05-30 00:46:25] [INFO ] Deduced a trap composed of 9 places in 209 ms of which 4 ms to minimize.
[2024-05-30 00:46:25] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 942 ms
[2024-05-30 00:46:26] [INFO ] Deduced a trap composed of 8 places in 214 ms of which 4 ms to minimize.
[2024-05-30 00:46:26] [INFO ] Deduced a trap composed of 9 places in 223 ms of which 4 ms to minimize.
[2024-05-30 00:46:26] [INFO ] Deduced a trap composed of 8 places in 202 ms of which 4 ms to minimize.
[2024-05-30 00:46:26] [INFO ] Deduced a trap composed of 11 places in 205 ms of which 4 ms to minimize.
[2024-05-30 00:46:27] [INFO ] Deduced a trap composed of 8 places in 201 ms of which 4 ms to minimize.
[2024-05-30 00:46:27] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1428 ms
TRAPS : Iteration 8
[2024-05-30 00:46:29] [INFO ] Deduced a trap composed of 9 places in 174 ms of which 3 ms to minimize.
[2024-05-30 00:46:29] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 287 ms
[2024-05-30 00:46:31] [INFO ] Deduced a trap composed of 12 places in 223 ms of which 4 ms to minimize.
[2024-05-30 00:46:31] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 327 ms
TRAPS : Iteration 9
[2024-05-30 00:46:32] [INFO ] Deduced a trap composed of 10 places in 261 ms of which 5 ms to minimize.
[2024-05-30 00:46:32] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 382 ms
[2024-05-30 00:46:32] [INFO ] Deduced a trap composed of 10 places in 299 ms of which 6 ms to minimize.
[2024-05-30 00:46:33] [INFO ] Deduced a trap composed of 11 places in 303 ms of which 6 ms to minimize.
[2024-05-30 00:46:33] [INFO ] Deduced a trap composed of 11 places in 297 ms of which 6 ms to minimize.
[2024-05-30 00:46:33] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1131 ms
[2024-05-30 00:46:36] [INFO ] Deduced a trap composed of 11 places in 262 ms of which 5 ms to minimize.
[2024-05-30 00:46:37] [INFO ] Deduced a trap composed of 10 places in 268 ms of which 5 ms to minimize.
[2024-05-30 00:46:37] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 709 ms
[2024-05-30 00:46:37] [INFO ] Deduced a trap composed of 10 places in 243 ms of which 4 ms to minimize.
[2024-05-30 00:46:38] [INFO ] Deduced a trap composed of 12 places in 242 ms of which 4 ms to minimize.
[2024-05-30 00:46:38] [INFO ] Deduced a trap composed of 13 places in 239 ms of which 4 ms to minimize.
[2024-05-30 00:46:38] [INFO ] Deduced a trap composed of 11 places in 238 ms of which 4 ms to minimize.
[2024-05-30 00:46:38] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1285 ms
TRAPS : Iteration 10
[2024-05-30 00:46:39] [INFO ] Deduced a trap composed of 8 places in 203 ms of which 4 ms to minimize.
[2024-05-30 00:46:39] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 314 ms
[2024-05-30 00:46:40] [INFO ] Deduced a trap composed of 6 places in 212 ms of which 4 ms to minimize.
[2024-05-30 00:46:40] [INFO ] Deduced a trap composed of 8 places in 209 ms of which 3 ms to minimize.
[2024-05-30 00:46:40] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 582 ms
[2024-05-30 00:46:41] [INFO ] Deduced a trap composed of 9 places in 194 ms of which 3 ms to minimize.
[2024-05-30 00:46:41] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 314 ms
[2024-05-30 00:46:43] [INFO ] Deduced a trap composed of 13 places in 246 ms of which 5 ms to minimize.
[2024-05-30 00:46:43] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 354 ms
[2024-05-30 00:46:44] [INFO ] Deduced a trap composed of 14 places in 233 ms of which 5 ms to minimize.
[2024-05-30 00:46:44] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 349 ms
TRAPS : Iteration 11
[2024-05-30 00:46:46] [INFO ] Deduced a trap composed of 8 places in 189 ms of which 4 ms to minimize.
[2024-05-30 00:46:46] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 293 ms
[2024-05-30 00:46:49] [INFO ] Deduced a trap composed of 15 places in 210 ms of which 4 ms to minimize.
[2024-05-30 00:46:49] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 324 ms
[2024-05-30 00:46:50] [INFO ] Deduced a trap composed of 10 places in 171 ms of which 4 ms to minimize.
[2024-05-30 00:46:50] [INFO ] Deduced a trap composed of 11 places in 170 ms of which 4 ms to minimize.
[2024-05-30 00:46:50] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 508 ms
TRAPS : Iteration 12
[2024-05-30 00:46:51] [INFO ] Deduced a trap composed of 14 places in 181 ms of which 4 ms to minimize.
[2024-05-30 00:46:51] [INFO ] Deduced a trap composed of 10 places in 178 ms of which 3 ms to minimize.
[2024-05-30 00:46:51] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 540 ms
[2024-05-30 00:46:53] [INFO ] Deduced a trap composed of 9 places in 162 ms of which 3 ms to minimize.
[2024-05-30 00:46:53] [INFO ] Deduced a trap composed of 9 places in 165 ms of which 3 ms to minimize.
[2024-05-30 00:46:53] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 500 ms
[2024-05-30 00:46:56] [INFO ] Deduced a trap composed of 12 places in 222 ms of which 4 ms to minimize.
[2024-05-30 00:46:56] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 345 ms
[2024-05-30 00:46:56] [INFO ] Deduced a trap composed of 9 places in 248 ms of which 4 ms to minimize.
[2024-05-30 00:46:57] [INFO ] Deduced a trap composed of 8 places in 239 ms of which 4 ms to minimize.
[2024-05-30 00:46:57] [INFO ] Deduced a trap composed of 13 places in 234 ms of which 5 ms to minimize.
[2024-05-30 00:46:57] [INFO ] Deduced a trap composed of 10 places in 245 ms of which 5 ms to minimize.
[2024-05-30 00:46:57] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1267 ms
[2024-05-30 00:46:58] [INFO ] Deduced a trap composed of 8 places in 212 ms of which 4 ms to minimize.
[2024-05-30 00:46:58] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 327 ms
TRAPS : Iteration 13
[2024-05-30 00:46:58] [INFO ] Deduced a trap composed of 7 places in 211 ms of which 4 ms to minimize.
[2024-05-30 00:46:58] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 318 ms
[2024-05-30 00:47:00] [INFO ] Deduced a trap composed of 18 places in 199 ms of which 4 ms to minimize.
[2024-05-30 00:47:01] [INFO ] Deduced a trap composed of 13 places in 197 ms of which 4 ms to minimize.
[2024-05-30 00:47:01] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 677 ms
TRAPS : Iteration 14
[2024-05-30 00:47:03] [INFO ] Deduced a trap composed of 13 places in 262 ms of which 5 ms to minimize.
[2024-05-30 00:47:03] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 364 ms
[2024-05-30 00:47:04] [INFO ] Deduced a trap composed of 10 places in 240 ms of which 5 ms to minimize.
[2024-05-30 00:47:04] [INFO ] Deduced a trap composed of 11 places in 244 ms of which 4 ms to minimize.
[2024-05-30 00:47:05] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 646 ms
[2024-05-30 00:47:06] [INFO ] Deduced a trap composed of 9 places in 191 ms of which 4 ms to minimize.
[2024-05-30 00:47:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 311 ms
[2024-05-30 00:47:07] [INFO ] Deduced a trap composed of 12 places in 179 ms of which 4 ms to minimize.
[2024-05-30 00:47:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 288 ms
TRAPS : Iteration 15
[2024-05-30 00:47:12] [INFO ] Deduced a trap composed of 15 places in 248 ms of which 5 ms to minimize.
[2024-05-30 00:47:12] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 371 ms
[2024-05-30 00:47:13] [INFO ] Deduced a trap composed of 10 places in 214 ms of which 4 ms to minimize.
[2024-05-30 00:47:13] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 328 ms
[2024-05-30 00:47:14] [INFO ] Deduced a trap composed of 7 places in 187 ms of which 4 ms to minimize.
[2024-05-30 00:47:14] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 328 ms
TRAPS : Iteration 16
[2024-05-30 00:47:14] [INFO ] Deduced a trap composed of 9 places in 173 ms of which 4 ms to minimize.
[2024-05-30 00:47:14] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 285 ms
[2024-05-30 00:47:14] [INFO ] Deduced a trap composed of 11 places in 184 ms of which 3 ms to minimize.
[2024-05-30 00:47:15] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 287 ms
[2024-05-30 00:47:15] [INFO ] Deduced a trap composed of 12 places in 166 ms of which 3 ms to minimize.
[2024-05-30 00:47:15] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 299 ms
[2024-05-30 00:47:18] [INFO ] Deduced a trap composed of 14 places in 191 ms of which 4 ms to minimize.
[2024-05-30 00:47:18] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 329 ms
[2024-05-30 00:47:21] [INFO ] Deduced a trap composed of 11 places in 186 ms of which 3 ms to minimize.
[2024-05-30 00:47:21] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 305 ms
[2024-05-30 00:47:21] [INFO ] Deduced a trap composed of 12 places in 201 ms of which 4 ms to minimize.
[2024-05-30 00:47:21] [INFO ] Deduced a trap composed of 12 places in 191 ms of which 4 ms to minimize.
[2024-05-30 00:47:21] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 562 ms
[2024-05-30 00:47:22] [INFO ] Deduced a trap composed of 9 places in 196 ms of which 3 ms to minimize.
[2024-05-30 00:47:22] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 304 ms
TRAPS : Iteration 17
[2024-05-30 00:47:27] [INFO ] After 149374ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :10
[2024-05-30 00:47:33] [INFO ] After 157253ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :10
Over-approximation ignoring read arcs solved 0 properties in 157839 ms.
[2024-05-30 00:47:33] [INFO ] Export to MCC of 10 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 6 ms.
[2024-05-30 00:47:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1433 places, 1204 transitions and 5122 arcs took 14 ms.
[2024-05-30 00:47:34] [INFO ] Flatten gal took : 154 ms
Total runtime 427018 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running ShieldPPPt-PT-050B
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: 1433
TRANSITIONS: 1204
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.027s, Sys 0.003s]
SAVING FILE /home/mcc/execution/412/model (.net / .def) ...
EXPORT TIME: [User 0.001s, 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: 2096
MODEL NAME: /home/mcc/execution/412/model
1433 places, 1204 transitions.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
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="ShieldPPPt-PT-050B"
export BK_EXAMINATION="ReachabilityFireability"
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 ShieldPPPt-PT-050B, examination is ReachabilityFireability"
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-171683759300687"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-050B.tgz
mv ShieldPPPt-PT-050B execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;