About the Execution of M4M.struct for DNAwalker-PT-13ringRLLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2073.840 | 2113456.00 | 8116302.00 | 1520.00 | ???????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DNAwalker-PT-13ringRLLarge, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649744200313
=====================================================================
--------------------
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 DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526757064572
BK_STOP 1526759178028
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-13ringRLLarge as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 15944, 'Memory': 566.52, 'Tool': 'itstools'}, {'Time': 16239, 'Memory': 595.82, 'Tool': 'itstools'}, {'Time': 128485, 'Memory': 9735.58, 'Tool': 'marcie'}, {'Time': 136871, 'Memory': 9735.59, 'Tool': 'marcie'}, {'Time': 2226595, 'Memory': 4260.54, 'Tool': 'lola'}, {'Time': 2226726, 'Memory': 4288.03, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 139.65096588058205x far from the best tool itstools.
ReachabilityCardinality lola DNAwalker-PT-13ringRLLarge...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DNAwalker-PT-13ringRLLarge: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-13ringRLLarge: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityCardinality @ DNAwalker-PT-13ringRLLarge @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 134 (ignored)
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-13ringRLLarge-ReachabilityCardinality.task
lola: E (F (((3 <= B15) AND (A17 <= B17) AND (3 <= B4) AND (A17 <= A1) AND (3 <= A9)))) : E (F (((3 <= B15) AND (((A15 <= A10) AND (2 <= A17)) OR (2 <= B17))))) : E (F ((A11 + 1 <= B15))) : E (F (((3 <= A26) AND (3 <= B15)))) : E (F (((A2 <= A20) AND ((3 <= A25) OR (A16 <= A10)) AND (2 <= B5)))) : E (F (((3 <= A22) AND (A15 <= A16) AND (A24 <= 2) AND ((A21 <= A9) OR (A12 <= A14))))) : E (F (((A19 <= 0) AND (B16 <= 1) AND (B15 <= A1) AND (A23 <= A9) AND ((1 <= A19) OR (A13 <= A4))))) : E (F (((B16 <= A10) AND (3 <= A15) AND (A18 <= A6) AND (B5 <= 2) AND (A4 <= 1)))) : E (F (((A13 <= A19) AND (3 <= A21) AND ((A18 <= A20) OR (A1 <= 1))))) : E (F ((3 <= A22))) : A (G (((A5 <= 2) OR (A6 + 1 <= A27) OR (3 <= A10)))) : A (G (((A27 <= 2) OR (2 <= A20) OR ((3 <= A14) AND (3 <= A17))))) : E (F (((3 <= A26) AND ((A2 <= 2) OR (A14 <= 0))))) : E (F (((A6 <= 0) AND (B4 <= 1) AND (A9 <= 0) AND (A5 <= 2)))) : E (F (((2 <= A9) AND (3 <= A13)))) : A (G ((((1 <= A18) OR (1 <= A6) OR ((B17 <= A3) AND (1 <= B17))) AND ((1 <= A7) OR (A13 <= A2) OR (A13 + 1 <= A7)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= B15) AND (A17 <= B17) AND (3 <= B4) AND (A17 <= A1) AND (3 <= A9))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= B15) AND (((A15 <= A10) AND (2 <= A17)) OR (2 <= B17)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality.sara
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((A11 + 1 <= B15)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-2.sara
lola: 5 markings, 4 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A26) AND (3 <= B15))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-2.sara.
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-3.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A2 <= A20) AND ((3 <= A25) OR (A16 <= A10)) AND (2 <= B5))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-4.sara
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A22) AND (A15 <= A16) AND (A24 <= 2) AND ((A21 <= A9) OR (A12 <= A14)))))
lola: ========================================
lola: SUBTASK
lola: lola: ========================================
checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-5.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 317288 markings, 860068 edges, 63458 markings/sec, 0 secs
lola: sara is running 5 secs || 618648 markings, 1700052 edges, 60272 markings/sec, 5 secs
lola: sara is running 10 secs || 906062 markings, 2601772 edges, 57483 markings/sec, 10 secs
lola: sara is running 15 secs || 1204985 markings, 3466106 edges, 59785 markings/sec, 15 secs
lola: sara is running 20 secs || 1495472 markings, 4343265 edges, 58097 markings/sec, 20 secs
lola: sara is running 25 secs || 1784045 markings, 5215180 edges, 57715 markings/sec, 25 secs
lola: sara is running 30 secs || 2067154 markings, 6116322 edges, 56622 markings/sec, 30 secs
lola: sara is running 35 secs || 2362991 markings, 6972009 edges, 59167 markings/sec, 35 secs
lola: sara is running 40 secs || 2649375 markings, 7833567 edges, 57277 markings/sec, 40 secs
lola: sara is running 45 secs || 2934676 markings, 8706695 edges, 57060 markings/sec, 45 secs
lola: sara is running 50 secs || 3216545 markings, 9578308 edges, 56374 markings/sec, 50 secs
lola: sara is running 55 secs || 3509286 markings, 10443228 edges, 58548 markings/sec, 55 secs
lola: sara is running 60 secs || 3798446 markings, 11378301 edges, 57832 markings/sec, 60 secs
lola: sara is running 65 secs || 4083606 markings, 12263152 edges, 57032 markings/sec, 65 secs
lola: sara is running 70 secs || 4371496 markings, 13176834 edges, 57578 markings/sec, 70 secs
lola: sara is running 75 secs || 4658818 markings, 14120066 edges, 57464 markings/sec, 75 secs
lola: sara is running 80 secs || 4935946 markings, 15174553 edges, 55426 markings/sec, 80 secs
lola: sara is running 85 secs || 5214989 markings, 16321068 edges, 55809 markings/sec, 85 secs
lola: sara is running 90 secs || 5483792 markings, 17494936 edges, 53761 markings/sec, 90 secs
lola: sara is running 95 secs || 5754057 markings, 18651608 edges, 54053 markings/sec, 95 secs
lola: sara is running 100 secs || 6031850 markings, 19840598 edges, 55559 markings/sec, 100 secs
lola: sara is running 105 secs || 6292471 markings, 21031427 edges, 52124 markings/sec, 105 secs
lola: sara is running 110 secs || 6547830 markings, 22233070 edges, 51072 markings/sec, 110 secs
lola: sara is running 115 secs || 6812356 markings, 23419466 edges, 52905 markings/sec, 115 secs
lola: sara is running 120 secs || 7070657 markings, 24581200 edges, 51660 markings/sec, 120 secs
lola: sara is running 125 secs || 7333273 markings, 25769181 edges, 52523 markings/sec, 125 secs
lola: sara is running 130 secs || 7592089 markings, 26957439 edges, 51763 markings/sec, 130 secs
lola: sara is running 135 secs || 7853099 markings, 28238065 edges, 52202 markings/sec, 135 secs
lola: sara is running 140 secs || 8099774 markings, 29637960 edges, 49335 markings/sec, 140 secs
lola: sara is running 145 secs || 8377385 markings, 30797585 edges, 55522 markings/sec, 145 secs
lola: sara is running 150 secs || 8636588 markings, 32010218 edges, 51841 markings/sec, 150 secs
lola: sara is running 155 secs || 8893538 markings, 33203462 edges, 51390 markings/sec, 155 secs
lola: sara is running 160 secs || 9152725 markings, 34418155 edges, 51837 markings/sec, 160 secs
lola: sara is running 165 secs || 9410688 markings, 35577594 edges, 51593 markings/sec, 165 secs
lola: sara is running 170 secs || 9671440 markings, 36733468 edges, 52150 markings/sec, 170 secs
lola: sara is running 175 secs || 9926510 markings, 37955510 edges, 51014 markings/sec, 175 secs
lola: sara is running 180 secs || 10184464 markings, 39155995 edges, 51591 markings/sec, 180 secs
lola: sara is running 185 secs || 10441631 markings, 40487399 edges, 51433 markings/sec, 185 secs
lola: sara is running 190 secs || 10688504 markings, 41871260 edges, 49375 markings/sec, 190 secs
lola: sara is running 195 secs || 10931088 markings, 43300232 edges, 48517 markings/sec, 195 secs
lola: sara is running 200 secs || 11175160 markings, 44720216 edges, 48814 markings/sec, 200 secs
lola: sara is running 205 secs || 11414782 markings, 46149631 edges, 47924 markings/sec, 205 secs
lola: sara is running 210 secs || 11656548 markings, 47646733 edges, 48353 markings/sec, 210 secs
lola: sara is running 215 secs || 11933684 markings, 48871449 edges, 55427 markings/sec, 215 secs
lola: sara is running 220 secs || 12197297 markings, 50057917 edges, 52723 markings/sec, 220 secs
lola: sara is running 225 secs || 12455132 markings, 51257063 edges, 51567 markings/sec, 225 secs
lola: sara is running 230 secs || 12716248 markings, 52490968 edges, 52223 markings/sec, 230 secs
lola: sara is running 235 secs || 12967028 markings, 53734125 edges, 50156 markings/sec, 235 secs
lola: sara is running 240 secs || 13226417 markings, 54948237 edges, 51878 markings/sec, 240 secs
lola: sara is running 245 secs || 13479317 markings, 56181267 edges, 50580 markings/sec, 245 secs
lola: sara is running 250 secs || 13734168 markings, 57566421 edges, 50970 markings/sec, 250 secs
lola: sara is running 255 secs || 13982450 markings, 59021483 edges, 49656 markings/sec, 255 secs
lola: sara is running 260 secs || 14226635 markings, 60481931 edges, 48837 markings/sec, 260 secs
lola: sara is running 265 secs || 14463782 markings, 61956790 edges, 47429 markings/sec, 265 secs
lola: sara is running 270 secs || 14697469 markings, 63419607 edges, 46737 markings/sec, 270 secs
lola: sara is running 275 secs || 14932187 markings, 65009105 edges, 46944 markings/sec, 275 secs
lola: sara is running 280 secs || 15176309 markings, 66472520 edges, 48824 markings/sec, 280 secs
lola: sara is running 285 secs || 15411692 markings, 67940053 edges, 47077 markings/sec, 285 secs
lola: sara is running 290 secs || 15644625 markings, 69404682 edges, 46587 markings/sec, 290 secs
lola: sara is running 295 secs || 15878287 markings, 70949493 edges, 46732 markings/sec, 295 secs
lola: sara is running 300 secs || 16105312 markings, 72614350 edges, 45405 markings/sec, 300 secs
lola: sara is running 305 secs || 16325206 markings, 74285093 edges, 43979 markings/sec, 305 secs
lola: sara is running 310 secs || 16594365 markings, 75595452 edges, 53832 markings/sec, 310 secs
lola: sara is running 315 secs || 16856618 markings, 76795502 edges, 52451 markings/sec, 315 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A19 <= 0) AND (B16 <= 1) AND (B15 <= A1) AND (A23 <= A9) AND ((1 <= A19) OR (A13 <= A4)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-6.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((B16 <= A10) AND (3 <= A15) AND (A18 <= A6) AND (B5 <= 2) AND (A4 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-7.sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-6.sara.
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-7.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 379119 markings, 889983 edges, 75824 markings/sec, 0 secs
lola: sara is running 5 secs || 684785 markings, 1797609 edges, 61133 markings/sec, 5 secs
lola: sara is running 10 secs || 1001145 markings, 3001639 edges, 63272 markings/sec, 10 secs
lola: sara is running 15 secs || 1309447 markings, 4257496 edges, 61660 markings/sec, 15 secs
lola: sara is running 20 secs || 1614017 markings, 5487347 edges, 60914 markings/sec, 20 secs
lola: sara is running 25 secs || 1933251 markings, 6687278 edges, 63847 markings/sec, 25 secs
lola: sara is running 30 secs || 2253548 markings, 7896303 edges, 64059 markings/sec, 30 secs
lola: sara is running 35 secs || 2597176 markings, 9111680 edges, 68726 markings/sec, 35 secs
lola: sara is running 40 secs || 2919295 markings, 10273475 edges, 64424 markings/sec, 40 secs
lola: sara is running 45 secs || 3197122 markings, 11446637 edges, 55565 markings/sec, 45 secs
lola: sara is running 50 secs || 3480306 markings, 12689585 edges, 56637 markings/sec, 50 secs
lola: sara is running 55 secs || 3753234 markings, 13884484 edges, 54586 markings/sec, 55 secs
lola: sara is running 60 secs || 4012045 markings, 15098291 edges, 51762 markings/sec, 60 secs
lola: sara is running 65 secs || 4300017 markings, 16278273 edges, 57594 markings/sec, 65 secs
lola: sara is running 70 secs || 4639682 markings, 17499259 edges, 67933 markings/sec, 70 secs
lola: sara is running 75 secs || 4966634 markings, 18638535 edges, 65390 markings/sec, 75 secs
lola: sara is running 80 secs || 5277545 markings, 19793078 edges, 62182 markings/sec, 80 secs
lola: sara is running 85 secs || 5627716 markings, 21081178 edges, 70034 markings/sec, 85 secs
lola: sara is running 90 secs || 5952239 markings, 22293027 edges, 64905 markings/sec, 90 secs
lola: sara is running 95 secs || 6278570 markings, 23415794 edges, 65266 markings/sec, 95 secs
lola: sara is running 100 secs || 6616508 markings, 24631288 edges, 67588 markings/sec, 100 secs
lola: sara is running 105 secs || 6939687 markings, 25798422 edges, 64636 markings/sec, 105 secs
lola: sara is running 110 secs || 7269252 markings, 26902860 edges, 65913 markings/sec, 110 secs
lola: sara is running 115 secs || 7589435 markings, 27967077 edges, 64037 markings/sec, 115 secs
lola: sara is running 120 secs || 7899177 markings, 29245923 edges, 61948 markings/sec, 120 secs
lola: sara is running 125 secs || 8267764 markings, 30579404 edges, 73717 markings/sec, 125 secs
lola: sara is running 130 secs || 8570399 markings, 31829701 edges, 60527 markings/sec, 130 secs
lola: sara is running 135 secs || 8894103 markings, 33034952 edges, 64741 markings/sec, 135 secs
lola: sara is running 140 secs || 9169087 markings, 34222183 edges, 54997 markings/sec, 140 secs
lola: sara is running 145 secs || 9452237 markings, 35340155 edges, 56630 markings/sec, 145 secs
lola: sara is running 150 secs || 9746601 markings, 36519959 edges, 58873 markings/sec, 150 secs
lola: sara is running 155 secs || 10067197 markings, 37557816 edges, 64119 markings/sec, 155 secs
lola: sara is running 160 secs || 10361478 markings, 38701704 edges, 58856 markings/sec, 160 secs
lola: sara is running 165 secs || 10651702 markings, 39802701 edges, 58045 markings/sec, 165 secs
lola: sara is running 170 secs || 10950809 markings, 40939537 edges, 59821 markings/sec, 170 secs
lola: sara is running 175 secs || 11236476 markings, 42026454 edges, 57133 markings/sec, 175 secs
lola: sara is running 180 secs || 11489204 markings, 43357771 edges, 50546 markings/sec, 180 secs
lola: sara is running 185 secs || 11789376 markings, 44558350 edges, 60034 markings/sec, 185 secs
lola: sara is running 190 secs || 12108741 markings, 45620144 edges, 63873 markings/sec, 190 secs
lola: sara is running 195 secs || 12414524 markings, 46657231 edges, 61157 markings/sec, 195 secs
lola: sara is running 200 secs || 12696081 markings, 47838623 edges, 56311 markings/sec, 200 secs
lola: sara is running 205 secs || 13011760 markings, 48897904 edges, 63136 markings/sec, 205 secs
lola: sara is running 210 secs || 13304582 markings, 50058515 edges, 58564 markings/sec, 210 secs
lola: sara is running 215 secs || 13583537 markings, 51164572 edges, 55791 markings/sec, 215 secs
lola: sara is running 220 secs || 13826810 markings, 52387227 edges, 48655 markings/sec, 220 secs
lola: sara is running 225 secs || 14097859 markings, 53654926 edges, 54210 markings/sec, 225 secs
lola: sara is running 230 secs || 14398627 markings, 54769514 edges, 60154 markings/sec, 230 secs
lola: sara is running 235 secs || 14695029 markings, 55915756 edges, 59280 markings/sec, 235 secs
lola: sara is running 240 secs || 14993108 markings, 56957530 edges, 59616 markings/sec, 240 secs
lola: sara is running 245 secs || 15267695 markings, 58088281 edges, 54917 markings/sec, 245 secs
lola: sara is running 250 secs || 15526663 markings, 59345492 edges, 51794 markings/sec, 250 secs
lola: sara is running 255 secs || 15811081 markings, 60462385 edges, 56884 markings/sec, 255 secs
lola: sara is running 260 secs || 16100803 markings, 61543191 edges, 57944 markings/sec, 260 secs
lola: sara is running 265 secs || 16360812 markings, 62923933 edges, 52002 markings/sec, 265 secs
lola: sara is running 270 secs || 16655043 markings, 64271572 edges, 58846 markings/sec, 270 secs
lola: sara is running 275 secs || 16934973 markings, 65598466 edges, 55986 markings/sec, 275 secs
lola: sara is running 280 secs || 17192950 markings, 67056740 edges, 51595 markings/sec, 280 secs
lola: sara is running 285 secs || 17489678 markings, 68359457 edges, 59346 markings/sec, 285 secs
lola: sara is running 290 secs || 17772127 markings, 69709531 edges, 56490 markings/sec, 290 secs
lola: sara is running 295 secs || 18008990 markings, 71148721 edges, 47373 markings/sec, 295 secs
lola: sara is running 300 secs || 18287276 markings, 72524802 edges, 55657 markings/sec, 300 secs
lola: sara is running 305 secs || 18555767 markings, 73836314 edges, 53698 markings/sec, 305 secs
lola: sara is running 310 secs || 18817824 markings, 75186687 edges, 52411 markings/sec, 310 secs
lola: sara is running 315 secs || 19144861 markings, 76544509 edges, 65407 markings/sec, 315 secs
lola: sara is running 320 secs || 19487035 markings, 77890631 edges, 68435 markings/sec, 320 secs
lola: sara is running 325 secs || 19815564 markings, 79310713 edges, 65706 markings/sec, 325 secs
lola: sara is running 330 secs || 20145149 markings, 80672446 edges, 65917 markings/sec, 330 secs
lola: sara is running 335 secs || 20470304 markings, 82087736 edges, 65031 markings/sec, 335 secs
lola: sara is running 340 secs || 20822066 markings, 83419341 edges, 70352 markings/sec, 340 secs
lola: sara is running 345 secs || 21157823 markings, 84754134 edges, 67151 markings/sec, 345 secs
lola: sara is running 350 secs || 21476306 markings, 86283679 edges, 63697 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A13 <= A19) AND (3 <= A21) AND ((A18 <= A20) OR (A1 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-8.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 346141 markings, 1106790 edges, 69228 markings/sec, 0 secs
lola: sara is running 5 secs || 658163 markings, 2348654 edges, 62404 markings/sec, 5 secs
lola: sara is running 10 secs || 977653 markings, 3526188 edges, 63898 markings/sec, 10 secs
lola: sara is running 15 secs || 1289105 markings, 4641096 edges, 62290 markings/sec, 15 secs
lola: sara is running 20 secs || 1612323 markings, 5811222 edges, 64644 markings/sec, 20 secs
lola: sara is running 25 secs || 1915028 markings, 6944929 edges, 60541 markings/sec, 25 secs
lola: sara is running 30 secs || 2211020 markings, 8073519 edges, 59198 markings/sec, 30 secs
lola: sara is running 35 secs || 2512037 markings, 9216372 edges, 60203 markings/sec, 35 secs
lola: sara is running 40 secs || 2823213 markings, 10315634 edges, 62235 markings/sec, 40 secs
lola: sara is running 45 secs || 3109849 markings, 11654476 edges, 57327 markings/sec, 45 secs
lola: sara is running 50 secs || 3401711 markings, 12898939 edges, 58372 markings/sec, 50 secs
lola: sara is running 55 secs || 3680231 markings, 14211924 edges, 55704 markings/sec, 55 secs
lola: sara is running 60 secs || 3960288 markings, 15544221 edges, 56011 markings/sec, 60 secs
lola: sara is running 65 secs || 4244395 markings, 16878153 edges, 56821 markings/sec, 65 secs
lola: sara is running 70 secs || 4521579 markings, 18304247 edges, 55437 markings/sec, 70 secs
lola: sara is running 75 secs || 4825148 markings, 19542002 edges, 60714 markings/sec, 75 secs
lola: sara is running 80 secs || 5132136 markings, 20785910 edges, 61398 markings/sec, 80 secs
lola: sara is running 85 secs || 5438334 markings, 22015010 edges, 61240 markings/sec, 85 secs
lola: sara is running 90 secs || 5738699 markings, 23248848 edges, 60073 markings/sec, 90 secs
lola: sara is running 95 secs || 6023102 markings, 24442416 edges, 56881 markings/sec, 95 secs
lola: sara is running 100 secs || 6313768 markings, 25621054 edges, 58133 markings/sec, 100 secs
lola: sara is running 105 secs || 6672097 markings, 26734686 edges, 71666 markings/sec, 105 secs
lola: sara is running 110 secs || 7030639 markings, 27884523 edges, 71708 markings/sec, 110 secs
lola: sara is running 115 secs || 7358666 markings, 29235412 edges, 65605 markings/sec, 115 secs
lola: sara is running 120 secs || 7701109 markings, 30496070 edges, 68489 markings/sec, 120 secs
lola: sara is running 125 secs || 8001198 markings, 31865437 edges, 60018 markings/sec, 125 secs
lola: sara is running 130 secs || 8289922 markings, 33249133 edges, 57745 markings/sec, 130 secs
lola: sara is running 135 secs || 8583673 markings, 34533794 edges, 58750 markings/sec, 135 secs
lola: sara is running 140 secs || 8849575 markings, 35851973 edges, 53180 markings/sec, 140 secs
lola: sara is running 145 secs || 9139780 markings, 37112046 edges, 58041 markings/sec, 145 secs
lola: sara is running 150 secs || 9435819 markings, 38247211 edges, 59208 markings/sec, 150 secs
lola: sara is running 155 secs || 9727723 markings, 39598663 edges, 58381 markings/sec, 155 secs
lola: sara is running 160 secs || 10004281 markings, 41054057 edges, 55312 markings/sec, 160 secs
lola: sara is running 165 secs || 10289077 markings, 42465878 edges, 56959 markings/sec, 165 secs
lola: sara is running 170 secs || 10562493 markings, 43879868 edges, 54683 markings/sec, 170 secs
lola: sara is running 175 secs || 10814457 markings, 45124415 edges, 50393 markings/sec, 175 secs
lola: sara is running 180 secs || 11065874 markings, 46406721 edges, 50283 markings/sec, 180 secs
lola: sara is running 185 secs || 11335110 markings, 47652729 edges, 53847 markings/sec, 185 secs
lola: sara is running 190 secs || 11601362 markings, 48899867 edges, 53250 markings/sec, 190 secs
lola: sara is running 195 secs || 11843586 markings, 50170916 edges, 48445 markings/sec, 195 secs
lola: sara is running 200 secs || 12092278 markings, 51430290 edges, 49738 markings/sec, 200 secs
lola: sara is running 205 secs || 12357456 markings, 52676353 edges, 53036 markings/sec, 205 secs
lola: sara is running 210 secs || 12617748 markings, 53875591 edges, 52058 markings/sec, 210 secs
lola: sara is running 215 secs || 12856853 markings, 55204219 edges, 47821 markings/sec, 215 secs
lola: sara is running 220 secs || 13117158 markings, 56476967 edges, 52061 markings/sec, 220 secs
lola: sara is running 225 secs || 13386223 markings, 57691275 edges, 53813 markings/sec, 225 secs
lola: sara is running 230 secs || 13672607 markings, 59014807 edges, 57277 markings/sec, 230 secs
lola: sara is running 235 secs || 13945979 markings, 60309491 edges, 54674 markings/sec, 235 secs
lola: sara is running 240 secs || 14216953 markings, 61677174 edges, 54195 markings/sec, 240 secs
lola: sara is running 245 secs || 14484799 markings, 63015980 edges, 53569 markings/sec, 245 secs
lola: sara is running 250 secs || 14737113 markings, 64404497 edges, 50463 markings/sec, 250 secs
lola: sara is running 255 secs || 15060398 markings, 65557323 edges, 64657 markings/sec, 255 secs
lola: sara is running 260 secs || 15378333 markings, 66591988 edges, 63587 markings/sec, 260 secs
lola: sara is running 265 secs || 15684100 markings, 67884357 edges, 61153 markings/sec, 265 secs
lola: sara is running 270 secs || 15975702 markings, 69240200 edges, 58320 markings/sec, 270 secs
lola: sara is running 275 secs || 16267007 markings, 70617092 edges, 58261 markings/sec, 275 secs
lola: sara is running 280 secs || 16545593 markings, 72050964 edges, 55717 markings/sec, 280 secs
lola: sara is running 285 secs || 16840041 markings, 73222418 edges, 58890 markings/sec, 285 secs
lola: sara is running 290 secs || 17119814 markings, 74552322 edges, 55955 markings/sec, 290 secs
lola: sara is running 295 secs || 17390956 markings, 75809253 edges, 54228 markings/sec, 295 secs
lola: sara is running 300 secs || 17658182 markings, 77066987 edges, 53445 markings/sec, 300 secs
lola: sara is running 305 secs || 17901242 markings, 78412115 edges, 48612 markings/sec, 305 secs
lola: sara is running 310 secs || 18159601 markings, 79628260 edges, 51672 markings/sec, 310 secs
lola: sara is running 315 secs || 18407891 markings, 80909271 edges, 49658 markings/sec, 315 secs
lola: sara is running 320 secs || 18672454 markings, 82024110 edges, 52913 markings/sec, 320 secs
lola: sara is running 325 secs || 18935102 markings, 83358971 edges, 52530 markings/sec, 325 secs
lola: sara is running 330 secs || 19210960 markings, 84485047 edges, 55172 markings/sec, 330 secs
lola: sara is running 335 secs || 19474590 markings, 85750191 edges, 52726 markings/sec, 335 secs
lola: sara is running 340 secs || 19720951 markings, 87092179 edges, 49272 markings/sec, 340 secs
lola: sara is running 345 secs || 19977874 markings, 88206093 edges, 51385 markings/sec, 345 secs
lola: sara is running 350 secs || 20222436 markings, 89491536 edges, 48912 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A22)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-9.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 303160 markings, 852974 edges, 60632 markings/sec, 0 secs
lola: sara is running 5 secs || 591447 markings, 1675387 edges, 57657 markings/sec, 5 secs
lola: sara is running 10 secs || 866101 markings, 2586140 edges, 54931 markings/sec, 10 secs
lola: sara is running 15 secs || 1145784 markings, 3466704 edges, 55937 markings/sec, 15 secs
lola: sara is running 20 secs || 1425154 markings, 4325958 edges, 55874 markings/sec, 20 secs
lola: sara is running 25 secs || 1699031 markings, 5195170 edges, 54775 markings/sec, 25 secs
lola: sara is running 30 secs || 1968278 markings, 6090944 edges, 53849 markings/sec, 30 secs
lola: sara is running 35 secs || 2250084 markings, 7005645 edges, 56361 markings/sec, 35 secs
lola: sara is running 40 secs || 2541521 markings, 7832684 edges, 58287 markings/sec, 40 secs
lola: sara is running 45 secs || 2825751 markings, 8678947 edges, 56846 markings/sec, 45 secs
lola: sara is running 50 secs || 3101082 markings, 9556676 edges, 55066 markings/sec, 50 secs
lola: sara is running 55 secs || 3381275 markings, 10409707 edges, 56039 markings/sec, 55 secs
lola: sara is running 60 secs || 3654346 markings, 11277249 edges, 54614 markings/sec, 60 secs
lola: sara is running 65 secs || 3928974 markings, 12171869 edges, 54926 markings/sec, 65 secs
lola: sara is running 70 secs || 4200769 markings, 13101198 edges, 54359 markings/sec, 70 secs
lola: sara is running 75 secs || 4469637 markings, 14025807 edges, 53774 markings/sec, 75 secs
lola: sara is running 80 secs || 4733114 markings, 14965916 edges, 52695 markings/sec, 80 secs
lola: sara is running 85 secs || 4989000 markings, 16055573 edges, 51177 markings/sec, 85 secs
lola: sara is running 90 secs || 5243956 markings, 17279278 edges, 50991 markings/sec, 90 secs
lola: sara is running 95 secs || 5490873 markings, 18561697 edges, 49383 markings/sec, 95 secs
lola: sara is running 100 secs || 5734934 markings, 19814478 edges, 48812 markings/sec, 100 secs
lola: sara is running 105 secs || 6000192 markings, 21004314 edges, 53052 markings/sec, 105 secs
lola: sara is running 110 secs || 6246325 markings, 22221735 edges, 49227 markings/sec, 110 secs
lola: sara is running 115 secs || 6487814 markings, 23420780 edges, 48298 markings/sec, 115 secs
lola: sara is running 120 secs || 6738043 markings, 24636821 edges, 50046 markings/sec, 120 secs
lola: sara is running 125 secs || 6996792 markings, 25788120 edges, 51750 markings/sec, 125 secs
lola: sara is running 130 secs || 7241754 markings, 26931208 edges, 48992 markings/sec, 130 secs
lola: sara is running 135 secs || 7487847 markings, 28132382 edges, 49219 markings/sec, 135 secs
lola: sara is running 140 secs || 7729289 markings, 29347482 edges, 48288 markings/sec, 140 secs
lola: sara is running 145 secs || 7959497 markings, 30779237 edges, 46042 markings/sec, 145 secs
lola: sara is running 150 secs || 8194999 markings, 32167215 edges, 47100 markings/sec, 150 secs
lola: sara is running 155 secs || 8451568 markings, 33349140 edges, 51314 markings/sec, 155 secs
lola: sara is running 160 secs || 8695108 markings, 34545901 edges, 48708 markings/sec, 160 secs
lola: sara is running 165 secs || 8934428 markings, 35744522 edges, 47864 markings/sec, 165 secs
lola: sara is running 170 secs || 9184467 markings, 36959930 edges, 50008 markings/sec, 170 secs
lola: sara is running 175 secs || 9440188 markings, 38119824 edges, 51144 markings/sec, 175 secs
lola: sara is running 180 secs || 9684017 markings, 39256735 edges, 48766 markings/sec, 180 secs
lola: sara is running 185 secs || 9927764 markings, 40461687 edges, 48749 markings/sec, 185 secs
lola: sara is running 190 secs || 10168663 markings, 41664154 edges, 48180 markings/sec, 190 secs
lola: sara is running 195 secs || 10400905 markings, 43006873 edges, 46448 markings/sec, 195 secs
lola: sara is running 200 secs || 10625056 markings, 44486568 edges, 44830 markings/sec, 200 secs
lola: sara is running 205 secs || 10853479 markings, 45906693 edges, 45685 markings/sec, 205 secs
lola: sara is running 210 secs || 11080738 markings, 47370655 edges, 45452 markings/sec, 210 secs
lola: sara is running 215 secs || 11309252 markings, 48766983 edges, 45703 markings/sec, 215 secs
lola: sara is running 220 secs || 11535975 markings, 50204206 edges, 45345 markings/sec, 220 secs
lola: sara is running 225 secs || 11768393 markings, 51721530 edges, 46484 markings/sec, 225 secs
lola: sara is running 230 secs || 12026817 markings, 52895943 edges, 51685 markings/sec, 230 secs
lola: sara is running 235 secs || 12278787 markings, 54060902 edges, 50394 markings/sec, 235 secs
lola: sara is running 240 secs || 12529204 markings, 55286163 edges, 50083 markings/sec, 240 secs
lola: sara is running 245 secs || 12786536 markings, 56502161 edges, 51466 markings/sec, 245 secs
lola: sara is running 250 secs || 13034685 markings, 57680234 edges, 49630 markings/sec, 250 secs
lola: sara is running 255 secs || 13278339 markings, 58899842 edges, 48731 markings/sec, 255 secs
lola: sara is running 260 secs || 13520376 markings, 60129169 edges, 48407 markings/sec, 260 secs
lola: sara is running 265 secs || 13759707 markings, 61497094 edges, 47866 markings/sec, 265 secs
lola: sara is running 270 secs || 13991687 markings, 63002083 edges, 46396 markings/sec, 270 secs
lola: sara is running 275 secs || 14224781 markings, 64455713 edges, 46619 markings/sec, 275 secs
lola: sara is running 280 secs || 14454801 markings, 65928341 edges, 46004 markings/sec, 280 secs
lola: sara is running 285 secs || 14679289 markings, 67364793 edges, 44898 markings/sec, 285 secs
lola: sara is running 290 secs || 14899771 markings, 68932062 edges, 44096 markings/sec, 290 secs
lola: sara is running 295 secs || 15129646 markings, 70440864 edges, 45975 markings/sec, 295 secs
lola: sara is running 300 secs || 15355408 markings, 71906597 edges, 45152 markings/sec, 300 secs
lola: sara is running 305 secs || 15582816 markings, 73340326 edges, 45482 markings/sec, 305 secs
lola: sara is running 310 secs || 15804129 markings, 74808632 edges, 44263 markings/sec, 310 secs
lola: sara is running 315 secs || 16020981 markings, 76486105 edges, 43370 markings/sec, 315 secs
lola: sara is running 320 secs || 16232265 markings, 78145934 edges, 42257 markings/sec, 320 secs
lola: sara is running 325 secs || 16457383 markings, 79743619 edges, 45024 markings/sec, 325 secs
lola: sara is running 330 secs || 16717176 markings, 80935245 edges, 51959 markings/sec, 330 secs
lola: sara is running 335 secs || 16967433 markings, 82105767 edges, 50051 markings/sec, 335 secs
lola: sara is running 340 secs || 17211631 markings, 83298507 edges, 48840 markings/sec, 340 secs
lola: sara is running 345 secs || 17470658 markings, 84549724 edges, 51805 markings/sec, 345 secs
lola: sara is running 350 secs || 17719263 markings, 85776281 edges, 49721 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 358 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((A5 <= 2) OR (A6 + 1 <= A27) OR (3 <= A10))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 340951 markings, 1156688 edges, 68190 markings/sec, 0 secs
lola: sara is running 5 secs || 638260 markings, 2424742 edges, 59462 markings/sec, 5 secs
lola: sara is running 10 secs || 917454 markings, 3768072 edges, 55839 markings/sec, 10 secs
lola: sara is running 15 secs || 1180851 markings, 5149455 edges, 52679 markings/sec, 15 secs
lola: sara is running 20 secs || 1493391 markings, 6399684 edges, 62508 markings/sec, 20 secs
lola: sara is running 25 secs || 1816886 markings, 7612314 edges, 64699 markings/sec, 25 secs
lola: sara is running 30 secs || 2149239 markings, 8838755 edges, 66471 markings/sec, 30 secs
lola: sara is running 35 secs || 2467537 markings, 10091008 edges, 63660 markings/sec, 35 secs
lola: sara is running 40 secs || 2741067 markings, 11272488 edges, 54706 markings/sec, 40 secs
lola: sara is running 45 secs || 3003689 markings, 12558931 edges, 52524 markings/sec, 45 secs
lola: sara is running 50 secs || 3248624 markings, 13863995 edges, 48987 markings/sec, 50 secs
lola: sara is running 55 secs || 3515608 markings, 15135950 edges, 53397 markings/sec, 55 secs
lola: sara is running 60 secs || 3774116 markings, 16461162 edges, 51702 markings/sec, 60 secs
lola: sara is running 65 secs || 4019948 markings, 17790336 edges, 49166 markings/sec, 65 secs
lola: sara is running 70 secs || 4308791 markings, 19022098 edges, 57769 markings/sec, 70 secs
lola: sara is running 75 secs || 4591244 markings, 20308976 edges, 56491 markings/sec, 75 secs
lola: sara is running 80 secs || 4859522 markings, 21553256 edges, 53656 markings/sec, 80 secs
lola: sara is running 85 secs || 5175521 markings, 22739685 edges, 63200 markings/sec, 85 secs
lola: sara is running 90 secs || 5439296 markings, 23950472 edges, 52755 markings/sec, 90 secs
lola: sara is running 95 secs || 5748335 markings, 25252238 edges, 61808 markings/sec, 95 secs
lola: sara is running 100 secs || 5997479 markings, 26537203 edges, 49829 markings/sec, 100 secs
lola: sara is running 105 secs || 6242733 markings, 27836971 edges, 49051 markings/sec, 105 secs
lola: sara is running 110 secs || 6526166 markings, 29049770 edges, 56687 markings/sec, 110 secs
lola: sara is running 115 secs || 6831968 markings, 30215077 edges, 61160 markings/sec, 115 secs
lola: sara is running 120 secs || 7124432 markings, 31506887 edges, 58493 markings/sec, 120 secs
lola: sara is running 125 secs || 7416010 markings, 32853334 edges, 58316 markings/sec, 125 secs
lola: sara is running 130 secs || 7694250 markings, 34431037 edges, 55648 markings/sec, 130 secs
lola: sara is running 135 secs || 7923440 markings, 36000549 edges, 45838 markings/sec, 135 secs
lola: sara is running 140 secs || 8205109 markings, 37418766 edges, 56334 markings/sec, 140 secs
lola: sara is running 145 secs || 8439685 markings, 38885002 edges, 46915 markings/sec, 145 secs
lola: sara is running 150 secs || 8705990 markings, 40430590 edges, 53261 markings/sec, 150 secs
lola: sara is running 155 secs || 8937581 markings, 41968790 edges, 46318 markings/sec, 155 secs
lola: sara is running 160 secs || 9148296 markings, 43482738 edges, 42143 markings/sec, 160 secs
lola: sara is running 165 secs || 9386494 markings, 45011740 edges, 47640 markings/sec, 165 secs
lola: sara is running 170 secs || 9645394 markings, 46483011 edges, 51780 markings/sec, 170 secs
lola: sara is running 175 secs || 9913718 markings, 47934354 edges, 53665 markings/sec, 175 secs
lola: sara is running 180 secs || 10166050 markings, 49475626 edges, 50466 markings/sec, 180 secs
lola: sara is running 185 secs || 10443597 markings, 50951984 edges, 55509 markings/sec, 185 secs
lola: sara is running 190 secs || 10707996 markings, 52392561 edges, 52880 markings/sec, 190 secs
lola: sara is running 195 secs || 10956886 markings, 53800500 edges, 49778 markings/sec, 195 secs
lola: sara is running 200 secs || 11216106 markings, 55197127 edges, 51844 markings/sec, 200 secs
lola: sara is running 205 secs || 11468216 markings, 56662419 edges, 50422 markings/sec, 205 secs
lola: sara is running 210 secs || 11730303 markings, 58056133 edges, 52417 markings/sec, 210 secs
lola: sara is running 215 secs || 11967649 markings, 59459521 edges, 47469 markings/sec, 215 secs
lola: sara is running 220 secs || 12251039 markings, 60989009 edges, 56678 markings/sec, 220 secs
lola: sara is running 225 secs || 12492750 markings, 62675674 edges, 48342 markings/sec, 225 secs
lola: sara is running 230 secs || 12700301 markings, 64279452 edges, 41510 markings/sec, 230 secs
lola: sara is running 235 secs || 12939171 markings, 65965029 edges, 47774 markings/sec, 235 secs
lola: sara is running 240 secs || 13261811 markings, 67146843 edges, 64528 markings/sec, 240 secs
lola: sara is running 245 secs || 13589826 markings, 68243135 edges, 65603 markings/sec, 245 secs
lola: sara is running 250 secs || 13885298 markings, 69469408 edges, 59094 markings/sec, 250 secs
lola: sara is running 255 secs || 14153040 markings, 70864140 edges, 53548 markings/sec, 255 secs
lola: sara is running 260 secs || 14485415 markings, 71981526 edges, 66475 markings/sec, 260 secs
lola: sara is running 265 secs || 14823272 markings, 73160134 edges, 67571 markings/sec, 265 secs
lola: sara is running 270 secs || 15125211 markings, 74493877 edges, 60388 markings/sec, 270 secs
lola: sara is running 275 secs || 15415584 markings, 76012385 edges, 58075 markings/sec, 275 secs
lola: sara is running 280 secs || 15723086 markings, 77195957 edges, 61500 markings/sec, 280 secs
lola: sara is running 285 secs || 15989699 markings, 78506452 edges, 53323 markings/sec, 285 secs
lola: sara is running 290 secs || 16243406 markings, 79790149 edges, 50741 markings/sec, 290 secs
lola: sara is running 295 secs || 16476880 markings, 81151532 edges, 46695 markings/sec, 295 secs
lola: sara is running 300 secs || 16750393 markings, 82467520 edges, 54703 markings/sec, 300 secs
lola: sara is running 305 secs || 17024158 markings, 83836766 edges, 54753 markings/sec, 305 secs
lola: sara is running 310 secs || 17295718 markings, 85126465 edges, 54312 markings/sec, 310 secs
lola: sara is running 315 secs || 17556594 markings, 86435626 edges, 52175 markings/sec, 315 secs
lola: sara is running 320 secs || 17802442 markings, 87923514 edges, 49170 markings/sec, 320 secs
lola: sara is running 325 secs || 18036046 markings, 89402104 edges, 46721 markings/sec, 325 secs
lola: sara is running 330 secs || 18286696 markings, 90707201 edges, 50130 markings/sec, 330 secs
lola: sara is running 335 secs || 18522064 markings, 92094658 edges, 47074 markings/sec, 335 secs
lola: sara is running 340 secs || 18750146 markings, 93471573 edges, 45616 markings/sec, 340 secs
lola: sara is running 345 secs || 18973149 markings, 94851702 edges, 44601 markings/sec, 345 secs
lola: sara is running 350 secs || 19194351 markings, 96262993 edges, 44240 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 358 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((A27 <= 2) OR (2 <= A20) OR ((3 <= A14) AND (3 <= A17)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 447769 markings, 966781 edges, 89554 markings/sec, 0 secs
lola: sara is running 5 secs || 867035 markings, 1965600 edges, 83853 markings/sec, 5 secs
lola: sara is running 10 secs || 1285010 markings, 2989751 edges, 83595 markings/sec, 10 secs
lola: sara is running 15 secs || 1636218 markings, 4111724 edges, 70242 markings/sec, 15 secs
lola: sara is running 20 secs || 1934123 markings, 5285941 edges, 59581 markings/sec, 20 secs
lola: sara is running 25 secs || 2232569 markings, 6540307 edges, 59689 markings/sec, 25 secs
lola: sara is running 30 secs || 2573563 markings, 7709599 edges, 68199 markings/sec, 30 secs
lola: sara is running 35 secs || 2875614 markings, 8866310 edges, 60410 markings/sec, 35 secs
lola: sara is running 40 secs || 3162431 markings, 9990646 edges, 57363 markings/sec, 40 secs
lola: sara is running 45 secs || 3444946 markings, 11211656 edges, 56503 markings/sec, 45 secs
lola: sara is running 50 secs || 3744835 markings, 12456848 edges, 59978 markings/sec, 50 secs
lola: sara is running 55 secs || 4043296 markings, 13678054 edges, 59692 markings/sec, 55 secs
lola: sara is running 60 secs || 4336618 markings, 14932462 edges, 58664 markings/sec, 60 secs
lola: sara is running 65 secs || 4722821 markings, 16192624 edges, 77241 markings/sec, 65 secs
lola: sara is running 70 secs || 5132245 markings, 17336259 edges, 81885 markings/sec, 70 secs
lola: sara is running 75 secs || 5476808 markings, 18427049 edges, 68913 markings/sec, 75 secs
lola: sara is running 80 secs || 5780122 markings, 19571614 edges, 60663 markings/sec, 80 secs
lola: sara is running 85 secs || 6086733 markings, 20703501 edges, 61322 markings/sec, 85 secs
lola: sara is running 90 secs || 6357475 markings, 21908418 edges, 54148 markings/sec, 90 secs
lola: sara is running 95 secs || 6770947 markings, 23118481 edges, 82694 markings/sec, 95 secs
lola: sara is running 100 secs || 7070717 markings, 24261377 edges, 59954 markings/sec, 100 secs
lola: sara is running 105 secs || 7306604 markings, 25585574 edges, 47177 markings/sec, 105 secs
lola: sara is running 110 secs || 7582620 markings, 26857763 edges, 55203 markings/sec, 110 secs
lola: sara is running 115 secs || 7861739 markings, 28030236 edges, 55824 markings/sec, 115 secs
lola: sara is running 120 secs || 8149303 markings, 29169644 edges, 57513 markings/sec, 120 secs
lola: sara is running 125 secs || 8446171 markings, 30370368 edges, 59374 markings/sec, 125 secs
lola: sara is running 130 secs || 8756681 markings, 31619100 edges, 62102 markings/sec, 130 secs
lola: sara is running 135 secs || 9057832 markings, 32762674 edges, 60230 markings/sec, 135 secs
lola: sara is running 140 secs || 9346998 markings, 33948865 edges, 57833 markings/sec, 140 secs
lola: sara is running 145 secs || 9615843 markings, 35163447 edges, 53769 markings/sec, 145 secs
lola: sara is running 150 secs || 9881117 markings, 36442536 edges, 53055 markings/sec, 150 secs
lola: sara is running 155 secs || 10141865 markings, 37662775 edges, 52150 markings/sec, 155 secs
lola: sara is running 160 secs || 10447370 markings, 38889655 edges, 61101 markings/sec, 160 secs
lola: sara is running 165 secs || 10765422 markings, 40141157 edges, 63610 markings/sec, 165 secs
lola: sara is running 170 secs || 11107128 markings, 41472282 edges, 68341 markings/sec, 170 secs
lola: sara is running 175 secs || 11383383 markings, 42809677 edges, 55251 markings/sec, 175 secs
lola: sara is running 180 secs || 11665492 markings, 44144587 edges, 56422 markings/sec, 180 secs
lola: sara is running 185 secs || 11926762 markings, 45622677 edges, 52254 markings/sec, 185 secs
lola: sara is running 190 secs || 12252917 markings, 47098476 edges, 65231 markings/sec, 190 secs
lola: sara is running 195 secs || 12552727 markings, 48532093 edges, 59962 markings/sec, 195 secs
lola: sara is running 200 secs || 12787965 markings, 50089987 edges, 47048 markings/sec, 200 secs
lola: sara is running 205 secs || 13052860 markings, 51469626 edges, 52979 markings/sec, 205 secs
lola: sara is running 210 secs || 13326914 markings, 52903800 edges, 54811 markings/sec, 210 secs
lola: sara is running 215 secs || 13603961 markings, 54311200 edges, 55409 markings/sec, 215 secs
lola: sara is running 220 secs || 13878903 markings, 55706619 edges, 54988 markings/sec, 220 secs
lola: sara is running 225 secs || 14116937 markings, 57158137 edges, 47607 markings/sec, 225 secs
lola: sara is running 230 secs || 14377698 markings, 58632669 edges, 52152 markings/sec, 230 secs
lola: sara is running 235 secs || 14676387 markings, 60036959 edges, 59738 markings/sec, 235 secs
lola: sara is running 240 secs || 14992037 markings, 61407866 edges, 63130 markings/sec, 240 secs
lola: sara is running 245 secs || 15282550 markings, 62725770 edges, 58103 markings/sec, 245 secs
lola: sara is running 250 secs || 15574550 markings, 64102182 edges, 58400 markings/sec, 250 secs
lola: sara is running 255 secs || 15890735 markings, 65502793 edges, 63237 markings/sec, 255 secs
lola: sara is running 260 secs || 16182232 markings, 66825243 edges, 58299 markings/sec, 260 secs
lola: sara is running 265 secs || 16498115 markings, 68190480 edges, 63177 markings/sec, 265 secs
lola: sara is running 270 secs || 16733126 markings, 69573523 edges, 47002 markings/sec, 270 secs
lola: sara is running 275 secs || 16998612 markings, 70976758 edges, 53097 markings/sec, 275 secs
lola: sara is running 280 secs || 17248710 markings, 72330737 edges, 50020 markings/sec, 280 secs
lola: sara is running 285 secs || 17507422 markings, 73748545 edges, 51742 markings/sec, 285 secs
lola: sara is running 290 secs || 17769092 markings, 75308106 edges, 52334 markings/sec, 290 secs
lola: sara is running 295 secs || 18040696 markings, 76940463 edges, 54321 markings/sec, 295 secs
lola: sara is running 300 secs || 18273324 markings, 78502781 edges, 46526 markings/sec, 300 secs
lola: sara is running 305 secs || 18502715 markings, 80081096 edges, 45878 markings/sec, 305 secs
lola: sara is running 310 secs || 18899183 markings, 81172393 edges, 79294 markings/sec, 310 secs
lola: sara is running 315 secs || 19278329 markings, 82338716 edges, 75829 markings/sec, 315 secs
lola: sara is running 320 secs || 19668061 markings, 83400006 edges, 77946 markings/sec, 320 secs
lola: sara is running 325 secs || 20063941 markings, 84467394 edges, 79176 markings/sec, 325 secs
lola: sara is running 330 secs || 20419041 markings, 85587669 edges, 71020 markings/sec, 330 secs
lola: sara is running 335 secs || 20757452 markings, 86722866 edges, 67682 markings/sec, 335 secs
lola: sara is running 340 secs || 21068017 markings, 87851515 edges, 62113 markings/sec, 340 secs
lola: sara is running 345 secs || 21396364 markings, 89040560 edges, 65669 markings/sec, 345 secs
lola: sara is running 350 secs || 21732789 markings, 90155521 edges, 67285 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '`'
Aborted (core dumped)
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----
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="DNAwalker-PT-13ringRLLarge"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-13ringRLLarge.tgz
mv DNAwalker-PT-13ringRLLarge execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-structural"
echo " Input is DNAwalker-PT-13ringRLLarge, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-smll-152649744200313"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
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 ;