About the Execution of GreatSPN+red for Anderson-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5393.544 | 663496.00 | 1539806.00 | 1107.00 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r012-smll-171620124200238.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is Anderson-PT-12, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r012-smll-171620124200238
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 7.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 22 14:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 22 14:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 19 07:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 17:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 180K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 2.1M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1716270284725
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Anderson-PT-12
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-21 05:44:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-05-21 05:44:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 05:44:47] [INFO ] Load time of PNML (sax parser for PT used): 663 ms
[2024-05-21 05:44:47] [INFO ] Transformed 889 places.
[2024-05-21 05:44:47] [INFO ] Transformed 4152 transitions.
[2024-05-21 05:44:47] [INFO ] Found NUPN structural information;
[2024-05-21 05:44:48] [INFO ] Parsed PT model containing 889 places and 4152 transitions and 16080 arcs in 935 ms.
RANDOM walk for 40000 steps (8 resets) in 4779 ms. (8 steps per ms) remains 120/889 properties
BEST_FIRST walk for 404 steps (8 resets) in 19 ms. (20 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 14 ms. (26 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 20 ms. (19 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 16 ms. (23 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 16 ms. (23 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 29 ms. (13 steps per ms) remains 120/120 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 120/120 properties
// Phase 1: matrix 4152 rows 889 cols
[2024-05-21 05:44:50] [INFO ] Computed 27 invariants in 185 ms
[2024-05-21 05:44:50] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/120 variables, 120/120 constraints. Problems are: Problem set: 0 solved, 120 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/120 variables, 0/120 constraints. Problems are: Problem set: 0 solved, 120 unsolved
At refinement iteration 2 (OVERLAPS) 740/860 variables, 12/132 constraints. Problems are: Problem set: 0 solved, 120 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/860 variables, 740/872 constraints. Problems are: Problem set: 0 solved, 120 unsolved
Error getting values : (error "ParserException while parsing response: ((s29 (/ 1.0 20.0))
(s30 (/ 1.0 20.0))
(s31 (/ 1.0 20.0))
(s32 (/ 1.0 20.0))
(s33 (/ 1.0 20.0))
(s34 (/ 1.0 20.0))
(s35 (/ 1.0 20.0))
(s36 (/ 1.0 20.0))
(s37 0.0)
(s38 0.0)
(s39 (/ 1.0 2.0))
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 0.0)
(s98 0.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 0.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 0.0)
(s132 0.0)
(s133 0.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 0.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 0.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 0.0)
(s170 0.0)
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 0.0)
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 (/ 1.0 20.0))
(s195 (/ 1.0 20.0))
(s196 (/ 1.0 20.0))
(s197 (/ 1.0 20.0))
(s198 (/ 1.0 20.0))
(s199 (/ 1.0 20.0))
(s200 (/ 1.0 20.0))
(s201 (/ 1.0 20.0))
(s202 (/ 1.0 20.0))
(s203 (/ 1.0 20.0))
(s204 0.0)
(s205 0.0)
(s206 0.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 (/ 11.0 20.0))
(s211 0.0)
(s212 0.0)
(s213 0.0)
(s214 0.0)
(s215 0.0)
(s216 0.0)
(s217 0.0)
(s218 (/ 1.0 20.0))
(s219 (/ 1.0 20.0))
(s220 (/ 1.0 20.0))
(s221 (/ 1.0 20.0))
(s222 (/ 1.0 20.0))
(s223 (/ 1.0 20.0))
(s224 (/ 1.0 20.0))
(s225 (/ 1.0 20.0))
(s226 (/ 1.0 20.0))
(s227 0.0)
(s228 0.0)
(s229 0.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 0.0)
(s234 0.0)
(s235 0.0)
(s236 (/ 1.0 2.0))
(s237 0.0)
(s238 0.0)
(s239 0.0)
(s240 (/ 1.0 20.0))
(s241 (/ 1.0 20.0))
(s242 (/ 1.0 20.0))
(s243 (/ 1.0 20.0))
(s244 (/ 1.0 20.0))
(s245 (/ 1.0 20.0))
(s246 (/ 1.0 20.0))
(s247 (/ 1.0 20.0))
(s248 (/ 1.0 20.0))
(s249 (/ 1.0 20.0))
(s250 0.0)
(s251 0.0)
(s252 0.0)
(s253 0.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s259 0.0)
(s260 0.0)
(s261 0.0)
(s262 0.0)
(s263 (/ 1.0 20.0))
(s264 (/ 1.0 20.0))
(s265 (/ 1.0 20.0))
(s266 (/ 1.0 20.0))
(s267 (/ 1.0 20.0))
(s268 (/ 1.0 20.0))
(s269 (/ 1.0 20.0))
(s270 (/ 1.0 20.0))
(s271 (/ 1.0 20.0))
(s272 (/ 1.0 20.0))
(s273 0.0)
(s274 (/ 11.0 20.0))
(s275 0.0)
(s276 0.0)
(s277 0.0)
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 (/ 1.0 20.0))
(s288 (/ 1.0 20.0))
(s289 (/ 1.0 20.0))
(s290 (/ 1.0 20.0))
(s291 (/ 1.0 20.0))
(s292 (/ 1.0 20.0))
(s293 (/ 1.0 20.0))
(s294 (/ 1.0 20.0))
(s295 (/ 1.0 20.0))
(s296 0.0)
(s297 0.0)
(s298 0.0)
(s299 0.0)
(s300 0.0)
(s301 0.0)
(s302 0.0)
(s303 0.0)
(s304 0.0)
(s305 0.0)
(s306 0.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 (/ 1.0 20.0))
(s311 (/ 1.0 20.0))
(s312 (/ 1.0 20.0))
(s313 (/ 1.0 20.0))
(s314 (/ 1.0 20.0))
(s315 (/ 1.0 20.0))
(s316 (/ 1.0 20.0))
(s317 (/ 1.0 20.0))
(s318 (/ 1.0 20.0))
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 (/ 1.0 20.0))
(s332 (/ 1.0 20.0))
(s333 0.0)
(s334 (/ 1.0 20.0))
(s335 (/ 1.0 20.0))
(s336 (/ 1.0 20.0))
(s337 (/ 1.0 20.0))
(s338 (/ 1.0 20.0))
(s339 (/ 1.0 20.0))
(s340 (/ 1.0 20.0))
(s341 (/ 1.0 20.0))
(s342 0.0)
(s343 0.0)
(s344 0.0)
(s345 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 0.0)
(s356 (/ 1.0 20.0))
(s357 (/ 1.0 20.0))
(s358 (/ 1.0 20.0))
(s359 (/ 1.0 20.0))
(s360 (/ 1.0 20.0))
(s361 (/ 1.0 20.0))
(s362 (/ 1.0 20.0))
(s363 (/ 1.0 20.0))
(s364 (/ 1.0 20.0))
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s370 0.0)
(s371 0.0)
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 0.0)
(s378 (/ 1.0 20.0))
(s379 0.0)
(s380 (/ 1.0 20.0))
(s381 (/ 1.0 20.0))
(s382 (/ 1.0 20.0))
(s383 (/ 1.0 20.0))
(s384 (/ 1.0 20.0))
(s385 (/ 1.0 20.0))
(s386 (/ 1.0 20.0))
(s387 (/ 1.0 20.0))
(s388 0.0)
(s389 0.0)
(s390 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 0.0)
(s396 0.0)
(s397 0.0)
(s398 0.0)
(s399 0.0)
(s400 0.0)
(s401 0.0)
(s402 (/ 1.0 20.0))
(s403 (/ 1.0 20.0))
(s404 (/ 1.0 20.0))
(s405 (/ 1.0 20.0))
(s406 (/ 1.0 20.0))
(s407 (/ 1.0 20.0))
(s408 (/ 1.0 20.0))
(s409 (/ 1.0 20.0))
(s410 (/ 1.0 20.0))
(s411 0.0)
(s412 0.0)
(s413 0.0)
(s414 0.0)
(s415 0.0)
(s416 0.0)
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s420 0.0)
(s421 0.0)
(s422 0.0)
(s423 0.0)
(s424 0.0)
(s425 (/ 1.0 20.0))
(s426 (/ 1.0 20.0))
(s427 (/ 1.0 20.0))
(s428 (/ 1.0 20.0))
(s429 (/ 1.0 20.0))
(s430 (/ 1.0 20.0))
(s431 (/ 1.0 20.0))
(s432 (/ 1.0 20.0))
(s433 (/ 1.0 20.0))
(s434 0.0)
(s435 0.0)
(s436 0.0)
(s437 0.0)
(s438 0.0)
(s439 0.0)
(s440 0.0)
(s441 0.0)
(s442 0.0)
(s443 0.0)
(s444 0.0)
(s445 0.0)
(s446 0.0)
(s447 0.0)
(s448 (/ 1.0 20.0))
(s449 (/ 3.0 5.0))
(s450 (/ 1.0 20.0))
(s451 (/ 1.0 20.0))
(s452 (/ 1.0 20.0))
(s453 (/ 1.0 20.0))
(s454 (/ 1.0 20.0))
(s455 (/ 1.0 20.0))
(s456 (/ 1.0 20.0))
(s457 0.0)
(s458 0.0)
(s459 0.0)
(s460 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s465 0.0)
(s466 0.0)
(s467 0.0)
(s468 0.0)
(s469 0.0)
(s470 0.0)
(s471 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s475 0.0)
(s476 0.0)
(s477 0.0)
(s478 0.0)
(s479 0.0)
(s480 0.0)
(s481 0.0)
(s482 0.0)
(s483 0.0)
(s484 0.0)
(s485 0.0)
(s486 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s490 0.0)
(s491 0.0)
(s492 0.0)
(s493 0.0)
(s494 0.0)
(s495 0.0)
(s496 0.0)
(s497 0.0)
(s498 0.0)
(s499 0.0)
(s500 0.0)
(s501 0.0)
(s502 0.0)
(s503 0.0)
(s504 (/ 1.0 2.0))
(s505 0.0)
(s506 0.0)
(s507 0.0)
(s508 0.0)
(s509 0.0)
(s510 0.0)
(s511 0.0)
(s512 0.0)
(s513 0.0)
(s514 0.0)
(s515 0.0)
(s516 0.0)
(s517 0.0)
(s518 0.0)
(s519 0.0)
(s520 0.0)
(s521 0.0)
(s522 0.0)
(s523 0.0)
(s524 0.0)
(s525 0.0)
(s526 0.0)
(s527 0.0)
(s528 0.0)
(s529 0.0)
(s530 0.0)
(s531 0.0)
(s532 0.0)
(s533 0.0)
(s534 0.0)
(s535 0.0)
(s536 0.0)
(s537 0.0)
(s538 0.0)
(s539 0.0)
(s540 0.0)
(s541 0.0)
(s542 0.0)
(s543 0.0)
(s544 0.0)
(s545 0.0)
(s546 0.0)
(s547 0.0)
(s548 0.0)
(s549 0.0)
(s550 (/ 11.0 20.0))
(s551 0.0)
(s552 0.0)
(s553 0.0)
(s554 0.0)
(s555 0.0)
(s556 0.0)
(s557 0.0)
(s558 0.0)
(s559 0.0)
(s560 0.0)
(s561 0.0)
(s562 0.0)
(s563 0.0)
(s564 0.0)
(s565 0.0)
(s566 0.0)
(s567 0.0)
(s568 0.0)
(s569 (/ 11.0 20.0))
(s570 0.0)
(s571 0.0)
(s572 0.0)
(s573 0.0)
(s574 0.0)
(s575 0.0)
(s576 0.0)
(s577 0.0)
(s578 0.0)
(s579 0.0)
(s580 0.0)
(s581 0.0)
(s582 0.0)
(s583 0.0)
(s584 0.0)
(s585 0.0)
(s586 0.0)
(s587 0.0)
(s588 0.0)
(s589 0.0)
(s590 0.0)
(s591 0.0)
(s592 0.0)
(s593 0.0)
(s594 0.0)
(s595 0.0)
(s596 0.0)
(s597 0.0)
(s598 0.0)timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 860/5041 variables, and 872 constraints, problems are : Problem set: 0 solved, 120 unsolved in 5083 ms.
Refiners :[Domain max(s): 860/889 constraints, Positive P Invariants (semi-flows): 12/13 constraints, Generalized P Invariants (flows): 0/14 constraints, State Equation: 0/889 constraints, ReadFeed: 0/132 constraints, PredecessorRefiner: 120/120 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 120 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/120 variables, 120/120 constraints. Problems are: Problem set: 0 solved, 120 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/120 variables, 0/120 constraints. Problems are: Problem set: 0 solved, 120 unsolved
At refinement iteration 2 (OVERLAPS) 740/860 variables, 12/132 constraints. Problems are: Problem set: 0 solved, 120 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/860 variables, 740/872 constraints. Problems are: Problem set: 0 solved, 120 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 860/5041 variables, and 872 constraints, problems are : Problem set: 0 solved, 120 unsolved in 5034 ms.
Refiners :[Domain max(s): 860/889 constraints, Positive P Invariants (semi-flows): 12/13 constraints, Generalized P Invariants (flows): 0/14 constraints, State Equation: 0/889 constraints, ReadFeed: 0/132 constraints, PredecessorRefiner: 0/120 constraints, Known Traps: 0/0 constraints]
After SMT, in 10835ms problems are : Problem set: 0 solved, 120 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 120 out of 889 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 889/889 places, 4152/4152 transitions.
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 20 Pre rules applied. Total rules applied 0 place count 889 transition count 4132
Deduced a syphon composed of 20 places in 9 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 0 with 40 rules applied. Total rules applied 40 place count 869 transition count 4132
Discarding 152 places :
Symmetric choice reduction at 0 with 152 rule applications. Total rules 192 place count 717 transition count 1076
Iterating global reduction 0 with 152 rules applied. Total rules applied 344 place count 717 transition count 1076
Performed 112 Post agglomeration using F-continuation condition.Transition count delta: 112
Deduced a syphon composed of 112 places in 4 ms
Reduce places removed 112 places and 0 transitions.
Iterating global reduction 0 with 224 rules applied. Total rules applied 568 place count 605 transition count 964
Applied a total of 568 rules in 687 ms. Remains 605 /889 variables (removed 284) and now considering 964/4152 (removed 3188) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 714 ms. Remains : 605/889 places, 964/4152 transitions.
RANDOM walk for 4000000 steps (8 resets) in 51621 ms. (77 steps per ms) remains 84/120 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3162 ms. (126 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2127 ms. (187 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2164 ms. (184 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2176 ms. (183 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2365 ms. (169 steps per ms) remains 84/84 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2403 ms. (166 steps per ms) remains 83/84 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2478 ms. (161 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2112 ms. (189 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2241 ms. (178 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2105 ms. (189 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2094 ms. (190 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2460 ms. (162 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2928 ms. (136 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2835 ms. (141 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2422 ms. (165 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2588 ms. (154 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2626 ms. (152 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2154 ms. (185 steps per ms) remains 83/83 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2110 ms. (189 steps per ms) remains 82/83 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2104 ms. (190 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2112 ms. (189 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2447 ms. (163 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2365 ms. (169 steps per ms) remains 81/82 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2732 ms. (146 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2677 ms. (149 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2549 ms. (156 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2730 ms. (146 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2868 ms. (139 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2655 ms. (150 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2224 ms. (179 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2082 ms. (192 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2096 ms. (190 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2065 ms. (193 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2074 ms. (192 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2090 ms. (191 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2092 ms. (191 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2115 ms. (189 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2120 ms. (188 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2714 ms. (147 steps per ms) remains 81/81 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2073 ms. (192 steps per ms) remains 80/81 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2054 ms. (194 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2069 ms. (193 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2075 ms. (192 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2058 ms. (194 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2053 ms. (194 steps per ms) remains 79/80 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2109 ms. (189 steps per ms) remains 79/79 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2062 ms. (193 steps per ms) remains 79/79 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2084 ms. (191 steps per ms) remains 78/79 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2420 ms. (165 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2042 ms. (195 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2043 ms. (195 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2060 ms. (194 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2086 ms. (191 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2233 ms. (179 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2261 ms. (176 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2063 ms. (193 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2127 ms. (187 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2077 ms. (192 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2059 ms. (194 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2044 ms. (195 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2145 ms. (186 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2374 ms. (168 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2120 ms. (188 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2058 ms. (194 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2137 ms. (187 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2558 ms. (156 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2073 ms. (192 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2066 ms. (193 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2050 ms. (195 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2410 ms. (165 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2076 ms. (192 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2056 ms. (194 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2062 ms. (193 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2054 ms. (194 steps per ms) remains 77/78 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2055 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2051 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2045 ms. (195 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2053 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2032 ms. (196 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2060 ms. (194 steps per ms) remains 77/77 properties
// Phase 1: matrix 964 rows 605 cols
[2024-05-21 05:46:05] [INFO ] Computed 27 invariants in 36 ms
[2024-05-21 05:46:05] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/77 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 1 (OVERLAPS) 503/580 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/580 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 3 (OVERLAPS) 12/592 variables, 1/14 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/592 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 5 (OVERLAPS) 13/605 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/605 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 7 (OVERLAPS) 964/1569 variables, 605/632 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1569 variables, 132/764 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1569 variables, 0/764 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 10 (OVERLAPS) 0/1569 variables, 0/764 constraints. Problems are: Problem set: 0 solved, 77 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1569/1569 variables, and 764 constraints, problems are : Problem set: 0 solved, 77 unsolved in 16093 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 605/605 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 77/77 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 77 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/77 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 1 (OVERLAPS) 503/580 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 77 unsolved
[2024-05-21 05:46:22] [INFO ] Deduced a trap composed of 504 places in 728 ms of which 99 ms to minimize.
[2024-05-21 05:46:23] [INFO ] Deduced a trap composed of 527 places in 668 ms of which 12 ms to minimize.
[2024-05-21 05:46:24] [INFO ] Deduced a trap composed of 510 places in 683 ms of which 11 ms to minimize.
[2024-05-21 05:46:24] [INFO ] Deduced a trap composed of 493 places in 767 ms of which 9 ms to minimize.
[2024-05-21 05:46:25] [INFO ] Deduced a trap composed of 499 places in 617 ms of which 8 ms to minimize.
[2024-05-21 05:46:26] [INFO ] Deduced a trap composed of 515 places in 590 ms of which 9 ms to minimize.
[2024-05-21 05:46:26] [INFO ] Deduced a trap composed of 507 places in 619 ms of which 8 ms to minimize.
[2024-05-21 05:46:27] [INFO ] Deduced a trap composed of 493 places in 479 ms of which 7 ms to minimize.
[2024-05-21 05:46:27] [INFO ] Deduced a trap composed of 520 places in 473 ms of which 5 ms to minimize.
[2024-05-21 05:46:28] [INFO ] Deduced a trap composed of 502 places in 611 ms of which 9 ms to minimize.
[2024-05-21 05:46:28] [INFO ] Deduced a trap composed of 505 places in 531 ms of which 6 ms to minimize.
[2024-05-21 05:46:29] [INFO ] Deduced a trap composed of 503 places in 527 ms of which 6 ms to minimize.
[2024-05-21 05:46:30] [INFO ] Deduced a trap composed of 502 places in 567 ms of which 8 ms to minimize.
[2024-05-21 05:46:30] [INFO ] Deduced a trap composed of 501 places in 532 ms of which 8 ms to minimize.
[2024-05-21 05:46:31] [INFO ] Deduced a trap composed of 523 places in 485 ms of which 6 ms to minimize.
[2024-05-21 05:46:31] [INFO ] Deduced a trap composed of 534 places in 537 ms of which 7 ms to minimize.
[2024-05-21 05:46:32] [INFO ] Deduced a trap composed of 512 places in 616 ms of which 8 ms to minimize.
[2024-05-21 05:46:32] [INFO ] Deduced a trap composed of 518 places in 598 ms of which 8 ms to minimize.
[2024-05-21 05:46:33] [INFO ] Deduced a trap composed of 516 places in 668 ms of which 9 ms to minimize.
[2024-05-21 05:46:34] [INFO ] Deduced a trap composed of 502 places in 573 ms of which 9 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/580 variables, 20/33 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/580 variables, 0/33 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 4 (OVERLAPS) 12/592 variables, 1/34 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/592 variables, 0/34 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 6 (OVERLAPS) 13/605 variables, 13/47 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/605 variables, 0/47 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 8 (OVERLAPS) 964/1569 variables, 605/652 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1569 variables, 132/784 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1569 variables, 77/861 constraints. Problems are: Problem set: 0 solved, 77 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1569 variables, 0/861 constraints. Problems are: Problem set: 0 solved, 77 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1569/1569 variables, and 861 constraints, problems are : Problem set: 0 solved, 77 unsolved in 45019 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 605/605 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 77/77 constraints, Known Traps: 20/20 constraints]
After SMT, in 61204ms problems are : Problem set: 0 solved, 77 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 77 out of 605 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 605/605 places, 964/964 transitions.
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Deduced a syphon composed of 40 places in 2 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 0 with 80 rules applied. Total rules applied 80 place count 565 transition count 924
Applied a total of 80 rules in 62 ms. Remains 565 /605 variables (removed 40) and now considering 924/964 (removed 40) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 63 ms. Remains : 565/605 places, 924/964 transitions.
RANDOM walk for 4000000 steps (8 resets) in 44117 ms. (90 steps per ms) remains 76/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3067 ms. (130 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3782 ms. (105 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3603 ms. (110 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3237 ms. (123 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3583 ms. (111 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3628 ms. (110 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3680 ms. (108 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3905 ms. (102 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3534 ms. (113 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3400 ms. (117 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3549 ms. (112 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4141 ms. (96 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4079 ms. (98 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3655 ms. (109 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3793 ms. (105 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3602 ms. (111 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3763 ms. (106 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 4351 ms. (91 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3696 ms. (108 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4236 ms. (94 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4248 ms. (94 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3641 ms. (109 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400000 steps (8 resets) in 3437 ms. (116 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3475 ms. (115 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3490 ms. (114 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3563 ms. (112 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3983 ms. (100 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4041 ms. (98 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4200 ms. (95 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3233 ms. (123 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3880 ms. (103 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4268 ms. (93 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4405 ms. (90 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 4161 ms. (96 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3560 ms. (112 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3651 ms. (109 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 4182 ms. (95 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3644 ms. (109 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3728 ms. (107 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4138 ms. (96 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3912 ms. (102 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3850 ms. (103 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3357 ms. (119 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3558 ms. (112 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3680 ms. (108 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3703 ms. (107 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4373 ms. (91 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3583 ms. (111 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400000 steps (8 resets) in 3551 ms. (112 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3577 ms. (111 steps per ms) remains 76/76 properties
Interrupted probabilistic random walk after 10428976 steps, run timeout after 231001 ms. (steps per millisecond=45 ) properties seen :71 out of 76
Probabilistic random walk after 10428976 steps, saw 7018455 distinct states, run finished after 231009 ms. (steps per millisecond=45 ) properties seen :71
// Phase 1: matrix 924 rows 565 cols
[2024-05-21 05:52:15] [INFO ] Computed 27 invariants in 10 ms
[2024-05-21 05:52:15] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/5 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 524/529 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/529 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 11/540 variables, 11/13 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/540 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 25/565 variables, 14/27 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/565 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (OVERLAPS) 924/1489 variables, 565/592 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1489 variables, 132/724 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1489 variables, 0/724 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (OVERLAPS) 0/1489 variables, 0/724 constraints. Problems are: Problem set: 0 solved, 5 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1489/1489 variables, and 724 constraints, problems are : Problem set: 0 solved, 5 unsolved in 1074 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 14/14 constraints, State Equation: 565/565 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 524/529 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/529 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 11/540 variables, 11/13 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/540 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 25/565 variables, 14/27 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/565 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (OVERLAPS) 924/1489 variables, 565/592 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1489 variables, 132/724 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1489 variables, 5/729 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1489 variables, 0/729 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (OVERLAPS) 0/1489 variables, 0/729 constraints. Problems are: Problem set: 0 solved, 5 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1489/1489 variables, and 729 constraints, problems are : Problem set: 0 solved, 5 unsolved in 2960 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 14/14 constraints, State Equation: 565/565 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints]
After SMT, in 4062ms problems are : Problem set: 0 solved, 5 unsolved
Parikh walk visited 0 properties in 1011 ms.
Support contains 5 out of 565 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 565/565 places, 924/924 transitions.
Performed 67 Post agglomeration using F-continuation condition.Transition count delta: 67
Deduced a syphon composed of 67 places in 2 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 0 with 134 rules applied. Total rules applied 134 place count 498 transition count 857
Applied a total of 134 rules in 60 ms. Remains 498 /565 variables (removed 67) and now considering 857/924 (removed 67) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 60 ms. Remains : 498/565 places, 857/924 transitions.
RANDOM walk for 4000000 steps (8 resets) in 31263 ms. (127 steps per ms) remains 5/5 properties
BEST_FIRST walk for 3495497 steps (7 resets) in 15476 ms. (225 steps per ms) remains 4/5 properties
BEST_FIRST walk for 3944613 steps (8 resets) in 14839 ms. (265 steps per ms) remains 4/4 properties
BEST_FIRST walk for 4000003 steps (8 resets) in 14635 ms. (273 steps per ms) remains 4/4 properties
BEST_FIRST walk for 3713657 steps (8 resets) in 14922 ms. (248 steps per ms) remains 4/4 properties
BEST_FIRST walk for 3946734 steps (8 resets) in 15038 ms. (262 steps per ms) remains 4/4 properties
// Phase 1: matrix 857 rows 498 cols
[2024-05-21 05:52:54] [INFO ] Computed 27 invariants in 10 ms
[2024-05-21 05:52:54] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 458/462 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/462 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (OVERLAPS) 23/485 variables, 12/14 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/485 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (OVERLAPS) 13/498 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/498 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 7 (OVERLAPS) 857/1355 variables, 498/525 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1355 variables, 132/657 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1355 variables, 0/657 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 10 (OVERLAPS) 0/1355 variables, 0/657 constraints. Problems are: Problem set: 0 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1355/1355 variables, and 657 constraints, problems are : Problem set: 0 solved, 4 unsolved in 932 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 498/498 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 4/4 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 458/462 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/462 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (OVERLAPS) 23/485 variables, 12/14 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/485 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (OVERLAPS) 13/498 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/498 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 7 (OVERLAPS) 857/1355 variables, 498/525 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1355 variables, 132/657 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1355 variables, 4/661 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1355 variables, 0/661 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 11 (OVERLAPS) 0/1355 variables, 0/661 constraints. Problems are: Problem set: 0 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1355/1355 variables, and 661 constraints, problems are : Problem set: 0 solved, 4 unsolved in 2326 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 498/498 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 4/4 constraints, Known Traps: 0/0 constraints]
After SMT, in 3287ms problems are : Problem set: 0 solved, 4 unsolved
Parikh walk visited 0 properties in 635 ms.
Support contains 4 out of 498 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 498/498 places, 857/857 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 497 transition count 856
Applied a total of 2 rules in 45 ms. Remains 497 /498 variables (removed 1) and now considering 856/857 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 45 ms. Remains : 497/498 places, 856/857 transitions.
RANDOM walk for 4000000 steps (8 resets) in 30757 ms. (130 steps per ms) remains 4/4 properties
BEST_FIRST walk for 3958410 steps (8 resets) in 14463 ms. (273 steps per ms) remains 4/4 properties
BEST_FIRST walk for 3902549 steps (8 resets) in 15173 ms. (257 steps per ms) remains 4/4 properties
BEST_FIRST walk for 3883145 steps (8 resets) in 13785 ms. (281 steps per ms) remains 4/4 properties
BEST_FIRST walk for 3865933 steps (8 resets) in 15105 ms. (255 steps per ms) remains 4/4 properties
Interrupted probabilistic random walk after 11591639 steps, run timeout after 96001 ms. (steps per millisecond=120 ) properties seen :3 out of 4
Probabilistic random walk after 11591639 steps, saw 7475991 distinct states, run finished after 96001 ms. (steps per millisecond=120 ) properties seen :3
// Phase 1: matrix 856 rows 497 cols
[2024-05-21 05:55:06] [INFO ] Computed 27 invariants in 16 ms
[2024-05-21 05:55:06] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 460/461 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/461 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 23/484 variables, 12/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/484 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 13/497 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/497 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 856/1353 variables, 497/524 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1353 variables, 132/656 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1353 variables, 0/656 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 0/1353 variables, 0/656 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1353/1353 variables, and 656 constraints, problems are : Problem set: 0 solved, 1 unsolved in 719 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 497/497 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 460/461 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/461 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 23/484 variables, 12/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/484 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 13/497 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/497 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 856/1353 variables, 497/524 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1353 variables, 132/656 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1353 variables, 1/657 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1353 variables, 0/657 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 0/1353 variables, 0/657 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1353/1353 variables, and 657 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1228 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 497/497 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
After SMT, in 1984ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 16 ms.
Support contains 1 out of 497 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 497/497 places, 856/856 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 6 place count 494 transition count 853
Applied a total of 6 rules in 60 ms. Remains 494 /497 variables (removed 3) and now considering 853/856 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 60 ms. Remains : 494/497 places, 853/856 transitions.
RANDOM walk for 4000000 steps (8 resets) in 15030 ms. (266 steps per ms) remains 1/1 properties
BEST_FIRST walk for 4000001 steps (8 resets) in 6888 ms. (580 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 2898880 steps, run timeout after 15001 ms. (steps per millisecond=193 ) properties seen :0 out of 1
Probabilistic random walk after 2898880 steps, saw 1894585 distinct states, run finished after 15001 ms. (steps per millisecond=193 ) properties seen :0
// Phase 1: matrix 853 rows 494 cols
[2024-05-21 05:55:29] [INFO ] Computed 27 invariants in 19 ms
[2024-05-21 05:55:29] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 457/458 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/458 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 23/481 variables, 12/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/481 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 13/494 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/494 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 853/1347 variables, 494/521 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1347 variables, 132/653 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1347 variables, 0/653 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 0/1347 variables, 0/653 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1347/1347 variables, and 653 constraints, problems are : Problem set: 0 solved, 1 unsolved in 682 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 494/494 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 457/458 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/458 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 23/481 variables, 12/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/481 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 13/494 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/494 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 853/1347 variables, 494/521 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1347 variables, 132/653 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1347 variables, 1/654 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1347 variables, 0/654 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 0/1347 variables, 0/654 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1347/1347 variables, and 654 constraints, problems are : Problem set: 0 solved, 1 unsolved in 915 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 494/494 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
After SMT, in 1631ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 17 ms.
Support contains 1 out of 494 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 494/494 places, 853/853 transitions.
Applied a total of 0 rules in 44 ms. Remains 494 /494 variables (removed 0) and now considering 853/853 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 45 ms. Remains : 494/494 places, 853/853 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 494/494 places, 853/853 transitions.
Applied a total of 0 rules in 43 ms. Remains 494 /494 variables (removed 0) and now considering 853/853 (removed 0) transitions.
[2024-05-21 05:55:31] [INFO ] Invariant cache hit.
[2024-05-21 05:55:32] [INFO ] Implicit Places using invariants in 1599 ms returned [0]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 1627 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 493/494 places, 853/853 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 144 transitions
Trivial Post-agglo rules discarded 144 transitions
Performed 144 trivial Post agglomeration. Transition count delta: 144
Iterating post reduction 0 with 144 rules applied. Total rules applied 144 place count 493 transition count 709
Reduce places removed 144 places and 0 transitions.
Iterating post reduction 1 with 144 rules applied. Total rules applied 288 place count 349 transition count 709
Applied a total of 288 rules in 42 ms. Remains 349 /493 variables (removed 144) and now considering 709/853 (removed 144) transitions.
// Phase 1: matrix 709 rows 349 cols
[2024-05-21 05:55:32] [INFO ] Computed 26 invariants in 8 ms
[2024-05-21 05:55:33] [INFO ] Implicit Places using invariants in 938 ms returned []
[2024-05-21 05:55:33] [INFO ] Invariant cache hit.
[2024-05-21 05:55:34] [INFO ] State equation strengthened by 132 read => feed constraints.
[2024-05-21 05:55:36] [INFO ] Implicit Places using invariants and state equation in 3345 ms returned []
Implicit Place search using SMT with State Equation took 4293 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 349/494 places, 709/853 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 6011 ms. Remains : 349/494 places, 709/853 transitions.
RANDOM walk for 4000000 steps (8 resets) in 10594 ms. (377 steps per ms) remains 1/1 properties
BEST_FIRST walk for 4000002 steps (8 resets) in 4581 ms. (872 steps per ms) remains 1/1 properties
Finished probabilistic random walk after 1536825 steps, run visited all 1 properties in 7124 ms. (steps per millisecond=215 )
Probabilistic random walk after 1536825 steps, saw 1005483 distinct states, run finished after 7130 ms. (steps per millisecond=215 ) properties seen :1
Able to resolve query StableMarking after proving 889 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK PROBABILISTIC_WALK BESTFIRST_WALK TOPOLOGICAL
Total runtime 661133 ms.
ITS solved all properties within timeout
BK_STOP 1716270948221
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Anderson-PT-12"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is Anderson-PT-12, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r012-smll-171620124200238"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-12.tgz
mv Anderson-PT-12 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;