About the Execution of 2020-gold for BridgeAndVehicles-PT-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1157.104 | 3600000.00 | 3744546.00 | 4998.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2021-input.r035-tajo-162038167700078.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is BridgeAndVehicles-PT-V80P50N20, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r035-tajo-162038167700078
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 122K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 544K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.6M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 5.8M May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 13K Mar 28 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Mar 28 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 351K Mar 28 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 1004K Mar 28 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Mar 23 02:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 35K Mar 23 02:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 361K Mar 22 12:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Mar 22 12:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.0K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 10 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 4.1M May 5 16:51 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 BridgeAndVehicles-PT-V80P50N20-CTLFireability-00
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-01
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-02
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-03
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-04
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-05
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-06
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-07
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-08
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-09
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-10
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-11
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-12
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-13
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-14
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1620904181824
[2021-05-13 11:09:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-13 11:09:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 11:09:43] [INFO ] Load time of PNML (sax parser for PT used): 237 ms
[2021-05-13 11:09:43] [INFO ] Transformed 198 places.
[2021-05-13 11:09:43] [INFO ] Transformed 3728 transitions.
[2021-05-13 11:09:43] [INFO ] Parsed PT model containing 198 places and 3728 transitions in 307 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 5839 ms.
Incomplete random walk after 100000 steps, including 145 resets, run finished after 18327 ms. (steps per millisecond=5 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1]
[2021-05-13 11:10:08] [INFO ] Flow matrix only has 410 transitions (discarded 3318 similar events)
// Phase 1: matrix 410 rows 198 cols
[2021-05-13 11:10:08] [INFO ] Computed 7 place invariants in 41 ms
[2021-05-13 11:10:08] [INFO ] [Real]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 11:10:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:10:08] [INFO ] [Real]Absence check using state equation in 239 ms returned sat
[2021-05-13 11:10:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:10:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:10:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:10:09] [INFO ] [Nat]Absence check using state equation in 188 ms returned sat
[2021-05-13 11:10:09] [INFO ] State equation strengthened by 42 read => feed constraints.
[2021-05-13 11:10:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 675 ms returned sat
[2021-05-13 11:10:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 241 ms.
[2021-05-13 11:10:28] [INFO ] Added : 285 causal constraints over 57 iterations in 18972 ms. Result :unknown
[2021-05-13 11:10:28] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:10:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:10:29] [INFO ] [Real]Absence check using state equation in 163 ms returned sat
[2021-05-13 11:10:29] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 11:10:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:10:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 11:10:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:10:29] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 11:10:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 1525 ms returned sat
[2021-05-13 11:10:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 434 ms.
[2021-05-13 11:10:49] [INFO ] Added : 255 causal constraints over 51 iterations in 18144 ms. Result :unknown
[2021-05-13 11:10:49] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 11:10:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:10:49] [INFO ] [Real]Absence check using state equation in 173 ms returned sat
[2021-05-13 11:10:49] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:10:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:10:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:10:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:10:49] [INFO ] [Nat]Absence check using state equation in 221 ms returned sat
[2021-05-13 11:10:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 1436 ms returned sat
[2021-05-13 11:10:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 174 ms.
[2021-05-13 11:11:09] [INFO ] Added : 265 causal constraints over 53 iterations in 18179 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:11:09] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:11:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:11:09] [INFO ] [Real]Absence check using state equation in 182 ms returned sat
[2021-05-13 11:11:09] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:11:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 224 ms.
[2021-05-13 11:11:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:11:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 50 ms returned sat
[2021-05-13 11:11:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:11:10] [INFO ] [Nat]Absence check using state equation in 181 ms returned sat
[2021-05-13 11:11:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 1379 ms returned sat
[2021-05-13 11:11:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 293 ms.
[2021-05-13 11:11:30] [INFO ] Added : 290 causal constraints over 58 iterations in 18357 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:11:30] [INFO ] [Real]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 11:11:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:11:30] [INFO ] [Real]Absence check using state equation in 235 ms returned sat
[2021-05-13 11:11:30] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 11:11:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 140 ms.
[2021-05-13 11:11:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:11:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:11:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:11:32] [INFO ] [Nat]Absence check using state equation in 1255 ms returned sat
[2021-05-13 11:11:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 647 ms returned sat
[2021-05-13 11:11:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 184 ms.
[2021-05-13 11:11:50] [INFO ] Added : 275 causal constraints over 55 iterations in 17973 ms. Result :unknown
[2021-05-13 11:11:50] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:11:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:11:51] [INFO ] [Real]Absence check using state equation in 176 ms returned sat
[2021-05-13 11:11:51] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 11:11:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:11:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:11:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:11:51] [INFO ] [Nat]Absence check using state equation in 166 ms returned sat
[2021-05-13 11:11:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 1364 ms returned sat
[2021-05-13 11:11:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 196 ms.
[2021-05-13 11:12:11] [INFO ] Added : 240 causal constraints over 48 iterations in 18386 ms. Result :unknown
[2021-05-13 11:12:11] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:12:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:12:11] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 11:12:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:12:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 11:12:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:12:11] [INFO ] [Nat]Absence check using state equation in 217 ms returned sat
[2021-05-13 11:12:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 765 ms returned sat
[2021-05-13 11:12:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 182 ms.
[2021-05-13 11:12:31] [INFO ] Added : 300 causal constraints over 60 iterations in 18908 ms. Result :unknown
[2021-05-13 11:12:31] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:12:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:12:31] [INFO ] [Real]Absence check using state equation in 226 ms returned sat
[2021-05-13 11:12:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:12:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:12:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:12:31] [INFO ] [Nat]Absence check using state equation in 192 ms returned sat
[2021-05-13 11:12:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 1621 ms returned sat
[2021-05-13 11:12:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 177 ms.
[2021-05-13 11:12:51] [INFO ] Added : 255 causal constraints over 51 iterations in 18113 ms. Result :unknown
[2021-05-13 11:12:51] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:12:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:12:51] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 11:12:52] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 11:12:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:12:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:12:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:12:52] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 11:12:53] [INFO ] [Nat]Added 42 Read/Feed constraints in 813 ms returned sat
[2021-05-13 11:12:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 197 ms.
[2021-05-13 11:13:12] [INFO ] Added : 280 causal constraints over 56 iterations in 18882 ms. Result :unknown
[2021-05-13 11:13:12] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:13:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:13:12] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 11:13:12] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 11:13:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:13:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:13:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:13:12] [INFO ] [Nat]Absence check using state equation in 240 ms returned sat
[2021-05-13 11:13:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 797 ms returned sat
[2021-05-13 11:13:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 172 ms.
[2021-05-13 11:13:32] [INFO ] Added : 270 causal constraints over 54 iterations in 18853 ms. Result :unknown
[2021-05-13 11:13:32] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:13:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:13:32] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 11:13:32] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2021-05-13 11:13:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:13:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:13:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:13:33] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 11:13:34] [INFO ] [Nat]Added 42 Read/Feed constraints in 1547 ms returned sat
[2021-05-13 11:13:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 173 ms.
[2021-05-13 11:13:52] [INFO ] Added : 290 causal constraints over 58 iterations in 18159 ms. Result :(error "Failed to check-sat")
[2021-05-13 11:13:52] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:13:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:13:52] [INFO ] [Real]Absence check using state equation in 164 ms returned sat
[2021-05-13 11:13:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:13:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:13:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:13:53] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 11:13:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 1555 ms returned sat
[2021-05-13 11:13:55] [INFO ] Deduced a trap composed of 5 places in 301 ms
[2021-05-13 11:13:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 438 ms
[2021-05-13 11:13:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 210 ms.
[2021-05-13 11:14:13] [INFO ] Added : 245 causal constraints over 49 iterations in 17770 ms. Result :unknown
[2021-05-13 11:14:13] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:14:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:14:13] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 11:14:13] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 11:14:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 11:14:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:14:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:14:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:14:13] [INFO ] [Nat]Absence check using state equation in 187 ms returned sat
[2021-05-13 11:14:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 1516 ms returned sat
[2021-05-13 11:14:15] [INFO ] Deduced a trap composed of 5 places in 571 ms
[2021-05-13 11:14:15] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 648 ms
[2021-05-13 11:14:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 168 ms.
[2021-05-13 11:14:33] [INFO ] Added : 245 causal constraints over 49 iterations in 17610 ms. Result :unknown
[2021-05-13 11:14:33] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:14:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:14:33] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 11:14:33] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 11:14:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:14:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:14:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:14:34] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2021-05-13 11:14:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 1646 ms returned sat
[2021-05-13 11:14:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 11:14:53] [INFO ] Added : 235 causal constraints over 47 iterations in 18102 ms. Result :unknown
[2021-05-13 11:14:53] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:14:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:14:54] [INFO ] [Real]Absence check using state equation in 186 ms returned sat
[2021-05-13 11:14:54] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 11:14:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:14:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:14:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:14:54] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 11:14:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 800 ms returned sat
[2021-05-13 11:14:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 235 ms.
[2021-05-13 11:15:08] [INFO ] Added : 260 causal constraints over 52 iterations in 12991 ms. Result :sat
[2021-05-13 11:15:08] [INFO ] [Real]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 11:15:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:15:08] [INFO ] [Real]Absence check using state equation in 221 ms returned sat
[2021-05-13 11:15:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:15:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:15:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:15:08] [INFO ] [Nat]Absence check using state equation in 171 ms returned sat
[2021-05-13 11:15:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 688 ms returned sat
[2021-05-13 11:15:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 192 ms.
[2021-05-13 11:15:28] [INFO ] Added : 290 causal constraints over 58 iterations in 19060 ms. Result :unknown
[2021-05-13 11:15:28] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:15:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:15:28] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 11:15:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:15:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 11:15:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:15:29] [INFO ] [Nat]Absence check using state equation in 189 ms returned sat
[2021-05-13 11:15:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 1172 ms returned sat
[2021-05-13 11:15:30] [INFO ] Deduced a trap composed of 24 places in 366 ms
[2021-05-13 11:15:30] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 375 ms
[2021-05-13 11:15:30] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 11:15:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:15:30] [INFO ] [Real]Absence check using state equation in 143 ms returned sat
[2021-05-13 11:15:30] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:15:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:15:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:15:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:15:31] [INFO ] [Nat]Absence check using state equation in 134 ms returned sat
[2021-05-13 11:15:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 619 ms returned sat
[2021-05-13 11:15:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 167 ms.
[2021-05-13 11:15:47] [INFO ] Added : 290 causal constraints over 58 iterations in 15321 ms. Result :sat
[2021-05-13 11:15:47] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:15:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:15:47] [INFO ] [Real]Absence check using state equation in 154 ms returned sat
[2021-05-13 11:15:47] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:15:47] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 204 ms.
[2021-05-13 11:15:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:15:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:15:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:15:48] [INFO ] [Nat]Absence check using state equation in 195 ms returned sat
[2021-05-13 11:15:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 1828 ms returned sat
[2021-05-13 11:15:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 182 ms.
[2021-05-13 11:16:07] [INFO ] Added : 260 causal constraints over 52 iterations in 17916 ms. Result :unknown
[2021-05-13 11:16:07] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:16:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:16:08] [INFO ] [Real]Absence check using state equation in 136 ms returned sat
[2021-05-13 11:16:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:16:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:16:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:16:08] [INFO ] [Nat]Absence check using state equation in 162 ms returned sat
[2021-05-13 11:16:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 737 ms returned sat
[2021-05-13 11:16:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 166 ms.
[2021-05-13 11:16:28] [INFO ] Added : 280 causal constraints over 56 iterations in 19049 ms. Result :unknown
[2021-05-13 11:16:28] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:16:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:16:28] [INFO ] [Real]Absence check using state equation in 194 ms returned sat
[2021-05-13 11:16:28] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 11:16:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:16:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:16:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:16:28] [INFO ] [Nat]Absence check using state equation in 184 ms returned sat
[2021-05-13 11:16:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 1289 ms returned sat
[2021-05-13 11:16:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 177 ms.
[2021-05-13 11:16:48] [INFO ] Added : 305 causal constraints over 61 iterations in 18466 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:16:48] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:16:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:16:48] [INFO ] [Real]Absence check using state equation in 190 ms returned sat
[2021-05-13 11:16:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:16:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:16:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:16:48] [INFO ] [Nat]Absence check using state equation in 182 ms returned sat
[2021-05-13 11:16:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 622 ms returned sat
[2021-05-13 11:16:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 271 ms.
[2021-05-13 11:17:08] [INFO ] Added : 300 causal constraints over 60 iterations in 19145 ms. Result :unknown
[2021-05-13 11:17:08] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:17:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:17:08] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 11:17:08] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:17:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:17:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:17:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:17:09] [INFO ] [Nat]Absence check using state equation in 152 ms returned sat
[2021-05-13 11:17:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 621 ms returned sat
[2021-05-13 11:17:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 161 ms.
[2021-05-13 11:17:28] [INFO ] Added : 285 causal constraints over 57 iterations in 19070 ms. Result :sat
[2021-05-13 11:17:28] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:17:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:17:29] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:17:29] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 11:17:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:17:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:17:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:17:29] [INFO ] [Nat]Absence check using state equation in 191 ms returned sat
[2021-05-13 11:17:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 1709 ms returned sat
[2021-05-13 11:17:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 194 ms.
[2021-05-13 11:17:49] [INFO ] Added : 250 causal constraints over 50 iterations in 18034 ms. Result :unknown
[2021-05-13 11:17:49] [INFO ] [Real]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 11:17:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:17:49] [INFO ] [Real]Absence check using state equation in 171 ms returned sat
[2021-05-13 11:17:49] [INFO ] [Real]Added 42 Read/Feed constraints in 38 ms returned sat
[2021-05-13 11:17:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:17:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:17:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:17:49] [INFO ] [Nat]Absence check using state equation in 178 ms returned sat
[2021-05-13 11:17:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 1347 ms returned sat
[2021-05-13 11:17:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 198 ms.
[2021-05-13 11:18:04] [INFO ] Added : 240 causal constraints over 48 iterations in 13140 ms. Result :sat
[2021-05-13 11:18:04] [INFO ] Deduced a trap composed of 5 places in 356 ms
[2021-05-13 11:18:05] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 679 ms
[2021-05-13 11:18:05] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:18:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:18:05] [INFO ] [Real]Absence check using state equation in 220 ms returned sat
[2021-05-13 11:18:05] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 11:18:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:18:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:18:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:18:05] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:18:07] [INFO ] [Nat]Added 42 Read/Feed constraints in 1443 ms returned sat
[2021-05-13 11:18:07] [INFO ] Deduced a trap composed of 5 places in 251 ms
[2021-05-13 11:18:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 401 ms
[2021-05-13 11:18:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 144 ms.
[2021-05-13 11:18:20] [INFO ] Added : 235 causal constraints over 47 iterations in 12657 ms. Result :sat
[2021-05-13 11:18:20] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:18:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:18:20] [INFO ] [Real]Absence check using state equation in 191 ms returned sat
[2021-05-13 11:18:20] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:18:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:18:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:18:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:18:20] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 11:18:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 1571 ms returned sat
[2021-05-13 11:18:22] [INFO ] Deduced a trap composed of 5 places in 287 ms
[2021-05-13 11:18:22] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 352 ms
[2021-05-13 11:18:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 147 ms.
[2021-05-13 11:18:40] [INFO ] Added : 270 causal constraints over 54 iterations in 17863 ms. Result :unknown
[2021-05-13 11:18:40] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:18:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:18:40] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 11:18:40] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 11:18:40] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 203 ms.
[2021-05-13 11:18:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:18:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:18:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:18:41] [INFO ] [Nat]Absence check using state equation in 260 ms returned sat
[2021-05-13 11:18:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 1445 ms returned sat
[2021-05-13 11:18:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 11:19:01] [INFO ] Added : 290 causal constraints over 58 iterations in 18184 ms. Result :unknown
[2021-05-13 11:19:01] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:19:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:19:01] [INFO ] [Real]Absence check using state equation in 176 ms returned sat
[2021-05-13 11:19:01] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 11:19:01] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 254 ms.
[2021-05-13 11:19:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:19:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:19:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:19:01] [INFO ] [Nat]Absence check using state equation in 183 ms returned sat
[2021-05-13 11:19:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 779 ms returned sat
[2021-05-13 11:19:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 229 ms.
[2021-05-13 11:19:21] [INFO ] Added : 300 causal constraints over 60 iterations in 18971 ms. Result :unknown
[2021-05-13 11:19:21] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:19:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:19:21] [INFO ] [Real]Absence check using state equation in 200 ms returned sat
[2021-05-13 11:19:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:19:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:19:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:19:22] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 11:19:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 1617 ms returned sat
[2021-05-13 11:19:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 103 ms.
[2021-05-13 11:19:42] [INFO ] Added : 275 causal constraints over 55 iterations in 18001 ms. Result :unknown
[2021-05-13 11:19:42] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:19:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:19:42] [INFO ] [Real]Absence check using state equation in 190 ms returned sat
[2021-05-13 11:19:42] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:19:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:19:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 11:19:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:19:42] [INFO ] [Nat]Absence check using state equation in 205 ms returned sat
[2021-05-13 11:19:44] [INFO ] [Nat]Added 42 Read/Feed constraints in 1597 ms returned sat
[2021-05-13 11:19:44] [INFO ] Deduced a trap composed of 5 places in 356 ms
[2021-05-13 11:19:44] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 450 ms
[2021-05-13 11:19:44] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 96 ms.
[2021-05-13 11:20:02] [INFO ] Added : 285 causal constraints over 57 iterations in 17722 ms. Result :unknown
[2021-05-13 11:20:02] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:20:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:20:02] [INFO ] [Real]Absence check using state equation in 162 ms returned sat
[2021-05-13 11:20:02] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 11:20:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:20:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:20:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:20:02] [INFO ] [Nat]Absence check using state equation in 188 ms returned sat
[2021-05-13 11:20:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 720 ms returned sat
[2021-05-13 11:20:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 110 ms.
[2021-05-13 11:20:16] [INFO ] Added : 255 causal constraints over 51 iterations in 12899 ms. Result :sat
[2021-05-13 11:20:16] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:20:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:20:16] [INFO ] [Real]Absence check using state equation in 197 ms returned sat
[2021-05-13 11:20:16] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:20:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:20:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:20:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:20:16] [INFO ] [Nat]Absence check using state equation in 137 ms returned sat
[2021-05-13 11:20:18] [INFO ] [Nat]Added 42 Read/Feed constraints in 1451 ms returned sat
[2021-05-13 11:20:18] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 204 ms.
[2021-05-13 11:20:36] [INFO ] Added : 280 causal constraints over 56 iterations in 18354 ms. Result :unknown
[2021-05-13 11:20:36] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:20:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:20:36] [INFO ] [Real]Absence check using state equation in 157 ms returned sat
[2021-05-13 11:20:37] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 11:20:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:20:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:20:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:20:37] [INFO ] [Nat]Absence check using state equation in 148 ms returned sat
[2021-05-13 11:20:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 1388 ms returned sat
[2021-05-13 11:20:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 240 ms.
[2021-05-13 11:20:57] [INFO ] Added : 275 causal constraints over 55 iterations in 18400 ms. Result :unknown
[2021-05-13 11:20:57] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:20:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:20:57] [INFO ] [Real]Absence check using state equation in 161 ms returned sat
[2021-05-13 11:20:57] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 11:20:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:20:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:20:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:20:57] [INFO ] [Nat]Absence check using state equation in 225 ms returned sat
[2021-05-13 11:20:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 825 ms returned sat
[2021-05-13 11:20:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 240 ms.
[2021-05-13 11:21:17] [INFO ] Added : 295 causal constraints over 59 iterations in 18867 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:21:17] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:21:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:21:17] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 11:21:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:21:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:21:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:21:17] [INFO ] [Nat]Absence check using state equation in 149 ms returned sat
[2021-05-13 11:21:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 1437 ms returned sat
[2021-05-13 11:21:19] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 117 ms.
[2021-05-13 11:21:37] [INFO ] Added : 265 causal constraints over 53 iterations in 18338 ms. Result :unknown
[2021-05-13 11:21:37] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:21:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:21:37] [INFO ] [Real]Absence check using state equation in 192 ms returned sat
[2021-05-13 11:21:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:21:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:21:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:21:38] [INFO ] [Nat]Absence check using state equation in 213 ms returned sat
[2021-05-13 11:21:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 45 ms returned sat
[2021-05-13 11:21:38] [INFO ] Deduced a trap composed of 25 places in 432 ms
[2021-05-13 11:21:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 498 ms
[2021-05-13 11:21:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 128 ms.
[2021-05-13 11:21:57] [INFO ] Added : 290 causal constraints over 58 iterations in 19222 ms. Result :unknown
[2021-05-13 11:21:57] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:21:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:21:58] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 11:21:58] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 11:21:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:21:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:21:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:21:58] [INFO ] [Nat]Absence check using state equation in 138 ms returned sat
[2021-05-13 11:21:59] [INFO ] [Nat]Added 42 Read/Feed constraints in 621 ms returned sat
[2021-05-13 11:21:59] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 153 ms.
[2021-05-13 11:22:18] [INFO ] Added : 280 causal constraints over 56 iterations in 19155 ms. Result :unknown
[2021-05-13 11:22:18] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:22:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:22:18] [INFO ] [Real]Absence check using state equation in 192 ms returned sat
[2021-05-13 11:22:18] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 11:22:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:22:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:22:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:22:18] [INFO ] [Nat]Absence check using state equation in 172 ms returned sat
[2021-05-13 11:22:20] [INFO ] [Nat]Added 42 Read/Feed constraints in 1618 ms returned sat
[2021-05-13 11:22:20] [INFO ] Deduced a trap composed of 5 places in 291 ms
[2021-05-13 11:22:20] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 379 ms
[2021-05-13 11:22:20] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 108 ms.
[2021-05-13 11:22:38] [INFO ] Added : 265 causal constraints over 53 iterations in 17819 ms. Result :unknown
[2021-05-13 11:22:38] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:22:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:22:38] [INFO ] [Real]Absence check using state equation in 166 ms returned sat
[2021-05-13 11:22:38] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 11:22:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 110 ms.
[2021-05-13 11:22:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:22:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:22:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:22:39] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 11:22:39] [INFO ] [Nat]Added 42 Read/Feed constraints in 53 ms returned sat
[2021-05-13 11:22:39] [INFO ] Deduced a trap composed of 24 places in 389 ms
[2021-05-13 11:22:39] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 443 ms
[2021-05-13 11:22:39] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 105 ms.
[2021-05-13 11:22:57] [INFO ] Added : 285 causal constraints over 57 iterations in 17881 ms. Result :sat
[2021-05-13 11:22:57] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:22:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:22:58] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2021-05-13 11:22:58] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 11:22:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:22:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:22:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:22:58] [INFO ] [Nat]Absence check using state equation in 139 ms returned sat
[2021-05-13 11:22:59] [INFO ] [Nat]Added 42 Read/Feed constraints in 1298 ms returned sat
[2021-05-13 11:22:59] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 101 ms.
[2021-05-13 11:23:18] [INFO ] Added : 265 causal constraints over 53 iterations in 18386 ms. Result :unknown
[2021-05-13 11:23:18] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 11:23:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:23:18] [INFO ] [Real]Absence check using state equation in 160 ms returned sat
[2021-05-13 11:23:18] [INFO ] [Real]Added 42 Read/Feed constraints in 38 ms returned sat
[2021-05-13 11:23:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:23:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:23:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:23:18] [INFO ] [Nat]Absence check using state equation in 175 ms returned sat
[2021-05-13 11:23:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 1457 ms returned sat
[2021-05-13 11:23:20] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 206 ms.
[2021-05-13 11:23:38] [INFO ] Added : 290 causal constraints over 58 iterations in 18323 ms. Result :unknown
[2021-05-13 11:23:38] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:23:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:23:38] [INFO ] [Real]Absence check using state equation in 192 ms returned sat
[2021-05-13 11:23:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:23:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:23:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:23:38] [INFO ] [Nat]Absence check using state equation in 227 ms returned sat
[2021-05-13 11:23:39] [INFO ] [Nat]Added 42 Read/Feed constraints in 858 ms returned sat
[2021-05-13 11:23:40] [INFO ] Deduced a trap composed of 24 places in 382 ms
[2021-05-13 11:23:40] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 394 ms
[2021-05-13 11:23:40] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:23:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:23:40] [INFO ] [Real]Absence check using state equation in 135 ms returned sat
[2021-05-13 11:23:40] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:23:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:23:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:23:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:23:40] [INFO ] [Nat]Absence check using state equation in 190 ms returned sat
[2021-05-13 11:23:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 680 ms returned sat
[2021-05-13 11:23:41] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 187 ms.
[2021-05-13 11:24:00] [INFO ] Added : 310 causal constraints over 62 iterations in 19046 ms. Result :unknown
[2021-05-13 11:24:00] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:24:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:24:00] [INFO ] [Real]Absence check using state equation in 200 ms returned sat
[2021-05-13 11:24:00] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:24:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:24:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:24:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:24:00] [INFO ] [Nat]Absence check using state equation in 178 ms returned sat
[2021-05-13 11:24:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 1440 ms returned sat
[2021-05-13 11:24:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 220 ms.
[2021-05-13 11:24:20] [INFO ] Added : 280 causal constraints over 56 iterations in 18310 ms. Result :unknown
[2021-05-13 11:24:20] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:24:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:24:20] [INFO ] [Real]Absence check using state equation in 150 ms returned sat
[2021-05-13 11:24:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:24:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:24:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:24:21] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 11:24:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 1492 ms returned sat
[2021-05-13 11:24:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 186 ms.
[2021-05-13 11:24:40] [INFO ] Added : 245 causal constraints over 49 iterations in 18240 ms. Result :unknown
[2021-05-13 11:24:40] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 11:24:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:24:41] [INFO ] [Real]Absence check using state equation in 184 ms returned sat
[2021-05-13 11:24:41] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 11:24:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:24:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:24:41] [INFO ] [Nat]Absence check using state equation in 194 ms returned sat
[2021-05-13 11:24:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 805 ms returned sat
[2021-05-13 11:24:42] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 257 ms.
[2021-05-13 11:24:53] [INFO ] Added : 250 causal constraints over 50 iterations in 11125 ms. Result :sat
[2021-05-13 11:24:53] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:24:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:24:53] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 11:24:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:24:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:24:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:24:53] [INFO ] [Nat]Absence check using state equation in 246 ms returned sat
[2021-05-13 11:24:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 964 ms returned sat
[2021-05-13 11:24:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 11:25:10] [INFO ] Added : 260 causal constraints over 52 iterations in 15869 ms. Result :unknown
[2021-05-13 11:25:10] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:25:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:25:11] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 11:25:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:25:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:25:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:25:11] [INFO ] [Nat]Absence check using state equation in 194 ms returned sat
[2021-05-13 11:25:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 659 ms returned sat
[2021-05-13 11:25:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 115 ms.
[2021-05-13 11:25:31] [INFO ] Added : 270 causal constraints over 54 iterations in 19063 ms. Result :unknown
[2021-05-13 11:25:31] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:25:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:25:31] [INFO ] [Real]Absence check using state equation in 197 ms returned sat
[2021-05-13 11:25:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:25:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 11:25:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:25:31] [INFO ] [Nat]Absence check using state equation in 218 ms returned sat
[2021-05-13 11:25:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 1561 ms returned sat
[2021-05-13 11:25:33] [INFO ] Deduced a trap composed of 5 places in 431 ms
[2021-05-13 11:25:33] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 539 ms
[2021-05-13 11:25:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 172 ms.
[2021-05-13 11:25:47] [INFO ] Added : 230 causal constraints over 46 iterations in 13292 ms. Result :sat
[2021-05-13 11:25:47] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:25:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:25:47] [INFO ] [Real]Absence check using state equation in 151 ms returned sat
[2021-05-13 11:25:47] [INFO ] [Real]Added 42 Read/Feed constraints in 38 ms returned sat
[2021-05-13 11:25:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:25:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:25:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:25:47] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:25:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 1544 ms returned sat
[2021-05-13 11:25:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 175 ms.
[2021-05-13 11:26:07] [INFO ] Added : 270 causal constraints over 54 iterations in 18193 ms. Result :unknown
[2021-05-13 11:26:07] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:26:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:26:07] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 11:26:07] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 11:26:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:26:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 11:26:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:26:07] [INFO ] [Nat]Absence check using state equation in 206 ms returned sat
[2021-05-13 11:26:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 822 ms returned sat
[2021-05-13 11:26:08] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 159 ms.
[2021-05-13 11:26:27] [INFO ] Added : 280 causal constraints over 56 iterations in 18861 ms. Result :unknown
[2021-05-13 11:26:27] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:26:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:26:27] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 11:26:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:26:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:26:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:26:28] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 11:26:28] [INFO ] [Nat]Added 42 Read/Feed constraints in 632 ms returned sat
[2021-05-13 11:26:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 11:26:47] [INFO ] Added : 285 causal constraints over 57 iterations in 19053 ms. Result :unknown
[2021-05-13 11:26:48] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:26:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:26:48] [INFO ] [Real]Absence check using state equation in 188 ms returned sat
[2021-05-13 11:26:48] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2021-05-13 11:26:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:26:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:26:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:26:48] [INFO ] [Nat]Absence check using state equation in 185 ms returned sat
[2021-05-13 11:26:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 725 ms returned sat
[2021-05-13 11:26:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 161 ms.
[2021-05-13 11:27:08] [INFO ] Added : 295 causal constraints over 59 iterations in 18993 ms. Result :unknown
[2021-05-13 11:27:08] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:27:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:27:08] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 11:27:08] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:27:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:27:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:27:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:27:08] [INFO ] [Nat]Absence check using state equation in 182 ms returned sat
[2021-05-13 11:27:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 1614 ms returned sat
[2021-05-13 11:27:10] [INFO ] Deduced a trap composed of 5 places in 327 ms
[2021-05-13 11:27:10] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 377 ms
[2021-05-13 11:27:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 84 ms.
[2021-05-13 11:27:26] [INFO ] Added : 260 causal constraints over 52 iterations in 15951 ms. Result :sat
[2021-05-13 11:27:26] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:27:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:27:27] [INFO ] [Real]Absence check using state equation in 159 ms returned sat
[2021-05-13 11:27:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:27:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:27:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:27:27] [INFO ] [Nat]Absence check using state equation in 191 ms returned sat
[2021-05-13 11:27:28] [INFO ] [Nat]Added 42 Read/Feed constraints in 1291 ms returned sat
[2021-05-13 11:27:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 187 ms.
[2021-05-13 11:27:47] [INFO ] Added : 300 causal constraints over 60 iterations in 18453 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:27:47] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:27:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:27:47] [INFO ] [Real]Absence check using state equation in 166 ms returned sat
[2021-05-13 11:27:47] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:27:47] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 200 ms.
[2021-05-13 11:27:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:27:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:27:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:27:47] [INFO ] [Nat]Absence check using state equation in 206 ms returned sat
[2021-05-13 11:27:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 861 ms returned sat
[2021-05-13 11:27:48] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 121 ms.
[2021-05-13 11:28:04] [INFO ] Added : 260 causal constraints over 52 iterations in 15654 ms. Result :sat
[2021-05-13 11:28:04] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:28:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:28:04] [INFO ] [Real]Absence check using state equation in 220 ms returned sat
[2021-05-13 11:28:04] [INFO ] [Real]Added 42 Read/Feed constraints in 50 ms returned sat
[2021-05-13 11:28:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:28:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:28:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:28:05] [INFO ] [Nat]Absence check using state equation in 183 ms returned sat
[2021-05-13 11:28:05] [INFO ] [Nat]Added 42 Read/Feed constraints in 701 ms returned sat
[2021-05-13 11:28:05] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 166 ms.
[2021-05-13 11:28:21] [INFO ] Added : 275 causal constraints over 55 iterations in 15262 ms. Result :sat
[2021-05-13 11:28:21] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:28:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:28:21] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 11:28:21] [INFO ] [Real]Added 42 Read/Feed constraints in 47 ms returned sat
[2021-05-13 11:28:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:28:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:28:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:28:21] [INFO ] [Nat]Absence check using state equation in 194 ms returned sat
[2021-05-13 11:28:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 713 ms returned sat
[2021-05-13 11:28:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 258 ms.
[2021-05-13 11:28:35] [INFO ] Added : 270 causal constraints over 54 iterations in 13058 ms. Result :sat
[2021-05-13 11:28:35] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:28:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:28:35] [INFO ] [Real]Absence check using state equation in 249 ms returned sat
[2021-05-13 11:28:35] [INFO ] [Real]Added 42 Read/Feed constraints in 38 ms returned sat
[2021-05-13 11:28:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:28:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:28:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:28:36] [INFO ] [Nat]Absence check using state equation in 201 ms returned sat
[2021-05-13 11:28:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 835 ms returned sat
[2021-05-13 11:28:37] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 88 ms.
[2021-05-13 11:28:56] [INFO ] Added : 295 causal constraints over 59 iterations in 18911 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:28:56] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:28:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:28:56] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2021-05-13 11:28:56] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:28:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:28:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:28:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:28:56] [INFO ] [Nat]Absence check using state equation in 188 ms returned sat
[2021-05-13 11:28:57] [INFO ] [Nat]Added 42 Read/Feed constraints in 1261 ms returned sat
[2021-05-13 11:28:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 252 ms.
[2021-05-13 11:29:16] [INFO ] Added : 250 causal constraints over 50 iterations in 18481 ms. Result :unknown
[2021-05-13 11:29:16] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:29:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:29:16] [INFO ] [Real]Absence check using state equation in 182 ms returned sat
[2021-05-13 11:29:16] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:29:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:29:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:29:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:29:16] [INFO ] [Nat]Absence check using state equation in 142 ms returned sat
[2021-05-13 11:29:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 768 ms returned sat
[2021-05-13 11:29:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 164 ms.
[2021-05-13 11:29:36] [INFO ] Added : 300 causal constraints over 60 iterations in 19038 ms. Result :unknown
[2021-05-13 11:29:36] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 11:29:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:29:36] [INFO ] [Real]Absence check using state equation in 124 ms returned sat
[2021-05-13 11:29:36] [INFO ] [Real]Added 42 Read/Feed constraints in 28 ms returned sat
[2021-05-13 11:29:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:29:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:29:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:29:37] [INFO ] [Nat]Absence check using state equation in 161 ms returned sat
[2021-05-13 11:29:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 790 ms returned sat
[2021-05-13 11:29:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 157 ms.
[2021-05-13 11:29:56] [INFO ] Added : 295 causal constraints over 59 iterations in 18947 ms. Result :unknown
[2021-05-13 11:29:56] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:29:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:29:57] [INFO ] [Real]Absence check using state equation in 179 ms returned sat
[2021-05-13 11:29:57] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 11:29:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:29:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:29:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:29:57] [INFO ] [Nat]Absence check using state equation in 134 ms returned sat
[2021-05-13 11:29:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 1235 ms returned sat
[2021-05-13 11:29:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 239 ms.
[2021-05-13 11:30:17] [INFO ] Added : 280 causal constraints over 56 iterations in 18580 ms. Result :unknown
[2021-05-13 11:30:17] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:30:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:30:17] [INFO ] [Real]Absence check using state equation in 184 ms returned sat
[2021-05-13 11:30:17] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:30:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:30:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:30:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:30:17] [INFO ] [Nat]Absence check using state equation in 175 ms returned sat
[2021-05-13 11:30:18] [INFO ] [Nat]Added 42 Read/Feed constraints in 745 ms returned sat
[2021-05-13 11:30:18] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 113 ms.
[2021-05-13 11:30:37] [INFO ] Added : 280 causal constraints over 56 iterations in 19010 ms. Result :unknown
[2021-05-13 11:30:37] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 11:30:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:30:37] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:30:37] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:30:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:30:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:30:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:30:37] [INFO ] [Nat]Absence check using state equation in 160 ms returned sat
[2021-05-13 11:30:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 636 ms returned sat
[2021-05-13 11:30:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 89 ms.
[2021-05-13 11:30:57] [INFO ] Added : 285 causal constraints over 57 iterations in 19142 ms. Result :unknown
[2021-05-13 11:30:57] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:30:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:30:58] [INFO ] [Real]Absence check using state equation in 191 ms returned sat
[2021-05-13 11:30:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:30:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:30:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:30:58] [INFO ] [Nat]Absence check using state equation in 179 ms returned sat
[2021-05-13 11:30:59] [INFO ] [Nat]Added 42 Read/Feed constraints in 1355 ms returned sat
[2021-05-13 11:30:59] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 102 ms.
[2021-05-13 11:31:18] [INFO ] Added : 265 causal constraints over 53 iterations in 18426 ms. Result :unknown
[2021-05-13 11:31:18] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 11:31:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:31:18] [INFO ] [Real]Absence check using state equation in 142 ms returned sat
[2021-05-13 11:31:18] [INFO ] [Real]Added 42 Read/Feed constraints in 28 ms returned sat
[2021-05-13 11:31:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:31:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:31:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:31:18] [INFO ] [Nat]Absence check using state equation in 137 ms returned sat
[2021-05-13 11:31:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 1194 ms returned sat
[2021-05-13 11:31:19] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 121 ms.
[2021-05-13 11:31:36] [INFO ] Added : 280 causal constraints over 56 iterations in 16811 ms. Result :sat
[2021-05-13 11:31:36] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 11:31:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:31:36] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:31:36] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:31:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:31:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:31:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:31:37] [INFO ] [Nat]Absence check using state equation in 197 ms returned sat
[2021-05-13 11:31:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 1507 ms returned sat
[2021-05-13 11:31:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 188 ms.
[2021-05-13 11:31:56] [INFO ] Added : 275 causal constraints over 55 iterations in 18225 ms. Result :unknown
[2021-05-13 11:31:56] [INFO ] [Real]Absence check using 7 positive place invariants in 62 ms returned sat
[2021-05-13 11:31:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:31:57] [INFO ] [Real]Absence check using state equation in 197 ms returned sat
[2021-05-13 11:31:57] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:31:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:31:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:31:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:31:57] [INFO ] [Nat]Absence check using state equation in 136 ms returned sat
[2021-05-13 11:31:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 622 ms returned sat
[2021-05-13 11:31:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 147 ms.
[2021-05-13 11:32:17] [INFO ] Added : 285 causal constraints over 57 iterations in 19207 ms. Result :unknown
[2021-05-13 11:32:17] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:32:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:32:17] [INFO ] [Real]Absence check using state equation in 150 ms returned sat
[2021-05-13 11:32:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:32:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:32:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:32:17] [INFO ] [Nat]Absence check using state equation in 170 ms returned sat
[2021-05-13 11:32:18] [INFO ] [Nat]Added 42 Read/Feed constraints in 1315 ms returned sat
[2021-05-13 11:32:19] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 11:32:37] [INFO ] Added : 280 causal constraints over 56 iterations in 18448 ms. Result :unknown
[2021-05-13 11:32:37] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:32:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:32:37] [INFO ] [Real]Absence check using state equation in 163 ms returned sat
[2021-05-13 11:32:37] [INFO ] [Real]Added 42 Read/Feed constraints in 50 ms returned sat
[2021-05-13 11:32:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:32:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:32:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:32:37] [INFO ] [Nat]Absence check using state equation in 176 ms returned sat
[2021-05-13 11:32:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 718 ms returned sat
[2021-05-13 11:32:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 149 ms.
[2021-05-13 11:32:50] [INFO ] Added : 265 causal constraints over 53 iterations in 11699 ms. Result :sat
[2021-05-13 11:32:50] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:32:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:32:50] [INFO ] [Real]Absence check using state equation in 200 ms returned sat
[2021-05-13 11:32:50] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 11:32:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:32:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 11:32:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:32:51] [INFO ] [Nat]Absence check using state equation in 191 ms returned sat
[2021-05-13 11:32:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 852 ms returned sat
[2021-05-13 11:32:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 180 ms.
[2021-05-13 11:33:10] [INFO ] Added : 290 causal constraints over 58 iterations in 18868 ms. Result :unknown
[2021-05-13 11:33:10] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:33:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:33:11] [INFO ] [Real]Absence check using state equation in 220 ms returned sat
[2021-05-13 11:33:11] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 11:33:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:33:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:33:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:33:11] [INFO ] [Nat]Absence check using state equation in 187 ms returned sat
[2021-05-13 11:33:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 743 ms returned sat
[2021-05-13 11:33:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 117 ms.
[2021-05-13 11:33:31] [INFO ] Added : 300 causal constraints over 60 iterations in 18996 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:33:31] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:33:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:33:31] [INFO ] [Real]Absence check using state equation in 223 ms returned sat
[2021-05-13 11:33:31] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 11:33:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:33:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:33:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:33:31] [INFO ] [Nat]Absence check using state equation in 192 ms returned sat
[2021-05-13 11:33:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 696 ms returned sat
[2021-05-13 11:33:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 147 ms.
[2021-05-13 11:33:51] [INFO ] Added : 280 causal constraints over 56 iterations in 19006 ms. Result :unknown
[2021-05-13 11:33:51] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:33:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:33:51] [INFO ] [Real]Absence check using state equation in 227 ms returned sat
[2021-05-13 11:33:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:33:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:33:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:33:52] [INFO ] [Nat]Absence check using state equation in 224 ms returned sat
[2021-05-13 11:33:53] [INFO ] [Nat]Added 42 Read/Feed constraints in 1485 ms returned sat
[2021-05-13 11:33:54] [INFO ] Deduced a trap composed of 5 places in 451 ms
[2021-05-13 11:33:54] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 520 ms
[2021-05-13 11:33:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 130 ms.
[2021-05-13 11:34:11] [INFO ] Added : 270 causal constraints over 54 iterations in 17755 ms. Result :unknown
[2021-05-13 11:34:11] [INFO ] [Real]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:34:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:34:12] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 11:34:12] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 11:34:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:34:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:34:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:34:12] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2021-05-13 11:34:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 791 ms returned sat
[2021-05-13 11:34:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 187 ms.
[2021-05-13 11:34:32] [INFO ] Added : 300 causal constraints over 60 iterations in 18935 ms. Result :unknown
[2021-05-13 11:34:32] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:34:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:34:32] [INFO ] [Real]Absence check using state equation in 188 ms returned sat
[2021-05-13 11:34:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:34:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:34:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:34:32] [INFO ] [Nat]Absence check using state equation in 213 ms returned sat
[2021-05-13 11:34:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 732 ms returned sat
[2021-05-13 11:34:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 208 ms.
[2021-05-13 11:34:50] [INFO ] Added : 270 causal constraints over 54 iterations in 16589 ms. Result :sat
[2021-05-13 11:34:50] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:34:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:34:50] [INFO ] [Real]Absence check using state equation in 214 ms returned sat
[2021-05-13 11:34:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:34:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:34:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:34:50] [INFO ] [Nat]Absence check using state equation in 199 ms returned sat
[2021-05-13 11:34:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 1286 ms returned sat
[2021-05-13 11:34:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 11:35:10] [INFO ] Added : 295 causal constraints over 59 iterations in 18436 ms. Result :unknown
[2021-05-13 11:35:10] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:35:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:35:10] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 11:35:10] [INFO ] [Real]Added 42 Read/Feed constraints in 38 ms returned sat
[2021-05-13 11:35:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:35:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:35:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:35:10] [INFO ] [Nat]Absence check using state equation in 199 ms returned sat
[2021-05-13 11:35:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 768 ms returned sat
[2021-05-13 11:35:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 97 ms.
[2021-05-13 11:35:30] [INFO ] Added : 305 causal constraints over 61 iterations in 18984 ms. Result :unknown
[2021-05-13 11:35:30] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:35:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:35:30] [INFO ] [Real]Absence check using state equation in 175 ms returned sat
[2021-05-13 11:35:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:35:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:35:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:35:31] [INFO ] [Nat]Absence check using state equation in 161 ms returned sat
[2021-05-13 11:35:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 612 ms returned sat
[2021-05-13 11:35:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 286 ms.
[2021-05-13 11:35:50] [INFO ] Added : 290 causal constraints over 58 iterations in 19138 ms. Result :unknown
[2021-05-13 11:35:51] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:35:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:35:51] [INFO ] [Real]Absence check using state equation in 213 ms returned sat
[2021-05-13 11:35:51] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2021-05-13 11:35:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:35:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:35:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:35:51] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 11:35:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 1227 ms returned sat
[2021-05-13 11:35:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 227 ms.
[2021-05-13 11:36:10] [INFO ] Added : 275 causal constraints over 55 iterations in 17762 ms. Result :sat
[2021-05-13 11:36:10] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:36:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:36:10] [INFO ] [Real]Absence check using state equation in 206 ms returned sat
[2021-05-13 11:36:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:36:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:36:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:36:11] [INFO ] [Nat]Absence check using state equation in 173 ms returned sat
[2021-05-13 11:36:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 1105 ms returned sat
[2021-05-13 11:36:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 11:36:24] [INFO ] Added : 240 causal constraints over 48 iterations in 12278 ms. Result :sat
[2021-05-13 11:36:24] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:36:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:36:24] [INFO ] [Real]Absence check using state equation in 193 ms returned sat
[2021-05-13 11:36:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:36:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:36:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:36:24] [INFO ] [Nat]Absence check using state equation in 148 ms returned sat
[2021-05-13 11:36:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 1216 ms returned sat
[2021-05-13 11:36:26] [INFO ] Deduced a trap composed of 5 places in 396 ms
[2021-05-13 11:36:27] [INFO ] Deduced a trap composed of 24 places in 402 ms
[2021-05-13 11:36:27] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 2 trap constraints in 855 ms
[2021-05-13 11:36:27] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:36:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:36:27] [INFO ] [Real]Absence check using state equation in 223 ms returned sat
[2021-05-13 11:36:27] [INFO ] [Real]Added 42 Read/Feed constraints in 46 ms returned sat
[2021-05-13 11:36:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:36:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:36:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:36:27] [INFO ] [Nat]Absence check using state equation in 205 ms returned sat
[2021-05-13 11:36:28] [INFO ] [Nat]Added 42 Read/Feed constraints in 784 ms returned sat
[2021-05-13 11:36:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 124 ms.
[2021-05-13 11:36:47] [INFO ] Added : 290 causal constraints over 58 iterations in 18920 ms. Result :unknown
[2021-05-13 11:36:47] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:36:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:36:47] [INFO ] [Real]Absence check using state equation in 196 ms returned sat
[2021-05-13 11:36:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:36:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:36:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:36:47] [INFO ] [Nat]Absence check using state equation in 180 ms returned sat
[2021-05-13 11:36:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 1231 ms returned sat
[2021-05-13 11:36:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 203 ms.
[2021-05-13 11:37:07] [INFO ] Added : 320 causal constraints over 64 iterations in 18519 ms. Result :unknown
[2021-05-13 11:37:07] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:37:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:37:07] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 11:37:07] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 11:37:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:37:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:37:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:37:08] [INFO ] [Nat]Absence check using state equation in 186 ms returned sat
[2021-05-13 11:37:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 814 ms returned sat
[2021-05-13 11:37:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 122 ms.
[2021-05-13 11:37:27] [INFO ] Added : 300 causal constraints over 60 iterations in 18921 ms. Result :unknown
[2021-05-13 11:37:28] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:37:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:37:28] [INFO ] [Real]Absence check using state equation in 158 ms returned sat
[2021-05-13 11:37:28] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:37:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 142 ms.
[2021-05-13 11:37:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:37:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:37:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:37:28] [INFO ] [Nat]Absence check using state equation in 182 ms returned sat
[2021-05-13 11:37:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 619 ms returned sat
[2021-05-13 11:37:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 155 ms.
[2021-05-13 11:37:48] [INFO ] Added : 300 causal constraints over 60 iterations in 19091 ms. Result :unknown
[2021-05-13 11:37:48] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:37:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:37:48] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 11:37:48] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 11:37:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:37:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:37:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:37:49] [INFO ] [Nat]Absence check using state equation in 201 ms returned sat
[2021-05-13 11:37:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 1155 ms returned sat
[2021-05-13 11:37:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 146 ms.
[2021-05-13 11:38:02] [INFO ] Added : 245 causal constraints over 49 iterations in 12068 ms. Result :sat
[2021-05-13 11:38:02] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:38:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:38:02] [INFO ] [Real]Absence check using state equation in 177 ms returned sat
[2021-05-13 11:38:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:38:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:38:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:38:02] [INFO ] [Nat]Absence check using state equation in 212 ms returned sat
[2021-05-13 11:38:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 770 ms returned sat
[2021-05-13 11:38:04] [INFO ] Deduced a trap composed of 24 places in 477 ms
[2021-05-13 11:38:04] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 489 ms
[2021-05-13 11:38:04] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:38:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:38:04] [INFO ] [Real]Absence check using state equation in 172 ms returned sat
[2021-05-13 11:38:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:38:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:38:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:38:04] [INFO ] [Nat]Absence check using state equation in 156 ms returned sat
[2021-05-13 11:38:05] [INFO ] [Nat]Added 42 Read/Feed constraints in 1086 ms returned sat
[2021-05-13 11:38:05] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 120 ms.
[2021-05-13 11:38:24] [INFO ] Added : 260 causal constraints over 52 iterations in 18665 ms. Result :sat
[2021-05-13 11:38:24] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:38:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:38:24] [INFO ] [Real]Absence check using state equation in 150 ms returned sat
[2021-05-13 11:38:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:38:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:38:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:38:24] [INFO ] [Nat]Absence check using state equation in 191 ms returned sat
[2021-05-13 11:38:24] [INFO ] [Nat]Added 42 Read/Feed constraints in 48 ms returned sat
[2021-05-13 11:38:25] [INFO ] Deduced a trap composed of 25 places in 316 ms
[2021-05-13 11:38:25] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 373 ms
[2021-05-13 11:38:25] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 184 ms.
[2021-05-13 11:38:40] [INFO ] Added : 275 causal constraints over 55 iterations in 15438 ms. Result :sat
[2021-05-13 11:38:40] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 11:38:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:38:40] [INFO ] [Real]Absence check using state equation in 139 ms returned sat
[2021-05-13 11:38:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:38:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:38:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:38:41] [INFO ] [Nat]Absence check using state equation in 142 ms returned sat
[2021-05-13 11:38:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 632 ms returned sat
[2021-05-13 11:38:41] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 101 ms.
[2021-05-13 11:39:00] [INFO ] Added : 290 causal constraints over 58 iterations in 19133 ms. Result :unknown
[2021-05-13 11:39:01] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:39:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:39:01] [INFO ] [Real]Absence check using state equation in 223 ms returned sat
[2021-05-13 11:39:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:39:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:39:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:39:01] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:39:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 1216 ms returned sat
[2021-05-13 11:39:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 197 ms.
[2021-05-13 11:39:21] [INFO ] Added : 255 causal constraints over 51 iterations in 18332 ms. Result :sat
[2021-05-13 11:39:21] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:39:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:39:21] [INFO ] [Real]Absence check using state equation in 163 ms returned sat
[2021-05-13 11:39:21] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:39:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:39:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:39:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:39:21] [INFO ] [Nat]Absence check using state equation in 125 ms returned sat
[2021-05-13 11:39:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 618 ms returned sat
[2021-05-13 11:39:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 101 ms.
[2021-05-13 11:39:41] [INFO ] Added : 305 causal constraints over 61 iterations in 19219 ms. Result :unknown
[2021-05-13 11:39:41] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:39:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:39:41] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 11:39:41] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:39:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:39:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:39:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:39:41] [INFO ] [Nat]Absence check using state equation in 176 ms returned sat
[2021-05-13 11:39:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 1202 ms returned sat
[2021-05-13 11:39:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 119 ms.
[2021-05-13 11:40:01] [INFO ] Added : 300 causal constraints over 60 iterations in 18553 ms. Result :unknown
[2021-05-13 11:40:01] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:40:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:40:02] [INFO ] [Real]Absence check using state equation in 227 ms returned sat
[2021-05-13 11:40:02] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 11:40:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 130 ms.
[2021-05-13 11:40:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:40:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:40:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:40:03] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 11:40:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 829 ms returned sat
[2021-05-13 11:40:04] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 129 ms.
[2021-05-13 11:40:21] [INFO ] Added : 300 causal constraints over 60 iterations in 17478 ms. Result :sat
[2021-05-13 11:40:21] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:40:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:40:21] [INFO ] [Real]Absence check using state equation in 182 ms returned sat
[2021-05-13 11:40:21] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:40:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:40:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:40:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:40:21] [INFO ] [Nat]Absence check using state equation in 147 ms returned sat
[2021-05-13 11:40:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 1462 ms returned sat
[2021-05-13 11:40:23] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 140 ms.
[2021-05-13 11:40:41] [INFO ] Added : 250 causal constraints over 50 iterations in 18330 ms. Result :unknown
[2021-05-13 11:40:41] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:40:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:40:42] [INFO ] [Real]Absence check using state equation in 211 ms returned sat
[2021-05-13 11:40:42] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 11:40:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:40:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 11:40:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:40:42] [INFO ] [Nat]Absence check using state equation in 190 ms returned sat
[2021-05-13 11:40:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 689 ms returned sat
[2021-05-13 11:40:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 122 ms.
[2021-05-13 11:41:00] [INFO ] Added : 295 causal constraints over 59 iterations in 17489 ms. Result :sat
[2021-05-13 11:41:00] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:41:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:41:00] [INFO ] [Real]Absence check using state equation in 192 ms returned sat
[2021-05-13 11:41:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:41:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:41:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:41:01] [INFO ] [Nat]Absence check using state equation in 222 ms returned sat
[2021-05-13 11:41:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 1343 ms returned sat
[2021-05-13 11:41:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 139 ms.
[2021-05-13 11:41:20] [INFO ] Added : 280 causal constraints over 56 iterations in 18340 ms. Result :unknown
[2021-05-13 11:41:20] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:41:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:41:21] [INFO ] [Real]Absence check using state equation in 194 ms returned sat
[2021-05-13 11:41:21] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 11:41:21] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 157 ms.
[2021-05-13 11:41:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:41:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:41:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:41:21] [INFO ] [Nat]Absence check using state equation in 183 ms returned sat
[2021-05-13 11:41:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 1425 ms returned sat
[2021-05-13 11:41:23] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 11:41:41] [INFO ] Added : 310 causal constraints over 62 iterations in 18329 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:41:41] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:41:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:41:41] [INFO ] [Real]Absence check using state equation in 167 ms returned sat
[2021-05-13 11:41:41] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:41:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:41:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:41:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:41:41] [INFO ] [Nat]Absence check using state equation in 153 ms returned sat
[2021-05-13 11:41:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 618 ms returned sat
[2021-05-13 11:41:42] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 200 ms.
[2021-05-13 11:42:01] [INFO ] Added : 290 causal constraints over 58 iterations in 19147 ms. Result :unknown
[2021-05-13 11:42:01] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:42:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:42:02] [INFO ] [Real]Absence check using state equation in 197 ms returned sat
[2021-05-13 11:42:02] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:42:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:42:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:42:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:42:02] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 11:42:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 1280 ms returned sat
[2021-05-13 11:42:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 124 ms.
[2021-05-13 11:42:22] [INFO ] Added : 255 causal constraints over 51 iterations in 18406 ms. Result :unknown
[2021-05-13 11:42:22] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:42:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:42:22] [INFO ] [Real]Absence check using state equation in 172 ms returned sat
[2021-05-13 11:42:22] [INFO ] [Real]Added 42 Read/Feed constraints in 28 ms returned sat
[2021-05-13 11:42:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:42:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:42:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:42:22] [INFO ] [Nat]Absence check using state equation in 194 ms returned sat
[2021-05-13 11:42:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 816 ms returned sat
[2021-05-13 11:42:23] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 117 ms.
[2021-05-13 11:42:37] [INFO ] Added : 265 causal constraints over 53 iterations in 13570 ms. Result :sat
[2021-05-13 11:42:37] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:42:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:42:37] [INFO ] [Real]Absence check using state equation in 172 ms returned sat
[2021-05-13 11:42:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:42:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:42:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:42:37] [INFO ] [Nat]Absence check using state equation in 225 ms returned sat
[2021-05-13 11:42:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 781 ms returned sat
[2021-05-13 11:42:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 153 ms.
[2021-05-13 11:42:53] [INFO ] Added : 230 causal constraints over 46 iterations in 14523 ms. Result :sat
[2021-05-13 11:42:53] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:42:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:42:53] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 11:42:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:42:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:42:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:42:53] [INFO ] [Nat]Absence check using state equation in 219 ms returned sat
[2021-05-13 11:42:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 831 ms returned sat
[2021-05-13 11:42:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 251 ms.
[2021-05-13 11:43:13] [INFO ] Added : 300 causal constraints over 60 iterations in 18864 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:43:13] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 11:43:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:43:13] [INFO ] [Real]Absence check using state equation in 206 ms returned sat
[2021-05-13 11:43:13] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:43:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:43:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:43:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:43:13] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 11:43:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 1383 ms returned sat
[2021-05-13 11:43:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 181 ms.
[2021-05-13 11:43:33] [INFO ] Added : 240 causal constraints over 48 iterations in 18341 ms. Result :unknown
[2021-05-13 11:43:33] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:43:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:43:33] [INFO ] [Real]Absence check using state equation in 164 ms returned sat
[2021-05-13 11:43:33] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 11:43:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:43:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:43:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:43:34] [INFO ] [Nat]Absence check using state equation in 184 ms returned sat
[2021-05-13 11:43:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 1413 ms returned sat
[2021-05-13 11:43:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 167 ms.
[2021-05-13 11:43:49] [INFO ] Added : 255 causal constraints over 51 iterations in 14030 ms. Result :sat
[2021-05-13 11:43:49] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:43:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:43:49] [INFO ] [Real]Absence check using state equation in 160 ms returned sat
[2021-05-13 11:43:49] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:43:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:43:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:43:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:43:50] [INFO ] [Nat]Absence check using state equation in 135 ms returned sat
[2021-05-13 11:43:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 618 ms returned sat
[2021-05-13 11:43:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 154 ms.
[2021-05-13 11:44:07] [INFO ] Added : 285 causal constraints over 57 iterations in 16949 ms. Result :sat
[2021-05-13 11:44:07] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:44:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:44:07] [INFO ] [Real]Absence check using state equation in 154 ms returned sat
[2021-05-13 11:44:07] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:44:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:44:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:44:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:44:08] [INFO ] [Nat]Absence check using state equation in 157 ms returned sat
[2021-05-13 11:44:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 1455 ms returned sat
[2021-05-13 11:44:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 149 ms.
[2021-05-13 11:44:22] [INFO ] Added : 245 causal constraints over 49 iterations in 12594 ms. Result :sat
[2021-05-13 11:44:22] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:44:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:44:22] [INFO ] [Real]Absence check using state equation in 168 ms returned sat
[2021-05-13 11:44:22] [INFO ] [Real]Added 42 Read/Feed constraints in 22 ms returned sat
[2021-05-13 11:44:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:44:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:44:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:44:22] [INFO ] [Nat]Absence check using state equation in 144 ms returned sat
[2021-05-13 11:44:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 1122 ms returned sat
[2021-05-13 11:44:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 180 ms.
[2021-05-13 11:44:36] [INFO ] Added : 245 causal constraints over 49 iterations in 12804 ms. Result :sat
[2021-05-13 11:44:36] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:44:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:44:37] [INFO ] [Real]Absence check using state equation in 148 ms returned sat
[2021-05-13 11:44:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:44:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:44:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:44:37] [INFO ] [Nat]Absence check using state equation in 182 ms returned sat
[2021-05-13 11:44:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 762 ms returned sat
[2021-05-13 11:44:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 91 ms.
[2021-05-13 11:44:49] [INFO ] Added : 230 causal constraints over 46 iterations in 11829 ms. Result :sat
[2021-05-13 11:44:49] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:44:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:44:50] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2021-05-13 11:44:50] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:44:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:44:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:44:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:44:50] [INFO ] [Nat]Absence check using state equation in 179 ms returned sat
[2021-05-13 11:44:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 739 ms returned sat
[2021-05-13 11:44:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 118 ms.
[2021-05-13 11:45:10] [INFO ] Added : 305 causal constraints over 61 iterations in 19014 ms. Result :unknown
[2021-05-13 11:45:10] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:45:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:45:10] [INFO ] [Real]Absence check using state equation in 159 ms returned sat
[2021-05-13 11:45:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:45:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:45:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:45:10] [INFO ] [Nat]Absence check using state equation in 154 ms returned sat
[2021-05-13 11:45:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 1591 ms returned sat
[2021-05-13 11:45:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 131 ms.
[2021-05-13 11:45:30] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (=> (> t270 0) (or (and (> t268 0) (< o268 o270)) (and (> t269 0) (< o269 o270))))") while checking expression at index 113
[2021-05-13 11:45:30] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 11:45:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:45:30] [INFO ] [Real]Absence check using state equation in 153 ms returned sat
[2021-05-13 11:45:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:45:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:45:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:45:30] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 11:45:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 1599 ms returned sat
[2021-05-13 11:45:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 11:45:50] [INFO ] Added : 245 causal constraints over 49 iterations in 18117 ms. Result :unknown
[2021-05-13 11:45:50] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:45:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:45:50] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 11:45:51] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 11:45:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:45:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 11:45:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:45:51] [INFO ] [Nat]Absence check using state equation in 219 ms returned sat
[2021-05-13 11:45:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 859 ms returned sat
[2021-05-13 11:45:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 125 ms.
[2021-05-13 11:46:11] [INFO ] Added : 300 causal constraints over 60 iterations in 18804 ms. Result :unknown
[2021-05-13 11:46:11] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:46:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:46:11] [INFO ] [Real]Absence check using state equation in 189 ms returned sat
[2021-05-13 11:46:11] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 11:46:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 83 ms.
[2021-05-13 11:46:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:46:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:46:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:46:11] [INFO ] [Nat]Absence check using state equation in 174 ms returned sat
[2021-05-13 11:46:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 1559 ms returned sat
[2021-05-13 11:46:13] [INFO ] Deduced a trap composed of 5 places in 284 ms
[2021-05-13 11:46:13] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 373 ms
[2021-05-13 11:46:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 102 ms.
[2021-05-13 11:46:29] [INFO ] Added : 260 causal constraints over 52 iterations in 15587 ms. Result :sat
[2021-05-13 11:46:29] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:46:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:46:29] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:46:29] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:46:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:46:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:46:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:46:29] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:46:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 1214 ms returned sat
[2021-05-13 11:46:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 111 ms.
[2021-05-13 11:46:49] [INFO ] Added : 305 causal constraints over 61 iterations in 18532 ms. Result :unknown
[2021-05-13 11:46:49] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:46:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:46:49] [INFO ] [Real]Absence check using state equation in 213 ms returned sat
[2021-05-13 11:46:49] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:46:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:46:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:46:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:46:50] [INFO ] [Nat]Absence check using state equation in 179 ms returned sat
[2021-05-13 11:46:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 1236 ms returned sat
[2021-05-13 11:46:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 139 ms.
[2021-05-13 11:47:09] [INFO ] Added : 260 causal constraints over 52 iterations in 17720 ms. Result :sat
[2021-05-13 11:47:09] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:47:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:47:09] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 11:47:09] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 11:47:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:47:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:47:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:47:09] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 11:47:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 823 ms returned sat
[2021-05-13 11:47:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 118 ms.
[2021-05-13 11:47:29] [INFO ] Added : 290 causal constraints over 58 iterations in 18883 ms. Result :unknown
[2021-05-13 11:47:29] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:47:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:47:29] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 11:47:29] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 11:47:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:47:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:47:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:47:30] [INFO ] [Nat]Absence check using state equation in 223 ms returned sat
[2021-05-13 11:47:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 1564 ms returned sat
[2021-05-13 11:47:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 138 ms.
[2021-05-13 11:47:49] [INFO ] Added : 260 causal constraints over 52 iterations in 18137 ms. Result :unknown
[2021-05-13 11:47:49] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:47:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:47:50] [INFO ] [Real]Absence check using state equation in 159 ms returned sat
[2021-05-13 11:47:50] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 11:47:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:47:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 11:47:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:47:50] [INFO ] [Nat]Absence check using state equation in 218 ms returned sat
[2021-05-13 11:47:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 1650 ms returned sat
[2021-05-13 11:47:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 185 ms.
[2021-05-13 11:48:05] [INFO ] Added : 225 causal constraints over 45 iterations in 13043 ms. Result :sat
[2021-05-13 11:48:05] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:48:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:48:05] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 11:48:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:48:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:48:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:48:05] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 11:48:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 818 ms returned sat
[2021-05-13 11:48:06] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 256 ms.
[2021-05-13 11:48:21] [INFO ] Added : 260 causal constraints over 52 iterations in 14981 ms. Result :sat
[2021-05-13 11:48:21] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:48:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:48:21] [INFO ] [Real]Absence check using state equation in 195 ms returned sat
[2021-05-13 11:48:21] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:48:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:48:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:48:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:48:22] [INFO ] [Nat]Absence check using state equation in 179 ms returned sat
[2021-05-13 11:48:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 729 ms returned sat
[2021-05-13 11:48:23] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 107 ms.
[2021-05-13 11:48:41] [INFO ] Added : 310 causal constraints over 62 iterations in 18983 ms. Result :unknown
[2021-05-13 11:48:42] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:48:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:48:42] [INFO ] [Real]Absence check using state equation in 192 ms returned sat
[2021-05-13 11:48:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:48:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:48:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:48:42] [INFO ] [Nat]Absence check using state equation in 159 ms returned sat
[2021-05-13 11:48:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 647 ms returned sat
[2021-05-13 11:48:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 202 ms.
[2021-05-13 11:49:01] [INFO ] Added : 280 causal constraints over 56 iterations in 18268 ms. Result :sat
[2021-05-13 11:49:01] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:49:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:49:01] [INFO ] [Real]Absence check using state equation in 189 ms returned sat
[2021-05-13 11:49:01] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:49:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:49:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:49:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:49:01] [INFO ] [Nat]Absence check using state equation in 180 ms returned sat
[2021-05-13 11:49:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 1663 ms returned sat
[2021-05-13 11:49:03] [INFO ] Deduced a trap composed of 5 places in 349 ms
[2021-05-13 11:49:03] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 409 ms
[2021-05-13 11:49:04] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 217 ms.
[2021-05-13 11:49:21] [INFO ] Added : 240 causal constraints over 48 iterations in 17728 ms. Result :unknown
[2021-05-13 11:49:21] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:49:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:49:21] [INFO ] [Real]Absence check using state equation in 155 ms returned sat
[2021-05-13 11:49:21] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 11:49:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 104 ms.
[2021-05-13 11:49:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:49:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 11:49:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:49:22] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 11:49:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 1495 ms returned sat
[2021-05-13 11:49:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 201 ms.
[2021-05-13 11:49:42] [INFO ] Added : 275 causal constraints over 55 iterations in 18210 ms. Result :unknown
[2021-05-13 11:49:42] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:49:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:49:42] [INFO ] [Real]Absence check using state equation in 220 ms returned sat
[2021-05-13 11:49:42] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 11:49:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:49:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:49:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:49:42] [INFO ] [Nat]Absence check using state equation in 187 ms returned sat
[2021-05-13 11:49:44] [INFO ] [Nat]Added 42 Read/Feed constraints in 1477 ms returned sat
[2021-05-13 11:49:44] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 183 ms.
[2021-05-13 11:50:00] [INFO ] Added : 260 causal constraints over 52 iterations in 16224 ms. Result :unknown
[2021-05-13 11:50:00] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:50:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:00] [INFO ] [Real]Absence check using state equation in 165 ms returned sat
[2021-05-13 11:50:00] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 11:50:00] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 109 ms.
[2021-05-13 11:50:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:50:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:50:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:01] [INFO ] [Nat]Absence check using state equation in 226 ms returned sat
[2021-05-13 11:50:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 1655 ms returned sat
[2021-05-13 11:50:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 189 ms.
[2021-05-13 11:50:21] [INFO ] Added : 295 causal constraints over 59 iterations in 18038 ms. Result :unknown
[2021-05-13 11:50:21] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:50:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:21] [INFO ] [Real]Absence check using state equation in 168 ms returned sat
[2021-05-13 11:50:21] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 11:50:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:50:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:50:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:21] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 11:50:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 1496 ms returned sat
[2021-05-13 11:50:23] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 11:50:41] [INFO ] Added : 270 causal constraints over 54 iterations in 18230 ms. Result :unknown
[2021-05-13 11:50:41] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:50:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:41] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 11:50:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:50:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:50:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:50:41] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2021-05-13 11:50:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 828 ms returned sat
[2021-05-13 11:50:42] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 162 ms.
[2021-05-13 11:51:01] [INFO ] Added : 295 causal constraints over 59 iterations in 18882 ms. Result :unknown
[2021-05-13 11:51:01] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:51:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:01] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 11:51:01] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:51:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:51:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:51:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:02] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 11:51:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 815 ms returned sat
[2021-05-13 11:51:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 94 ms.
[2021-05-13 11:51:15] [INFO ] Added : 255 causal constraints over 51 iterations in 12698 ms. Result :sat
[2021-05-13 11:51:15] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:51:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:16] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 11:51:16] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:51:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:51:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:51:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:16] [INFO ] [Nat]Absence check using state equation in 185 ms returned sat
[2021-05-13 11:51:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 1348 ms returned sat
[2021-05-13 11:51:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 198 ms.
[2021-05-13 11:51:36] [INFO ] Added : 285 causal constraints over 57 iterations in 18399 ms. Result :unknown
[2021-05-13 11:51:36] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:51:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:36] [INFO ] [Real]Absence check using state equation in 165 ms returned sat
[2021-05-13 11:51:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:51:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:51:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:36] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 11:51:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 743 ms returned sat
[2021-05-13 11:51:37] [INFO ] Deduced a trap composed of 24 places in 512 ms
[2021-05-13 11:51:37] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 532 ms
[2021-05-13 11:51:37] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:51:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:38] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 11:51:38] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 11:51:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:51:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:51:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:38] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 11:51:39] [INFO ] [Nat]Added 42 Read/Feed constraints in 1554 ms returned sat
[2021-05-13 11:51:40] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 197 ms.
[2021-05-13 11:51:58] [INFO ] Added : 300 causal constraints over 60 iterations in 18150 ms. Result :unknown
[2021-05-13 11:51:58] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:51:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:58] [INFO ] [Real]Absence check using state equation in 96 ms returned unsat
[2021-05-13 11:51:58] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:51:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:58] [INFO ] [Real]Absence check using state equation in 206 ms returned sat
[2021-05-13 11:51:58] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 11:51:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 108 ms.
[2021-05-13 11:51:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:51:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:51:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:51:59] [INFO ] [Nat]Absence check using state equation in 197 ms returned sat
[2021-05-13 11:52:00] [INFO ] [Nat]Added 42 Read/Feed constraints in 1400 ms returned sat
[2021-05-13 11:52:00] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 179 ms.
[2021-05-13 11:52:18] [INFO ] Added : 300 causal constraints over 60 iterations in 18325 ms. Result :unknown
[2021-05-13 11:52:18] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:52:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:52:19] [INFO ] [Real]Absence check using state equation in 152 ms returned sat
[2021-05-13 11:52:19] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 11:52:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:52:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 11:52:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:52:19] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 11:52:20] [INFO ] [Nat]Added 42 Read/Feed constraints in 813 ms returned sat
[2021-05-13 11:52:20] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 206 ms.
[2021-05-13 11:52:39] [INFO ] Added : 290 causal constraints over 58 iterations in 18870 ms. Result :unknown
[2021-05-13 11:52:39] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:52:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:52:39] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2021-05-13 11:52:39] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 11:52:39] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 172 ms.
[2021-05-13 11:52:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:52:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:52:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:52:40] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 11:52:40] [INFO ] [Nat]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 11:52:40] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 110 ms.
[2021-05-13 11:52:59] [INFO ] Added : 300 causal constraints over 60 iterations in 19701 ms. Result :unknown
[2021-05-13 11:52:59] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:52:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:53:00] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 11:53:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:53:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:53:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:53:00] [INFO ] [Nat]Absence check using state equation in 228 ms returned sat
[2021-05-13 11:53:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 1670 ms returned sat
[2021-05-13 11:53:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 217 ms.
[2021-05-13 11:53:20] [INFO ] Added : 240 causal constraints over 48 iterations in 18029 ms. Result :unknown
[2021-05-13 11:53:20] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:53:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:53:20] [INFO ] [Real]Absence check using state equation in 211 ms returned sat
[2021-05-13 11:53:20] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 11:53:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:53:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:53:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:53:20] [INFO ] [Nat]Absence check using state equation in 171 ms returned sat
[2021-05-13 11:53:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 1385 ms returned sat
[2021-05-13 11:53:22] [INFO ] Deduced a trap composed of 5 places in 326 ms
[2021-05-13 11:53:22] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 432 ms
[2021-05-13 11:53:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 120 ms.
[2021-05-13 11:53:40] [INFO ] Added : 235 causal constraints over 47 iterations in 17954 ms. Result :unknown
[2021-05-13 11:53:40] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:53:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:53:40] [INFO ] [Real]Absence check using state equation in 179 ms returned sat
[2021-05-13 11:53:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:53:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:53:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:53:40] [INFO ] [Nat]Absence check using state equation in 218 ms returned sat
[2021-05-13 11:53:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 959 ms returned sat
[2021-05-13 11:53:42] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 109 ms.
[2021-05-13 11:54:00] [INFO ] Added : 280 causal constraints over 56 iterations in 18758 ms. Result :unknown
[2021-05-13 11:54:00] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:54:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:54:01] [INFO ] [Real]Absence check using state equation in 228 ms returned sat
[2021-05-13 11:54:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:54:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:54:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:54:01] [INFO ] [Nat]Absence check using state equation in 185 ms returned sat
[2021-05-13 11:54:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 1314 ms returned sat
[2021-05-13 11:54:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 212 ms.
[2021-05-13 11:54:21] [INFO ] Added : 285 causal constraints over 57 iterations in 18435 ms. Result :unknown
[2021-05-13 11:54:21] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:54:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:54:21] [INFO ] [Real]Absence check using state equation in 218 ms returned sat
[2021-05-13 11:54:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:54:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:54:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:54:21] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 11:54:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 730 ms returned sat
[2021-05-13 11:54:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 126 ms.
[2021-05-13 11:54:41] [INFO ] Added : 285 causal constraints over 57 iterations in 19011 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:54:41] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:54:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:54:41] [INFO ] [Real]Absence check using state equation in 187 ms returned sat
[2021-05-13 11:54:41] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:54:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:54:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 11:54:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:54:41] [INFO ] [Nat]Absence check using state equation in 180 ms returned sat
[2021-05-13 11:54:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 1310 ms returned sat
[2021-05-13 11:54:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 186 ms.
[2021-05-13 11:55:01] [INFO ] Added : 270 causal constraints over 54 iterations in 18437 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:55:01] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:55:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:55:01] [INFO ] [Real]Absence check using state equation in 189 ms returned sat
[2021-05-13 11:55:01] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:55:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:55:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:55:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:55:02] [INFO ] [Nat]Absence check using state equation in 239 ms returned sat
[2021-05-13 11:55:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 1600 ms returned sat
[2021-05-13 11:55:04] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 236 ms.
[2021-05-13 11:55:21] [INFO ] Added : 245 causal constraints over 49 iterations in 18082 ms. Result :unknown
[2021-05-13 11:55:22] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:55:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:55:22] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 11:55:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:55:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2021-05-13 11:55:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:55:22] [INFO ] [Nat]Absence check using state equation in 227 ms returned sat
[2021-05-13 11:55:24] [INFO ] [Nat]Added 42 Read/Feed constraints in 1588 ms returned sat
[2021-05-13 11:55:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 124 ms.
[2021-05-13 11:55:42] [INFO ] Added : 240 causal constraints over 48 iterations in 18091 ms. Result :unknown
[2021-05-13 11:55:42] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:55:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:55:42] [INFO ] [Real]Absence check using state equation in 166 ms returned sat
[2021-05-13 11:55:42] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 11:55:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:55:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:55:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:55:42] [INFO ] [Nat]Absence check using state equation in 216 ms returned sat
[2021-05-13 11:55:44] [INFO ] [Nat]Added 42 Read/Feed constraints in 1547 ms returned sat
[2021-05-13 11:55:44] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 11:56:02] [INFO ] Added : 255 causal constraints over 51 iterations in 18162 ms. Result :unknown
[2021-05-13 11:56:02] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:56:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:56:02] [INFO ] [Real]Absence check using state equation in 167 ms returned sat
[2021-05-13 11:56:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:56:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:56:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:56:03] [INFO ] [Nat]Absence check using state equation in 216 ms returned sat
[2021-05-13 11:56:04] [INFO ] [Nat]Added 42 Read/Feed constraints in 994 ms returned sat
[2021-05-13 11:56:04] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 205 ms.
[2021-05-13 11:56:20] [INFO ] Added : 254 causal constraints over 52 iterations in 16882 ms. Result :sat
[2021-05-13 11:56:21] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:56:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:56:21] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 11:56:21] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:56:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:56:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:56:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:56:21] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 11:56:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 816 ms returned sat
[2021-05-13 11:56:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 130 ms.
[2021-05-13 11:56:41] [INFO ] Added : 300 causal constraints over 60 iterations in 18888 ms. Result :unknown
[2021-05-13 11:56:41] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:56:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:56:41] [INFO ] [Real]Absence check using state equation in 227 ms returned sat
[2021-05-13 11:56:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:56:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 11:56:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:56:41] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 11:56:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 1598 ms returned sat
[2021-05-13 11:56:43] [INFO ] Deduced a trap composed of 5 places in 494 ms
[2021-05-13 11:56:44] [INFO ] Deduced a trap composed of 24 places in 546 ms
[2021-05-13 11:56:44] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 2 trap constraints in 1115 ms
[2021-05-13 11:56:44] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:56:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:56:44] [INFO ] [Real]Absence check using state equation in 203 ms returned sat
[2021-05-13 11:56:44] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 11:56:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:56:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:56:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:56:45] [INFO ] [Nat]Absence check using state equation in 219 ms returned sat
[2021-05-13 11:56:46] [INFO ] [Nat]Added 42 Read/Feed constraints in 1564 ms returned sat
[2021-05-13 11:56:46] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 144 ms.
[2021-05-13 11:57:04] [INFO ] Added : 275 causal constraints over 55 iterations in 18135 ms. Result :unknown
[2021-05-13 11:57:04] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:57:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:57:05] [INFO ] [Real]Absence check using state equation in 159 ms returned sat
[2021-05-13 11:57:05] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 11:57:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:57:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 11:57:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:57:05] [INFO ] [Nat]Absence check using state equation in 194 ms returned sat
[2021-05-13 11:57:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 773 ms returned sat
[2021-05-13 11:57:06] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 149 ms.
[2021-05-13 11:57:25] [INFO ] Added : 285 causal constraints over 57 iterations in 18942 ms. Result :unknown
[2021-05-13 11:57:25] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:57:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:57:25] [INFO ] [Real]Absence check using state equation in 174 ms returned sat
[2021-05-13 11:57:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:57:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:57:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:57:25] [INFO ] [Nat]Absence check using state equation in 222 ms returned sat
[2021-05-13 11:57:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 792 ms returned sat
[2021-05-13 11:57:26] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 11:57:45] [INFO ] Added : 300 causal constraints over 60 iterations in 18902 ms. Result :unknown
[2021-05-13 11:57:45] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:57:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:57:45] [INFO ] [Real]Absence check using state equation in 179 ms returned sat
[2021-05-13 11:57:45] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 11:57:46] [INFO ] Deduced a trap composed of 6 places in 562 ms
[2021-05-13 11:57:46] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 635 ms
[2021-05-13 11:57:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:57:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:57:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:57:46] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 11:57:46] [INFO ] [Nat]Added 42 Read/Feed constraints in 65 ms returned sat
[2021-05-13 11:57:47] [INFO ] Deduced a trap composed of 5 places in 518 ms
[2021-05-13 11:57:47] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 581 ms
[2021-05-13 11:57:47] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 118 ms.
[2021-05-13 11:58:06] [INFO ] Added : 295 causal constraints over 59 iterations in 19103 ms. Result :unknown
[2021-05-13 11:58:06] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 11:58:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:58:06] [INFO ] [Real]Absence check using state equation in 162 ms returned sat
[2021-05-13 11:58:06] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 11:58:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:58:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:58:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:58:06] [INFO ] [Nat]Absence check using state equation in 204 ms returned sat
[2021-05-13 11:58:07] [INFO ] [Nat]Added 42 Read/Feed constraints in 794 ms returned sat
[2021-05-13 11:58:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 183 ms.
[2021-05-13 11:58:26] [INFO ] Added : 280 causal constraints over 56 iterations in 18902 ms. Result :unknown
[2021-05-13 11:58:26] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 11:58:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:58:26] [INFO ] [Real]Absence check using state equation in 165 ms returned sat
[2021-05-13 11:58:26] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 11:58:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:58:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:58:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:58:27] [INFO ] [Nat]Absence check using state equation in 206 ms returned sat
[2021-05-13 11:58:27] [INFO ] [Nat]Added 42 Read/Feed constraints in 804 ms returned sat
[2021-05-13 11:58:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 255 ms.
[2021-05-13 11:58:46] [INFO ] Added : 285 causal constraints over 57 iterations in 18878 ms. Result :unknown
[2021-05-13 11:58:46] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:58:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:58:47] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 11:58:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:58:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 11:58:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:58:47] [INFO ] [Nat]Absence check using state equation in 220 ms returned sat
[2021-05-13 11:58:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 1335 ms returned sat
[2021-05-13 11:58:48] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 120 ms.
[2021-05-13 11:59:01] [INFO ] Added : 230 causal constraints over 46 iterations in 12496 ms. Result :sat
[2021-05-13 11:59:01] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:59:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:01] [INFO ] [Real]Absence check using state equation in 163 ms returned sat
[2021-05-13 11:59:01] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 11:59:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:59:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 11:59:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:01] [INFO ] [Nat]Absence check using state equation in 213 ms returned sat
[2021-05-13 11:59:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 808 ms returned sat
[2021-05-13 11:59:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 11:59:15] [INFO ] Added : 250 causal constraints over 50 iterations in 12724 ms. Result :unknown
[2021-05-13 11:59:15] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 11:59:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:15] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 11:59:15] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 11:59:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:59:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:59:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:16] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 11:59:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 1604 ms returned sat
[2021-05-13 11:59:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 148 ms.
[2021-05-13 11:59:35] [INFO ] Added : 255 causal constraints over 51 iterations in 18109 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 11:59:35] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 11:59:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:36] [INFO ] [Real]Absence check using state equation in 177 ms returned sat
[2021-05-13 11:59:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:59:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 11:59:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:36] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 11:59:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 1471 ms returned sat
[2021-05-13 11:59:37] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 122 ms.
[2021-05-13 11:59:56] [INFO ] Added : 265 causal constraints over 53 iterations in 18229 ms. Result :unknown
[2021-05-13 11:59:56] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 11:59:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:56] [INFO ] [Real]Absence check using state equation in 221 ms returned sat
[2021-05-13 11:59:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:59:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:59:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:56] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 11:59:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 1579 ms returned sat
[2021-05-13 11:59:58] [INFO ] Deduced a trap composed of 5 places in 489 ms
[2021-05-13 11:59:59] [INFO ] Deduced a trap composed of 24 places in 491 ms
[2021-05-13 11:59:59] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 2 trap constraints in 1059 ms
[2021-05-13 11:59:59] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 11:59:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:59] [INFO ] [Real]Absence check using state equation in 197 ms returned sat
[2021-05-13 11:59:59] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 11:59:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 11:59:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 11:59:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 11:59:59] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 12:00:00] [INFO ] [Nat]Added 42 Read/Feed constraints in 808 ms returned sat
[2021-05-13 12:00:00] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 207 ms.
[2021-05-13 12:00:15] [INFO ] Added : 250 causal constraints over 50 iterations in 14776 ms. Result :sat
[2021-05-13 12:00:15] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 12:00:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:00:15] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 12:00:15] [INFO ] [Real]Added 42 Read/Feed constraints in 50 ms returned sat
[2021-05-13 12:00:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:00:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 12:00:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:00:16] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 12:00:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 829 ms returned sat
[2021-05-13 12:00:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 170 ms.
[2021-05-13 12:00:35] [INFO ] Added : 310 causal constraints over 62 iterations in 18878 ms. Result :unknown
[2021-05-13 12:00:35] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 12:00:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:00:36] [INFO ] [Real]Absence check using state equation in 165 ms returned sat
[2021-05-13 12:00:36] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 12:00:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:00:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 12:00:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:00:36] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 12:00:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 1327 ms returned sat
[2021-05-13 12:00:37] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 245 ms.
[2021-05-13 12:00:56] [INFO ] Added : 280 causal constraints over 56 iterations in 18398 ms. Result :unknown
[2021-05-13 12:00:56] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:00:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:00:56] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 12:00:56] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 12:00:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:00:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 12:00:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:00:56] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 12:00:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 1349 ms returned sat
[2021-05-13 12:00:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 225 ms.
[2021-05-13 12:01:16] [INFO ] Added : 295 causal constraints over 59 iterations in 18377 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 12:01:16] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 12:01:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:01:16] [INFO ] [Real]Absence check using state equation in 164 ms returned sat
[2021-05-13 12:01:16] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 12:01:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:01:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 12:01:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:01:16] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2021-05-13 12:01:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 807 ms returned sat
[2021-05-13 12:01:18] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 223 ms.
[2021-05-13 12:01:36] [INFO ] Added : 265 causal constraints over 53 iterations in 18346 ms. Result :sat
[2021-05-13 12:01:36] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:01:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:01:36] [INFO ] [Real]Absence check using state equation in 211 ms returned sat
[2021-05-13 12:01:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:01:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 12:01:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:01:36] [INFO ] [Nat]Absence check using state equation in 189 ms returned sat
[2021-05-13 12:01:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 624 ms returned sat
[2021-05-13 12:01:37] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 224 ms.
[2021-05-13 12:01:49] [INFO ] Added : 235 causal constraints over 47 iterations in 12289 ms. Result :sat
[2021-05-13 12:01:49] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:01:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:01:50] [INFO ] [Real]Absence check using state equation in 223 ms returned sat
[2021-05-13 12:01:50] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 12:01:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:01:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 12:01:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:01:50] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 12:01:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 774 ms returned sat
[2021-05-13 12:01:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 241 ms.
[2021-05-13 12:02:07] [INFO ] Added : 265 causal constraints over 53 iterations in 15849 ms. Result :sat
[2021-05-13 12:02:07] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 12:02:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:02:07] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 12:02:07] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 12:02:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:02:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 12:02:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:02:07] [INFO ] [Nat]Absence check using state equation in 197 ms returned sat
[2021-05-13 12:02:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 814 ms returned sat
[2021-05-13 12:02:08] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 157 ms.
[2021-05-13 12:02:26] [INFO ] Added : 270 causal constraints over 54 iterations in 17457 ms. Result :sat
[2021-05-13 12:02:26] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:02:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:02:26] [INFO ] [Real]Absence check using state equation in 233 ms returned sat
[2021-05-13 12:02:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:02:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 12:02:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:02:26] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 12:02:28] [INFO ] [Nat]Added 42 Read/Feed constraints in 1371 ms returned sat
[2021-05-13 12:02:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 190 ms.
[2021-05-13 12:02:41] [INFO ] Added : 245 causal constraints over 49 iterations in 13090 ms. Result :sat
[2021-05-13 12:02:41] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 12:02:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:02:41] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 12:02:41] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 12:02:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:02:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:02:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:02:41] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 12:02:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 1585 ms returned sat
[2021-05-13 12:02:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 194 ms.
[2021-05-13 12:02:58] [INFO ] Added : 230 causal constraints over 46 iterations in 14857 ms. Result :sat
[2021-05-13 12:02:58] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 12:02:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:02:58] [INFO ] [Real]Absence check using state equation in 183 ms returned sat
[2021-05-13 12:02:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:02:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:02:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:02:58] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 12:03:00] [INFO ] [Nat]Added 42 Read/Feed constraints in 1532 ms returned sat
[2021-05-13 12:03:00] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 12:03:18] [INFO ] Added : 270 causal constraints over 54 iterations in 18157 ms. Result :unknown
[2021-05-13 12:03:18] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 12:03:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:03:18] [INFO ] [Real]Absence check using state equation in 224 ms returned sat
[2021-05-13 12:03:18] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 12:03:19] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 116 ms.
[2021-05-13 12:03:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:03:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:03:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:03:19] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 12:03:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 65 ms returned sat
[2021-05-13 12:03:19] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 209 ms.
[2021-05-13 12:03:38] [INFO ] Added : 270 causal constraints over 54 iterations in 18441 ms. Result :unknown
[2021-05-13 12:03:38] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:03:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:03:38] [INFO ] [Real]Absence check using state equation in 236 ms returned sat
[2021-05-13 12:03:38] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 12:03:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:03:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 12:03:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:03:38] [INFO ] [Nat]Absence check using state equation in 216 ms returned sat
[2021-05-13 12:03:39] [INFO ] [Nat]Added 42 Read/Feed constraints in 821 ms returned sat
[2021-05-13 12:03:39] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 129 ms.
[2021-05-13 12:03:58] [INFO ] Added : 300 causal constraints over 60 iterations in 18851 ms. Result :unknown
[2021-05-13 12:03:58] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 12:03:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:03:58] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 12:03:58] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 12:03:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:03:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 12:03:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:03:58] [INFO ] [Nat]Absence check using state equation in 190 ms returned sat
[2021-05-13 12:03:59] [INFO ] [Nat]Added 42 Read/Feed constraints in 629 ms returned sat
[2021-05-13 12:03:59] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 12:04:15] [INFO ] Added : 280 causal constraints over 56 iterations in 15935 ms. Result :sat
[2021-05-13 12:04:15] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:04:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:04:15] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 12:04:15] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 12:04:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:04:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 12:04:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:04:16] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 12:04:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 818 ms returned sat
[2021-05-13 12:04:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 221 ms.
[2021-05-13 12:04:35] [INFO ] Added : 285 causal constraints over 57 iterations in 18881 ms. Result :unknown
[2021-05-13 12:04:36] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:04:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:04:36] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 12:04:36] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 12:04:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:04:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:04:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:04:36] [INFO ] [Nat]Absence check using state equation in 216 ms returned sat
[2021-05-13 12:04:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 709 ms returned sat
[2021-05-13 12:04:37] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 182 ms.
[2021-05-13 12:04:52] [INFO ] Added : 280 causal constraints over 56 iterations in 15032 ms. Result :sat
[2021-05-13 12:04:52] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 12:04:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:04:52] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 12:04:52] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 12:04:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:04:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:04:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:04:52] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 12:04:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 1388 ms returned sat
[2021-05-13 12:04:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 225 ms.
[2021-05-13 12:05:12] [INFO ] Added : 265 causal constraints over 53 iterations in 18321 ms. Result :unknown
[2021-05-13 12:05:12] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 12:05:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:05:12] [INFO ] [Real]Absence check using state equation in 165 ms returned sat
[2021-05-13 12:05:12] [INFO ] [Real]Added 42 Read/Feed constraints in 58 ms returned sat
[2021-05-13 12:05:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:05:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:05:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:05:13] [INFO ] [Nat]Absence check using state equation in 205 ms returned sat
[2021-05-13 12:05:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 1470 ms returned sat
[2021-05-13 12:05:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 12:05:33] [INFO ] Added : 265 causal constraints over 53 iterations in 18240 ms. Result :unknown
[2021-05-13 12:05:33] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:05:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:05:33] [INFO ] [Real]Absence check using state equation in 203 ms returned sat
[2021-05-13 12:05:33] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 12:05:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:05:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 12:05:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:05:33] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 12:05:34] [INFO ] [Nat]Added 42 Read/Feed constraints in 808 ms returned sat
[2021-05-13 12:05:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 146 ms.
[2021-05-13 12:05:53] [INFO ] Added : 320 causal constraints over 64 iterations in 18905 ms. Result :unknown
[2021-05-13 12:05:53] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 12:05:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:05:53] [INFO ] [Real]Absence check using state equation in 170 ms returned sat
[2021-05-13 12:05:53] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 12:05:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:05:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 12:05:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:05:53] [INFO ] [Nat]Absence check using state equation in 205 ms returned sat
[2021-05-13 12:05:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 1603 ms returned sat
[2021-05-13 12:05:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 235 ms.
[2021-05-13 12:06:13] [INFO ] Added : 255 causal constraints over 51 iterations in 18108 ms. Result :unknown
[2021-05-13 12:06:13] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:06:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:06:13] [INFO ] [Real]Absence check using state equation in 229 ms returned sat
[2021-05-13 12:06:13] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 12:06:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:06:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:06:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:06:14] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 12:06:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 825 ms returned sat
[2021-05-13 12:06:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 12:06:33] [INFO ] Added : 315 causal constraints over 63 iterations in 18873 ms. Result :unknown
[2021-05-13 12:06:34] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 12:06:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:06:34] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 12:06:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:06:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 12:06:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:06:34] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 12:06:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 816 ms returned sat
[2021-05-13 12:06:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 144 ms.
[2021-05-13 12:06:54] [INFO ] Added : 290 causal constraints over 58 iterations in 18909 ms. Result :unknown
[2021-05-13 12:06:54] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:06:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:06:54] [INFO ] [Real]Absence check using state equation in 173 ms returned sat
[2021-05-13 12:06:54] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2021-05-13 12:06:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:06:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 12:06:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:06:54] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 12:06:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 842 ms returned sat
[2021-05-13 12:06:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 12:07:14] [INFO ] Added : 300 causal constraints over 60 iterations in 18854 ms. Result :unknown
[2021-05-13 12:07:14] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:07:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:07:14] [INFO ] [Real]Absence check using state equation in 203 ms returned sat
[2021-05-13 12:07:14] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 12:07:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:07:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 12:07:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:07:15] [INFO ] [Nat]Absence check using state equation in 201 ms returned sat
[2021-05-13 12:07:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 1277 ms returned sat
[2021-05-13 12:07:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 150 ms.
[2021-05-13 12:07:34] [INFO ] Added : 270 causal constraints over 54 iterations in 18433 ms. Result :unknown
[2021-05-13 12:07:34] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:07:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:07:35] [INFO ] [Real]Absence check using state equation in 227 ms returned sat
[2021-05-13 12:07:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:07:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:07:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:07:35] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 12:07:36] [INFO ] [Nat]Added 42 Read/Feed constraints in 1110 ms returned sat
[2021-05-13 12:07:36] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 194 ms.
[2021-05-13 12:07:46] [INFO ] Added : 205 causal constraints over 41 iterations in 9932 ms. Result :sat
[2021-05-13 12:07:46] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 12:07:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:07:46] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 12:07:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:07:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 12:07:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:07:47] [INFO ] [Nat]Absence check using state equation in 220 ms returned sat
[2021-05-13 12:07:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 842 ms returned sat
[2021-05-13 12:07:48] [INFO ] Deduced a trap composed of 25 places in 485 ms
[2021-05-13 12:07:49] [INFO ] Deduced a trap composed of 26 places in 465 ms
[2021-05-13 12:07:49] [INFO ] Deduced a trap composed of 24 places in 472 ms
[2021-05-13 12:07:49] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 3 trap constraints in 1580 ms
[2021-05-13 12:07:49] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 12:07:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:07:49] [INFO ] [Real]Absence check using state equation in 200 ms returned sat
[2021-05-13 12:07:49] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 12:07:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:07:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 12:07:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:07:50] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 12:07:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 641 ms returned sat
[2021-05-13 12:07:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 12:08:09] [INFO ] Added : 275 causal constraints over 55 iterations in 19074 ms. Result :unknown
[2021-05-13 12:08:09] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:08:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:08:10] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 12:08:10] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 12:08:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:08:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:08:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:08:10] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 12:08:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 1411 ms returned sat
[2021-05-13 12:08:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 180 ms.
[2021-05-13 12:08:30] [INFO ] Added : 270 causal constraints over 54 iterations in 18300 ms. Result :unknown
[2021-05-13 12:08:30] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 12:08:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:08:30] [INFO ] [Real]Absence check using state equation in 171 ms returned sat
[2021-05-13 12:08:30] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 12:08:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:08:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 12:08:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:08:30] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 12:08:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 803 ms returned sat
[2021-05-13 12:08:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 144 ms.
[2021-05-13 12:08:49] [INFO ] Added : 270 causal constraints over 54 iterations in 17848 ms. Result :sat
[2021-05-13 12:08:49] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:08:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:08:49] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 12:08:49] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 12:08:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:08:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 12:08:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:08:50] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 12:08:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 829 ms returned sat
[2021-05-13 12:08:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 141 ms.
[2021-05-13 12:09:09] [INFO ] Added : 265 causal constraints over 53 iterations in 18864 ms. Result :unknown
[2021-05-13 12:09:09] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:09:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:09:10] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 12:09:10] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 12:09:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:09:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 12:09:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:09:10] [INFO ] [Nat]Absence check using state equation in 170 ms returned sat
[2021-05-13 12:09:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 1094 ms returned sat
[2021-05-13 12:09:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 134 ms.
[2021-05-13 12:09:30] [INFO ] Added : 285 causal constraints over 57 iterations in 18662 ms. Result :unknown
[2021-05-13 12:09:30] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 12:09:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 12:09:30] [INFO ] [Real]Absence check using state equation in 220 ms returned sat
[2021-05-13 12:09:30] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 12:09:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 12:09:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 12:09:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 12:09:30] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 12:09:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 798 ms returned sat
[2021-05-13 12:09:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 138 ms.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
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="BridgeAndVehicles-PT-V80P50N20"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="gold2020"
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-4028"
echo " Executing tool gold2020"
echo " Input is BridgeAndVehicles-PT-V80P50N20, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r035-tajo-162038167700078"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N20.tgz
mv BridgeAndVehicles-PT-V80P50N20 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;