About the Execution of GreatSPN+red for ResIsolation-PT-N11P2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15841.163 | 3600000.00 | 5338496.00 | 11146.00 | FT?T?F???TT??FTT | 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.r627-smll-171774445700122.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 ResIsolation-PT-N11P2, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r627-smll-171774445700122
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 98M
-rw-r--r-- 1 mcc users 6.1K Jun 7 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Jun 7 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Jun 7 06:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jun 7 06:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 17K Jun 7 06:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 190K Jun 7 06:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Jun 7 06:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Jun 7 06:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 7 06:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 equiv_col
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 instance
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 iscolored
-rw-r--r-- 1 mcc users 97M Jun 7 06:26 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-00
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-01
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-02
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-03
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-04
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-05
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-06
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-07
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-08
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-09
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-10
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-11
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-12
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-13
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-14
FORMULA_NAME ResIsolation-PT-N11P2-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717869072902
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ResIsolation-PT-N11P2
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-06-08 17:51:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2024-06-08 17:51:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-08 17:51:19] [INFO ] Load time of PNML (sax parser for PT used): 4894 ms
[2024-06-08 17:51:19] [INFO ] Transformed 396 places.
[2024-06-08 17:51:20] [INFO ] Transformed 74083 transitions.
[2024-06-08 17:51:20] [INFO ] Found NUPN structural information;
[2024-06-08 17:51:20] [INFO ] Parsed PT model containing 396 places and 74083 transitions and 1917650 arcs in 5827 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 44 ms.
Support contains 58 out of 396 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 396/396 places, 74083/74083 transitions.
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 0 with 13 rules applied. Total rules applied 13 place count 383 transition count 74083
Discarding 218 places :
Symmetric choice reduction at 1 with 218 rule applications. Total rules 231 place count 165 transition count 73865
Iterating global reduction 1 with 218 rules applied. Total rules applied 449 place count 165 transition count 73865
Ensure Unique test removed 6149 transitions
Reduce isomorphic transitions removed 6149 transitions.
Iterating post reduction 1 with 6149 rules applied. Total rules applied 6598 place count 165 transition count 67716
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 6621 place count 142 transition count 67693
Iterating global reduction 2 with 23 rules applied. Total rules applied 6644 place count 142 transition count 67693
Applied a total of 6644 rules in 2898 ms. Remains 142 /396 variables (removed 254) and now considering 67693/74083 (removed 6390) transitions.
// Phase 1: matrix 67693 rows 142 cols
[2024-06-08 17:51:26] [INFO ] Computed 0 invariants in 1952 ms
[2024-06-08 17:51:26] [INFO ] Implicit Places using invariants in 2350 ms returned []
Implicit Place search using SMT only with invariants took 2399 ms to find 0 implicit places.
Running 67692 sub problems to find dead transitions.
[2024-06-08 17:51:28] [INFO ] Invariant cache hit.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 141/67835 variables, and 0 constraints, problems are : Problem set: 0 solved, 67692 unsolved in 31301 ms.
Refiners :[State Equation: 0/142 constraints, PredecessorRefiner: 67692/77 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 67692 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 141/67835 variables, and 0 constraints, problems are : Problem set: 0 solved, 67692 unsolved in 31114 ms.
Refiners :[State Equation: 0/142 constraints, PredecessorRefiner: 67615/77 constraints, Known Traps: 0/0 constraints]
After SMT, in 1546812ms problems are : Problem set: 0 solved, 67692 unsolved
Search for dead transitions found 0 dead transitions in 1548203ms
Starting structural reductions in LTL mode, iteration 1 : 142/396 places, 67693/74083 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1553904 ms. Remains : 142/396 places, 67693/74083 transitions.
Support contains 58 out of 142 places after structural reductions.
[2024-06-08 18:17:33] [INFO ] Flatten gal took : 16101 ms
[2024-06-08 18:17:49] [INFO ] Flatten gal took : 16006 ms
[2024-06-08 18:18:12] [INFO ] Input system was already deterministic with 67693 transitions.
Reduction of identical properties reduced properties to check from 49 to 47
RANDOM walk for 40000 steps (8 resets) in 39877 ms. (1 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (8 resets) in 172 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 165 ms. (24 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 131 ms. (30 steps per ms) remains 47/47 properties
Interrupted probabilistic random walk after 144789 steps, run timeout after 39002 ms. (steps per millisecond=3 ) properties seen :0 out of 47
Probabilistic random walk after 144789 steps, saw 84028 distinct states, run finished after 39015 ms. (steps per millisecond=3 ) properties seen :0
[2024-06-08 18:19:05] [INFO ] Invariant cache hit.
Problem AtomicPropp31 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/58 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 46 unsolved
SMT process timed out in 7163ms, After SMT, problems are : Problem set: 1 solved, 46 unsolved
Fused 46 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 58 out of 142 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 142/142 places, 67693/67693 transitions.
Graph (complete) has 1386 edges and 142 vertex of which 140 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.484 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Empty/Sink Transition effects.) removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 0 with 36 rules applied. Total rules applied 37 place count 140 transition count 67655
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 1 with 23 rules applied. Total rules applied 60 place count 117 transition count 67655
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 22 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 130 place count 82 transition count 67620
Free-agglomeration rule applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 134 place count 82 transition count 67616
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 138 place count 78 transition count 67616
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 139 place count 77 transition count 67615
Applied a total of 139 rules in 9397 ms. Remains 77 /142 variables (removed 65) and now considering 67615/67693 (removed 78) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9403 ms. Remains : 77/142 places, 67615/67693 transitions.
RANDOM walk for 40000 steps (8 resets) in 84696 ms. (0 steps per ms) remains 41/46 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1124 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (5 resets) in 1253 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1293 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1412 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 747 ms. (5 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1125 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (7 resets) in 1140 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1363 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4003 steps (3 resets) in 1153 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1398 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (7 resets) in 962 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (4 resets) in 1442 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4003 steps (8 resets) in 830 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (3 resets) in 1398 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (2 resets) in 1267 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (7 resets) in 1437 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (2 resets) in 1232 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (7 resets) in 1145 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1131 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1211 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (6 resets) in 909 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4003 steps (5 resets) in 1376 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 886 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (4 resets) in 1183 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1136 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (1 resets) in 1661 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (7 resets) in 973 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4003 steps (4 resets) in 963 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (4 resets) in 998 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (2 resets) in 1080 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (3 resets) in 1165 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (7 resets) in 1118 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4003 steps (8 resets) in 905 ms. (4 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1150 ms. (3 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (3 resets) in 1406 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4003 steps (6 resets) in 1466 ms. (2 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 41/41 properties
// Phase 1: matrix 67615 rows 77 cols
[2024-06-08 18:20:01] [INFO ] Computed 13 invariants in 1071 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/58 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 41 unsolved
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp36 is UNSAT
At refinement iteration 1 (OVERLAPS) 19/77 variables, 13/13 constraints. Problems are: Problem set: 4 solved, 37 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/77 variables, 0/13 constraints. Problems are: Problem set: 4 solved, 37 unsolved
SMT process timed out in 47729ms, After SMT, problems are : Problem set: 4 solved, 37 unsolved
Fused 37 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 58 out of 77 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 77/77 places, 67615/67615 transitions.
Applied a total of 0 rules in 2172 ms. Remains 77 /77 variables (removed 0) and now considering 67615/67615 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2172 ms. Remains : 77/77 places, 67615/67615 transitions.
Successfully simplified 5 atomic propositions for a total of 16 simplifications.
[2024-06-08 18:21:05] [INFO ] Flatten gal took : 14275 ms
[2024-06-08 18:21:05] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-06-08 18:21:20] [INFO ] Flatten gal took : 15450 ms
[2024-06-08 18:21:41] [INFO ] Input system was already deterministic with 67693 transitions.
Computed a total of 48 stabilizing places and 61 stable transitions
Graph (complete) has 1386 edges and 142 vertex of which 140 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.1322 ms
Starting structural reductions in LTL mode, iteration 0 : 142/142 places, 67693/67693 transitions.
Applied a total of 0 rules in 366 ms. Remains 142 /142 variables (removed 0) and now considering 67693/67693 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 368 ms. Remains : 142/142 places, 67693/67693 transitions.
[2024-06-08 18:21:59] [INFO ] Flatten gal took : 14815 ms
[2024-06-08 18:22:14] [INFO ] Flatten gal took : 15046 ms
[2024-06-08 18:22:34] [INFO ] Input system was already deterministic with 67693 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 142/142 places, 67693/67693 transitions.
Graph (trivial) has 91 edges and 142 vertex of which 21 / 142 are part of one of the 7 SCC in 8 ms
Free SCC test removed 14 places
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Graph (complete) has 1365 edges and 128 vertex of which 126 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.527 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 12 rules applied. Total rules applied 14 place count 125 transition count 67664
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 26 place count 113 transition count 67664
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 15 Pre rules applied. Total rules applied 26 place count 113 transition count 67649
Deduced a syphon composed of 15 places in 89 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 2 with 30 rules applied. Total rules applied 56 place count 98 transition count 67649
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Deduced a syphon composed of 14 places in 28 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 2 with 28 rules applied. Total rules applied 84 place count 84 transition count 67635
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 85 place count 83 transition count 67634
Applied a total of 85 rules in 20494 ms. Remains 83 /142 variables (removed 59) and now considering 67634/67693 (removed 59) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 20497 ms. Remains : 83/142 places, 67634/67693 transitions.
[2024-06-08 18:23:08] [INFO ] Flatten gal took : 12057 ms
[2024-06-08 18:23:20] [INFO ] Flatten gal took : 12212 ms
[2024-06-08 18:23:36] [INFO ] Input system was already deterministic with 67634 transitions.
RANDOM walk for 40000 steps (8 resets) in 54491 ms. (0 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40003 steps (8 resets) in 12338 ms. (3 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 294140 steps, run timeout after 51002 ms. (steps per millisecond=5 ) properties seen :0 out of 1
Probabilistic random walk after 294140 steps, saw 55979 distinct states, run finished after 51003 ms. (steps per millisecond=5 ) properties seen :0
[2024-06-08 18:24:46] [INFO ] Flow matrix only has 67628 transitions (discarded 6 similar events)
// Phase 1: matrix 67628 rows 83 cols
[2024-06-08 18:24:47] [INFO ] Computed 0 invariants in 935 ms
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running ResIsolation-PT-N11P2
IS_COLORED=
IS_NUPN=1
LOADING model.pnml ...
MODEL CLASS: P/T NET WITH NUPN EXTENSION
PLACES: 396
TRANSITIONS: 74083
CONSTANTS: 0
TEMPLATE VARS: 0
ARCS: 1917650
NUPN UNITS: 25
LOADING TIME: 43.766
SAVING AS /home/mcc/execution/model.(net/def) ...
exportGspn useExt=true
SAVING TIME: 1.826
SAVING NAME MAP FILE /home/mcc/execution/model.id2name ...
SAVING NUPN UNITS AS FILE /home/mcc/execution/model.nu ...
TOTAL TIME: 54.617
OK.
----------------------------------------------------------------------
GreatSPN/Meddly.
Copyright (C) 1987-2022, University of Torino, Italy.
website: https://github.com/greatspn/SOURCES
Based on MEDDLY version 0.16.0
Copyright (C) 2009, Iowa State University Research Foundation, Inc.
website: http://meddly.sourceforge.net
Process ID: 691
MODEL NAME: /home/mcc/execution/model
396 places, 74083 transitions.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Building monolithic NSF...
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-00 FALSE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-03 TRUE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-01 TRUE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-05 FALSE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-09 TRUE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-10 TRUE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-13 FALSE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-14 TRUE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA ResIsolation-PT-N11P2-CTLFireability-2024-15 TRUE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ResIsolation-PT-N11P2"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is ResIsolation-PT-N11P2, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r627-smll-171774445700122"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ResIsolation-PT-N11P2.tgz
mv ResIsolation-PT-N11P2 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;